El equipo de Verificación Formal de Nethermind está presentando CertiPlonk, un marco para extraer restricciones de Plonky3 y verificar su corrección en @leanprover. CertiPlonk verifica la corrección del circuito sin cambios en el código. Apoyado por una subvención de @ethereumfndn. Más información ⬇️