Recentemente colaboramos com @SuccinctLabs para verificar o determinismo dos circuitos SP1 usando Picus—ferramenta de verificação formal da Veridise para circuitos de conhecimento zero.
Este é o primeiro passo em direção à verificação formal de todo o SP1 zkVM 🧵
1/6