A equipa de Verificação Formal da Nethermind está a apresentar o CertiPlonk, uma estrutura para extrair restrições Plonky3 e verificar a sua correção no @leanprover. O CertiPlonk verifica a correção do circuito sem alterações de código. Apoiado por uma bolsa da @ethereumfndn. Mais informações ⬇️