{"id":"GHSA-fhvh-vw7h-9xf3","aliases":["RUSTSEC-2026-0125"],"status":"published","title":"libcrux-ml-dsa: Signature Verification on AVX2 Platforms Mishandles Edge Case","description":"The AVX2 implementation of ML-DSA verification incorrectly implemented\nthe `use_hint` function, mishandling an edge case that should lead to\nsignature rejection.\n\n## Impact\nAn attacker could make the ML-DSA verifier accept a crafted invalid\nsignature under a maliciously generated verification key, if the AVX2\nimplementation is used.\n\n## Mitigation\nFrom version `0.0.9` the edge case is handled correctly and invalid\nsignatures are rejected.","severity":{"version":"4.0","score":8.2,"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","level":"high","from":"ghsa"},"facts":{"in_kev":false,"known_exploited":false,"public_exploit":false,"fix_available":true},"cwes":["CWE-347"],"published":"2026-05-05T12:00:00Z","modified":"2026-05-20T07:26:23Z","fixes":[{"ecosystem":"crates.io","package":"libcrux-ml-dsa","fixed_in":["0.0.9"],"sources":["ghsa","osv"]}],"affected":[{"source":"ghsa","ecosystem":"crates.io","package":"libcrux-ml-dsa","ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"},{"fixed":"0.0.9"}]}]},{"source":"osv","ecosystem":"crates.io","package":"libcrux-ml-dsa","ranges":[{"type":"SEMVER","events":[{"introduced":"0"},{"fixed":"0.0.9"}]}]},{"source":"osv","ecosystem":"crates.io","package":"libcrux-ml-dsa","ranges":[{"type":"SEMVER","events":[{"introduced":"0.0.0-0"},{"fixed":"0.0.9"}]}]}],"references":[{"url":"https://github.com/C2SP/wycheproof/pull/234","tags":["web"]},{"url":"https://github.com/cryspen/libcrux/pull/1398","tags":["web"]},{"url":"https://github.com/tink-crypto/tink-go/pull/48","tags":["web"]},{"url":"https://rustsec.org/advisories/RUSTSEC-2026-0125.html","tags":["web","advisory"]},{"url":"https://github.com/advisories/GHSA-fhvh-vw7h-9xf3"},{"url":"https://github.com/cryspen/libcrux","tags":["package"]},{"url":"https://crates.io/crates/libcrux-ml-dsa","tags":["package"]}],"sources":{"ghsa":[{"id":"GHSA-fhvh-vw7h-9xf3","title":" libcrux-ml-dsa: Signature Verification on AVX2 Platforms Mishandles Edge Case","description":"The AVX2 implementation of ML-DSA verification incorrectly implemented\nthe `use_hint` function, mishandling an edge case that should lead to\nsignature rejection.\n\n## Impact\nAn attacker could make the ML-DSA verifier accept a crafted invalid\nsignature under a maliciously generated verification key, if the AVX2\nimplementation is used.\n\n## Mitigation\nFrom version `0.0.9` the edge case is handled correctly and invalid\nsignatures are rejected.","status":"published","published":"2026-05-19T16:18:53Z","modified":"2026-05-19T16:18:57Z","cvss":[{"version":"4.0","score":8.2,"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","level":"high"}],"cwes":["CWE-347"],"updated_at":"2026-11-02T14:40:12.430932Z"}],"osv":[{"id":"GHSA-fhvh-vw7h-9xf3","title":" libcrux-ml-dsa: Signature Verification on AVX2 Platforms Mishandles Edge Case","description":"The AVX2 implementation of ML-DSA verification incorrectly implemented\nthe `use_hint` function, mishandling an edge case that should lead to\nsignature rejection.\n\n## Impact\nAn attacker could make the ML-DSA verifier accept a crafted invalid\nsignature under a maliciously generated verification key, if the AVX2\nimplementation is used.\n\n## Mitigation\nFrom version `0.0.9` the edge case is handled correctly and invalid\nsignatures are rejected.","status":"published","published":"2026-05-19T16:18:53Z","modified":"2026-05-20T07:26:23.879990746Z","cvss":[{"version":"4.0","score":8.2,"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","level":"high"}],"cwes":["CWE-347"],"updated_at":"2026-11-02T15:46:46.39441Z"},{"id":"RUSTSEC-2026-0125","title":"Signature Verification on AVX2 Platforms Mishandles Edge Case","description":"The AVX2 implementation of ML-DSA verification incorrectly implemented\nthe `use_hint` function, mishandling an edge case that should lead to\nsignature rejection.\n\n## Impact\nAn attacker could make the ML-DSA verifier accept a crafted invalid\nsignature under a maliciously generated verification key, if the AVX2\nimplementation is used.\n\n## Mitigation\nFrom version `0.0.9` the edge case is handled correctly and invalid\nsignatures are rejected.","status":"published","published":"2026-05-05T12:00:00Z","modified":"2026-05-20T07:15:03.926794426Z","cvss":[{"version":"4.0","score":8.2,"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","level":"high"}],"updated_at":"2026-11-02T15:53:40.430679Z"}]}}