Outro marco na verificação formal. A formalização de polinômios computáveis em Lean é um passo significativo em direção à verificação zk reutilizável e confiável. Um grande crédito para a equipe de Verificação Formal da Nethermind por levar isso adiante.