GitHub Advisoryadvisory · crates.io

GHSA-fhvh-vw7h-9xf3 libcrux-ml-dsa: Signature Verification on AVX2 Platforms Mishandles Edge Case

HIGH Published 2026-05-19 Modified 2026-05-19 Official page ↗
Ecosystem
crates.io
Packages
libcrux-ml-dsa
Severity
High
CVSS vector
CVSS:4.0/AV:N/AC:L/AT:P/PR:N/UI:N/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N
Weaknesses
CWE-347
Reviewed
2026-05-19

Affected packages

• crates.io libcrux-ml-dsa: < 0.0.9 → fixed in 0.0.9

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.

Related

Weakness · CWE (1)

  • CWE-347 Improper Verification of Cryptographic Signature weakness

References