Das Nethermind Formal Verification-Team stellt CertiPlonk vor, ein Framework zum Extrahieren von Plonky3-Beschränkungen und zur Überprüfung ihrer Korrektheit in @leanprover. CertiPlonk überprüft die Korrektheit von Schaltungen ohne Codeänderungen. Unterstützt durch einen Zuschuss von @ethereumfndn. Weitere Informationen ⬇️