Encontraram outro erro fatal num ZKVM que teria destruído literalmente todos os utilizadores de todas as aplicações em todas as plataformas. Parabéns ao R0 e à VeridiseInc! Também aprendi hoje sobre o mecanismo de paragem de emergência "estop" -- incrível!
RISC Zero
RISC Zero5/08, 06:55
À medida que continuamos a expandir a cobertura de verificação formal nos nossos circuitos, identificámos e corrigimos mais um bug. Este bug foi identificado pela Picus da @VeridiseInc. O problema foi corrigido e todos os parceiros foram migrados para a versão 2.2.0 ou posterior do risc0-zkVM. A RISC Zero continua comprometida em fornecer o mais alto nível de transparência, segurança proativa e integridade.
3,93K