CVE-2025-52484 in RISC Zero
Riassunto
di VulDB • 14/06/2026
RISC Zero è una piattaforma di calcolo generale basata su zk-STARKs e sull'architettura microcodice RISC-V. A causa di un vincolo mancante nel circuito rv32im, qualsiasi istruzione RISC-V a 3 registri (inclusi remu e divu) in risc0-zkvm 2.0.0, 2.0.1 e 2.0.2 è vulnerabile a un attacco da parte di un prover malintenzionato. L'idea principale dell'attacco consiste nel confondere la macchina virtuale RISC-V facendole trattare il valore del registro rs1 come identico a quello del registro rs2 a causa della mancanza di vincoli nel circuito rv32im. Le applicazioni Rust che utilizzano il crate risc0-zkvm alle versioni 2.0.0, 2.0.1 e 2.0.2 dovrebbero effettuare l'aggiornamento alla versione 2.1.0. Le applicazioni di smart contract che utilizzano l'official RISC Zero Verifier Router non devono intraprendere alcuna azione: la versione zkVM 2.1 è attiva su tutti i router ufficiali e la versione 2.0 è stata disabilitata. Le applicazioni di smart contract che non utilizzano il verifier router dovrebbero aggiornare i propri contratti per inviare le chiamate di verifica alla versione 2.1 del verifier.
If you want to get best quality of vulnerability data, you may have to visit VulDB.