GHSA-vjf8-9fx6-mv6x
Triton VM Soundness Vulnerability due to Missing Constraint
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.
Attack profile
How easy it is to exploit
- Attack vector
- Network
- Complexity
- Low
- Privileges needed
- None
- User interaction
- None
What an attacker can affect
- Confidentiality
- None
- Integrity
- Low
- Availability
- None
What each source reports
GitHub Advisories Score used
Triton VM Soundness Vulnerability due to Missing Constraint
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.
- Record
GHSA-vjf8-9fx6-mv6x- CVSS 4.0
- 6.9 Medium
CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:L/VA:N/SC:N/SI:N/SA:N - Weakness
- CWE-345
- Updated
- 2026-11-02
OSV
Triton VM Soundness Vulnerability due to Missing Constraint
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.
- Record
GHSA-vjf8-9fx6-mv6x- CVSS 4.0
- 6.9 Medium
CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:L/VA:N/SC:N/SI:N/SA:N - Weakness
- CWE-345
- Updated
- 2026-11-02
OSVRUSTSEC-2021-0156No score
Triton VM Soundness Vulnerability due to Missing Constraint
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.
- Record
RUSTSEC-2021-0156- Updated
- 2026-11-02
Affected packages
| Package | Affected | Fixed |
|---|---|---|
triton-vmcrates.io | 0.42.0-alpha.4 up to 4.0.0 | 4.0.0 |
History
| Recorded | Changed | Sources |
|---|---|---|
| first indexed | GitHub Advisories, OSV |
Dates are when Every CVE recorded each change. Upstream dates may differ.
In short
GHSA-vjf8-9fx6-mv6x is a medium vulnerability (CVSS 6.9) in triton-vm, published June 11, 2021. No source lists public exploit code. Fixed in triton-vm 4.0.0.