Otro hito en la verificación formal. La formalización de polinomios computables en Lean es un paso significativo hacia la verificación zk reutilizable y confiable. Un gran crédito para el equipo de verificación formal de Nethermind por impulsar esto.