À 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.