¡Bien hecho! La solidez de zkVM es un tema muy importante. La transparencia al respecto es el camino a seguir.
RISC Zero
RISC Zero5 ago, 06:55
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.
1.53K