RISC Zero está creando la primera zkVM RISC-V verificada formalmente. Usando la herramienta Picus de @VeridiseInc, estamos demostrando matemáticamente el determinismo en nuestros circuitos. Nuestro objetivo: una zkVM que sea increíblemente rápida y probadamente segura, para que los desarrolladores nunca tengan que hacer concesiones.