Ein weiterer Meilenstein in der formalen Verifikation. Die Formalisierung berechenbarer Polynome in Lean ist ein bedeutender Schritt in Richtung wiederverwendbarer und zuverlässiger zk-Verifikation. Großes Lob an das Nethermind-Team für formale Verifikation, das dies vorantreibt.