RUSTSEC-2021-0156: Triton VM Soundness Vulnerability due to Missing Constraint

What to do

1. See which version you have: cargo tree -i triton-vm (it also shows which of your dependencies pulls it in).
2. Update within your version requirement: cargo update -p triton-vm. If the fix is a newer major or minor than your requirement allows, raise it in Cargo.toml (for example triton-vm = "4.0.0") 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 instruction sponge_absorb_mem Triton VM fails to verify that hashed values come from the claimed memory location. Malicious provers can substitute arbitrary data instead of actual memory contents.

Any application using instruction sponge_absorb_mem to hash memory data can be given a proof for a forged hash that doesn't correspond to the actual memory. This breaks the security of memory-based commitments.

The flaw was corrected in commits 17c7ba0a and ef9d9e72 by including the appropriate constraints.

References

• Package: crates.io/crates/triton-vm
• Advisory: rustsec.org/advisories/RUSTSEC-2021-0156.html

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 triton-vm

• VulnerabilityRUSTSEC-2026-0004 · 2026-01-21Triton VM Soundness Vulnerability due to Improper Sampling of Randomness

Full security history of triton-vm