Tým Nethermind Formal Verification představuje CertiPlonk, rámec pro extrakci omezení Plonky3 a ověření jejich správnosti v @leanprover. CertiPlonk ověřuje správnost obvodu bez nutnosti změn v kódu. Podporováno grantem od @ethereumfndn. Více ⬇️