Nethermind Formal Verification-teamet introduserer CertiPlonk, et rammeverk for å hente ut Plonky3-begrensninger og verifisere deres korrekthet i @leanprover. CertiPlonk verifiserer kretskorrekthet uten kodeendringer. Støttet av et tilskudd fra @ethereumfndn. Mer info ⬇️