https://db.gcve.eu Contains only the most 10 recent entries. http://www.rssboard.org/rss-specification python-feedgen en Wed, 21 Oct 2026 02:37:54 +0000 https://db.gcve.eu/vuln/rustsec-2026-0077 <p><strong>Affected:</strong> crates.io: libcrux-ml-dsa</p> <p>The ML-DSA verification algorithm as specified in [FIPS 204, subsection 6.3](https://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.204.pdf#subsection.6.3) requires verifiers to check that the infinity norm of the deserialized signer response $z$ does not exceed $\gamma_1 - \beta$ (line 13 of Algorithm 8). The same check is required to be performed during signature generation.</p> <p>libcrux-ml-dsa did not perform this check correctly during signature verification, accepting signatures with signer response norm above the allowed maximum value. The check is correctly performed during signing.</p> <p>## Impact Applications using libcrux-ml-dsa for signature verification would have accepted signatures that would be rejected by a conforming implementation.</p> <p>## Mitigation Starting from version `0.0.8`, signature verification uses the correct value for $\gamma_1$ in the signer response norm check.</p> <p><strong>Affected:</strong> crates.io: libcrux-ml-dsa</p> <p>The ML-DSA verification algorithm as specified in [FIPS 204, subsection 6.3](https://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.204.pdf#subsection.6.3) requires verifiers to check that the infinity norm of the deserialized signer response $z$ does not exceed $\gamma_1 - \beta$ (line 13 of Algorithm 8). The same check is required to be performed during signature generation.</p> <p>libcrux-ml-dsa did not perform this check correctly during signature verification, accepting signatures with signer response norm above the allowed maximum value. The check is correctly performed during signing.</p> <p>## Impact Applications using libcrux-ml-dsa for signature verification would have accepted signatures that would be rejected by a conforming implementation.</p> <p>## Mitigation Starting from version `0.0.8`, signature verification uses the correct value for $\gamma_1$ in the signer response norm check.</p> https://db.gcve.eu/vuln/rustsec-2026-0077