Vulnerability in RISC Zero's zk-STARKs Computing Platform for RISC-V Microarchitecture
CVE-2025-52484
What is CVE-2025-52484?
A vulnerability has been identified in the RISC Zero zk-STARKs computing platform, particularly affecting the rv32im circuit. This issue allows a malicious prover to exploit any 3-register RISC-V instruction, such as remu and divu, leading to confusion between the values of the rs1 and rs2 registers. Versions 2.0.0, 2.0.1, and 2.0.2 of the risc0-zkvm are impacted, necessitating an upgrade to version 2.1.0 for Rust applications utilizing the risc0-zkvm crate. Smart contract applications using the RISC Zero Verifier Router are automatically secure, as zkVM version 2.1 is operational while version 2.0 has been deactivated. However, contracts not using the router must be updated to direct verification calls to the latest version for enhanced security.
Affected Version(s)
risc0 >= 2.0.0, < 2.1.0