Mientras que los zkVM (máquinas virtuales de conocimiento cero) permiten que las aplicaciones ZK omitan la auditoría de sus circuitos personalizados a través de un entorno de prueba estandarizado, el zkVM en sí requiere una auditoría rigurosa para la seguridad de solidez y completitud. En Ziren de @ProjectZKM, la auditoría con @VeridiseInc abordó estos riesgos, ofreciendo seguridad probada. Los elementos clave incluyeron: > Solidez de las restricciones: Verificación formal con herramientas como Picus de Veridise para asegurar determinismo y aplicación precisa del modelo de ejecución MIPS, alineando cálculos con pruebas y resolviendo ambigüedades en la memoria, llamadas al sistema y generación de trazas. > Pruebas de Fuzzing: Amplias pruebas de fuzzing y estrés de los caminos de ejecución para confirmar la estabilidad contra programas adversariales o malformados. Esto representa un hito significativo, y seguimos comprometidos a lograr seguridad demostrable para todo el zkVM en el futuro.