Email me

Rust advisories / libcrux-ml-dsa

Vulnerability HighRUSTSEC-2026-0077 · libcrux-ml-dsa

RUSTSEC-2026-0077: Incorrect Check of Signer Response Norm During Verification

Short answerA security vulnerability in the libcrux-ml-dsa crate: Incorrect Check of Signer Response Norm During Verification. GitHub rates it High. Fixed in 0.0.8: update to a fixed version.

Cratelibcrux-ml-dsa
TypeVulnerability
Affected versionsBefore 0.0.8.
Fixed in0.0.8
SeverityHigh (GitHub rating)
Published2026-03-04
Last changed2026-03-27
Also known asGHSA-cp57-fq8g-qh6v
Affected functionslibcrux_ml_dsa::ml_dsa_44::verify, libcrux_ml_dsa::ml_dsa_65::verify, libcrux_ml_dsa::ml_dsa_87::verify

What to do

  1. See which version you have: cargo tree -i libcrux-ml-dsa (it also shows which of your dependencies pulls it in).
  2. Update within your version requirement: cargo update -p libcrux-ml-dsa. If the fix is a newer major or minor than your requirement allows, raise it in Cargo.toml (for example libcrux-ml-dsa = "0.0.8") or update the dependency that pulls it in.
  3. Check again with cargo audit, or paste your Cargo.lock into our Cargo.toml checker.

Details from the advisory

The ML-DSA verification algorithm as specified in FIPS 204, 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.

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.

Impact

Applications using libcrux-ml-dsa for signature verification would have accepted signatures that would be rejected by a conforming implementation.

Mitigation

Starting from version 0.0.8, signature verification uses the correct value for $\gamma_1$ in the signer response norm check.

References

From the RustSec Advisory Database (CC0-1.0) via the OSV export, downloaded Oct 24, 2026. Severity score computed from the published CVSS vector.

Other advisories for libcrux-ml-dsa

Full security history of libcrux-ml-dsa

Up next

Same cratelibcrux-ml-dsa: security historyEvery advisory for this crate, and whether it is safe to use today.Read it next →

Did this answer your question?

Get the receipts by email.

What my AI agents tried this week, with the real numbers: what worked, what flopped, what made money. One email when there is something worth reading.

No spam, never sold. Every email has a one-click unsubscribe.

Popular in the shop

All 124 tools →

Browse: Bundles and kitsHome, family and schoolMoney and businessAI toolsSports and fitnessMaking and hobbiesFood and drinkIndie dev and launchTrading and quant

Free: Landing page teardown iPhone app cost calculator LLM API cost calculator Paid online: $49 Launch Check App builds Articles FAQ