Triton VM Soundness Vulnerability due to Missing Constraint
Key facts
- Attack vector
- —
- Privileges required
- —
- User interaction
- —
- Attack complexity
- —
- Impact type
- Security bypass
- Confidentiality · integrity · availability
- —
- Fix status
- Fixed
No CVSS vector from any source. Fix status from GitHub. Impact type from CWE-345.
Summary
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.
Why it matters now
SSVC decision points
Not available: CISA has not published SSVC decision points for this record.
Affected products
| Vendor | Product | Affected versions | Fixed in | Status | Source |
|---|---|---|---|---|---|
| — | triton-vm (crates.io) | 0.42.0-alpha.4 to before 4.0.0 | 4.0.0 | Patch available | GHSA-vjf8-9fx6-mv6x |
- triton-vm (crates.io) Vendor— Affected 0.42.0-alpha.4 to before 4.0.0 Fixed in 4.0.0 Patch available GHSA-vjf8-9fx6-mv6x
Remediation
- Fix · GHSA-vjf8-9fx6-mv6x triton-vm (crates.io) Fixed in 4.0.0 Advisory →
Timeline
- 2026-10-03 Threatist record created from GHSA-vjf8-9fx6-mv6x
References
Sources
This product uses the NVD API but is not endorsed or certified by the NVD. Sources and licences