¡Encontraron otro error fatal en un ZKVM que habría destruido literalmente a todos los usuarios de cada aplicación en cada plataforma! ¡Felicitaciones a R0 y VeridiseInc! También hoy aprendí sobre el mecanismo de parada de emergencia "estop" -- ¡increíble!
RISC Zero
RISC Zero5 ago, 06:55
A medida que continuamos ampliando la cobertura de verificación formal en nuestros circuitos, hemos identificado y corregido otro error. Este error fue identificado por Picus de @VeridiseInc. El problema ha sido solucionado y todos los socios han sido migrados a la versión 2.2.0 o posterior de risc0-zkVM. RISC Zero sigue comprometido a proporcionar el más alto nivel de transparencia, seguridad proactiva e integridad.
3.85K