libcrux-ml-dsa: Signature Verification on AVX2 Platforms Mishandles Edge Case
High severity
GitHub Reviewed
Published
May 19, 2026
to the GitHub Advisory Database
•
Updated May 19, 2026
Description
Published to the GitHub Advisory Database
May 19, 2026
Reviewed
May 19, 2026
Last updated
May 19, 2026
The AVX2 implementation of ML-DSA verification incorrectly implemented
the
use_hintfunction, mishandling an edge case that should lead tosignature 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.9the edge case is handled correctly and invalidsignatures are rejected.
References