On platforms without the core::arch::aarch64::vxarq_u64 intrinsic, an unverified fallback in libcrux-intrinsics v0.0.3
passed incorrect arguments and produced wrong results. This corrupted SHA-3 digests and caused libcrux-ml-kem and
libcrux-ml-dsa to sample incorrectly, yielding incorrect shared secrets and invalid signatures.
The issue has been fixed in v0.0.4.
{
"github_reviewed": true,
"github_reviewed_at": "2025-12-04T17:24:23Z",
"nvd_published_at": null,
"cwe_ids": [
"CWE-200",
"CWE-327"
],
"severity": "HIGH"
}