Recientemente colaboramos con @SuccinctLabs para verificar el determinismo de los circuitos SP1 utilizando Picus, la herramienta de verificación formal de Veridise para circuitos de conocimiento cero.

Esto marca el primer paso hacia la verificación formal de toda la zkVM SP1 🧵

1/6 https://t.co/tVvSR8GPNn