PT-2025-26449 · Risc Zero · Risc0-Zkvm
Christoph Hochrainer
·
Published
2025-06-20
·
Updated
2025-06-21
·
CVE-2025-52484
CVSS v4.0
2.7
Low
| Vector | AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:L/VA:N/SC:N/SI:N/SA:N/E:U |
Name of the Vulnerable Software and Affected Versions:
risc0-zkvm versions 2.0.0 through 2.0.2
Description:
The issue is due to a missing constraint in the rv32im circuit, allowing a malicious prover to attack any 3-register RISC-V instruction, including remu and divu, by confusing the RISC-V virtual machine into treating the value of the
rs1 register as the same as the rs2 register. This vulnerability was reported via a bug bounty. The fix for the circuit and the update to risc0 have been implemented. Impacted on-chain verifiers have already been disabled.Recommendations:
For risc0-zkvm versions 2.0.0, 2.0.1, and 2.0.2, upgrade to version 2.1.0.
For smart contract applications not using the official RISC Zero Verifier Router, update contracts to send verification calls to the 2.1 version of the verifier.
No action is required for smart contract applications using the official RISC Zero Verifier Router, as zkVM version 2.1 is active on all official routers and version 2.0 has been disabled.
Exploit
Fix
Insufficient Verification of Data Authenticity
Found an issue in the description? Have something to add? Feel free to write us 👾
Weakness Enumeration
Related Identifiers
Affected Products
Risc0-Zkvm