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