Hanno trovato un altro bug fatale in un ZKVM che avrebbe distrutto letteralmente ogni utente di ogni app su ogni piattaforma. Complimenti a R0 e VeridiseInc! Inoltre, oggi ho imparato del meccanismo di emergenza "estop" -- fantastico!
RISC Zero
RISC Zero5 ago, 06:55
Mentre continuiamo ad estendere la copertura della verifica formale sui nostri circuiti, abbiamo identificato e risolto un altro bug. Questo bug è stato identificato da Picus di @VeridiseInc. Il problema è stato corretto e tutti i partner sono stati migrati alla versione 2.2.0 o successiva di risc0-zkVM. RISC Zero rimane impegnato a fornire il massimo livello di trasparenza, sicurezza proattiva e integrità.
3,85K