Ännu en milstolpe i den formella verifieringen. Att formalisera beräkningsbara polynom i Lean är ett viktigt steg mot återanvändbar och tillförlitlig zk-verifiering. Stort tack till Nethermind Formal Verification-teamet för att ha drivit detta framåt.