Otro hito en la verificación formal. Formalizar polinomios computables en Lean es un paso significativo hacia una verificación zk reutilizable y confiable. Un gran reconocimiento al equipo de Verificación Formal de Nethermind por impulsar esto hacia adelante.