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.