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 ⬇️
Mange ble med oss i dag tidlig på Security Connect, som var medvert sammen med @HypernativeLabs og støttet av @zksync.
Sterke diskusjoner, gode spørsmål og ekte interesse for hvordan onchain-systemer kan sikres i sanntid.
