Muito bem! A solidez do zkVM é um tópico muito importante. A transparência sobre isso é o caminho a percorrer.
RISC Zero
RISC Zero5 de ago., 06:55
À medida que continuamos a estender a cobertura de verificação formal em nossos circuitos, identificamos e corrigimos outro bug. Este bug foi identificado por Picus de @VeridiseInc. O problema foi corrigido e todos os parceiros foram migrados para 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.
1,49K