GHSA-2CGV-28VR-RV6J
Vulnerability from github – Published: 2025-12-04 17:24 – Updated: 2026-02-17 22:00On 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.
{
"affected": [
{
"package": {
"ecosystem": "crates.io",
"name": "libcrux-intrinsics"
},
"ranges": [
{
"events": [
{
"introduced": "0.0.3"
},
{
"fixed": "0.0.4"
}
],
"type": "ECOSYSTEM"
}
],
"versions": [
"0.0.3"
]
},
{
"package": {
"ecosystem": "crates.io",
"name": "libcrux-ml-kem"
},
"ranges": [
{
"events": [
{
"introduced": "0.0.3"
},
{
"fixed": "0.0.4"
}
],
"type": "ECOSYSTEM"
}
],
"versions": [
"0.0.3"
]
},
{
"package": {
"ecosystem": "crates.io",
"name": "libcrux-ml-dsa"
},
"ranges": [
{
"events": [
{
"introduced": "0.0.3"
},
{
"fixed": "0.0.4"
}
],
"type": "ECOSYSTEM"
}
],
"versions": [
"0.0.3"
]
}
],
"aliases": [],
"database_specific": {
"cwe_ids": [
"CWE-200",
"CWE-327"
],
"github_reviewed": true,
"github_reviewed_at": "2025-12-04T17:24:23Z",
"nvd_published_at": null,
"severity": "HIGH"
},
"details": "On platforms without the `core::arch::aarch64::vxarq_u64` intrinsic, an unverified fallback in `libcrux-intrinsics` v0.0.3\npassed incorrect arguments and produced wrong results. This corrupted SHA-3 digests and caused `libcrux-ml-kem` and\n`libcrux-ml-dsa` to sample incorrectly, yielding incorrect shared secrets and invalid signatures.\n\nThe issue has been fixed in v0.0.4.",
"id": "GHSA-2cgv-28vr-rv6j",
"modified": "2026-02-17T22:00:42Z",
"published": "2025-12-04T17:24:23Z",
"references": [
{
"type": "WEB",
"url": "https://github.com/cryspen/libcrux/issues/1220"
},
{
"type": "WEB",
"url": "https://github.com/cryspen/libcrux/pull/1222"
},
{
"type": "WEB",
"url": "https://github.com/cryspen/libcrux/commit/8d10f45631afd1d93fabb2278dbb388a075b5608"
},
{
"type": "PACKAGE",
"url": "https://github.com/cryspen/libcrux"
},
{
"type": "WEB",
"url": "https://rustsec.org/advisories/RUSTSEC-2025-0133.html"
}
],
"schema_version": "1.4.0",
"severity": [
{
"score": "CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:H/VI:L/VA:N/SC:N/SI:N/SA:N",
"type": "CVSS_V4"
}
],
"summary": "libcrux incorrectly calculates on aarch64"
}
Drag nodes to arrange them. Double-click a related vulnerability to open it, or a source to visit its link. The Physics button on the left tunes the layout and the simulation; the legend at the bottom left hides or shows nodes by kind and by sighting type.
Sightings
| Author | Source | Type | Date | Other |
|---|
Nomenclature
- Seen: The vulnerability was mentioned, discussed, or observed by the user.
- Confirmed: The vulnerability has been validated from an analyst's perspective.
- Published Proof of Concept: A public proof of concept is available for this vulnerability.
- Exploited: The vulnerability was observed as exploited by the user who reported the sighting.
- Patched: The vulnerability was observed as successfully patched by the user who reported the sighting.
- Not exploited: The vulnerability was not observed as exploited by the user who reported the sighting.
- Not confirmed: The user expressed doubt about the validity of the vulnerability.
- Not patched: The vulnerability was not observed as successfully patched by the user who reported the sighting.
Vulnerability timeline
Sightings and recorded dates, grouped by day · UTC
Loading timeline…
The approach is described in our paper Mapping CVEs to MITRE ATT&CK Techniques: A Curated Gold-Set Classifier and the Limits of LLM-Assisted Label Expansion.
Browse all ATT&CK techniques and the vulnerabilities related to each.
Related by attack behaviour
Vulnerabilities whose description is nearest to this one in the vector space of the CIRCL/vulnerability-attack-technique-biencoder model. This is a similarity search over the bi-encoder space (plain cosine), not a classification, and it has no measured accuracy.