GHSA-fhvh-vw7h-9xf3HighDisclosed before NVD

libcrux-ml-dsa: Signature Verification on AVX2 Platforms Mishandles Edge Case

Published
May 19, 2026
Last Modified
May 19, 2026

📋 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 products1

  • rust/libcrux-ml-dsa:< 0.0.9

🔗 References (5)