Recentemente, colaboramos com a @SuccinctLabs para verificar o determinismo dos circuitos SP1 usando Picus — a ferramenta de verificação formal da Veridise para circuitos de conhecimento zero.

Isto marca o primeiro passo para verificar formalmente toda a SP1 zkVM 🧵

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