GHSA-vjf8-9fx6-mv6x Triton VM Soundness Vulnerability due to Missing Constraint
Malicious provers can forge memory hashes in Triton VM by bypassing constraints, compromising memory-based commitments in applications using the library.
- Exploited in the wild
- Not known
- Login needed
- Not needed
- Attackable
- Over the internet
- Victim action needed
- Not needed
- Fix
- Available
What is GHSA-vjf8-9fx6-mv6x?
GHSA-vjf8-9fx6-mv6x is a vulnerability in triton-vm, published on 11 Jun 2021. An attacker can exploit it over the internet without logging in, with no action from the victim.
Official description
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.
Which versions are affected by GHSA-vjf8-9fx6-mv6x?
3 open source packages ship an affected version, including triton-vm.
| Package | Affected | Fixed in |
|---|---|---|
triton-vm crates.io | From 0.42.0-alpha.4 | 4.0.0 |
triton-vm crates.io | From 0.42.0-alpha.4 | 4.0.0 |
triton-vm crates.io | From 0.42.0-alpha.4 | 4.0.0 |
How do I fix GHSA-vjf8-9fx6-mv6x?
Upgrade triton-vm to 4.0.0 or later.
Is GHSA-vjf8-9fx6-mv6x being exploited?
There is no known exploitation of GHSA-vjf8-9fx6-mv6x in the wild and no public exploit code.
Sources
Also known as RUSTSEC-2021-0156.