¿Es difícil? Sí ¿Nuestros bichos de solidez son devastadores? Sí ¿Estamos más cerca de lo que piensas? Sí Desde el día 1, sí, el mismo día que lanzamos nuestro sistema de pruebas, @RiscZero comenzó el largo proceso de verificación formal de nuestra zkVM. ¡Recientemente lanzamos "Picus" que demuestra matemáticamente el determinismo en nuestros circuitos durante CI! Esta es la causa del 96% de los errores de solidez en los sistemas ZK (según ZK-Security). Este esfuerzo, además de algunos más en los que estamos trabajando, demuestra que podemos llegar a un zkVM RISC-V demostrablemente sólido más rápido de lo que la mayoría piensas.