PT-2021-31008 · Crates.Io · Triton-Vm
Published
2021-06-11
·
Updated
2021-06-11
None
No severity ratings or metrics are available. When they are, we'll update the corresponding info on the page.
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. Found an issue in the description? Have something to add? Feel free to write us 👾
Related Identifiers
Affected Products
Triton-Vm