GHSA-fhvh-vw7h-9xf3 — libcrux-ml-dsa
Fix: C2SP/wycheproof#234GHSA-fhvh-vw7h-9xf3 is a security vulnerability in libcrux-ml-dsa. A fix is available for libcrux-ml-dsa — see the affected versions and patch details below.
libcrux-ml-dsa: Signature Verification on AVX2 Platforms Mishandles Edge Case
Real-World Exposure
libcrux-ml-dsaReal-time download stats are indexed for npm and PyPI packages. This vulnerability affects crates.io packages — download data is not available via public APIs for these ecosystems.
Description
The AVX2 implementation of ML-DSA verification incorrectly implemented
the use_hint function, mishandling an edge case that should lead to
signature rejection.
Impact
An attacker could make the ML-DSA verifier accept a crafted invalid signature under a maliciously generated verification key, if the AVX2 implementation is used.
Mitigation
From version 0.0.9 the edge case is handled correctly and invalid
signatures are rejected.
Affected Packages
| Ecosystem | Package | Vulnerable range | Fix |
|---|---|---|---|
| 🦀crates.io | libcrux-ml-dsa | all versions | 0.0.9cargo update -p libcrux-ml-dsa --precise 0.0.9 |
Detection & mitigation playbook
Open-source dependencyDetect
Scan your dependency tree (package-lock.json, pnpm-lock.yaml, requirements.txt, go.sum, etc.) for libcrux-ml-dsa, including transitive dependencies — a direct dependency you never call can still pull in a vulnerable version.
Fix
Update libcrux-ml-dsa to 0.0.9 or later, then make sure no transitive (indirect) dependency still pins the vulnerable range — O3 confirms GHSA-fhvh-vw7h-9xf3 is resolved across your whole dependency graph.
Workarounds
If you can't upgrade right away: gate or disable the affected feature, validate untrusted input at the boundary, and avoid passing attacker-controlled data into the vulnerable path. O3's runtime protection blocks exploitation in production as an interim safeguard until the upgrade lands.
Frequently Asked Questions
Is GHSA-fhvh-vw7h-9xf3 in your dependencies?
Find it across crates.io, including transitive dependencies.