Nethermind Formal Verification -tiimi esittelee CertiPlonkin, viitekehyksen Plonky3-rajoitteiden poimimiseen ja niiden oikeellisuuden varmistamiseen @leanprover.
CertiPlonk varmistaa piirin oikeellisuuden ilman koodin muutoksia.
Sitä tukee @ethereumfndn.
Lisätietoja ⬇️
Monet ihmiset liittyivät seuraamme tänä aamuna Security Connect -tapahtumaan, jota isännöimme yhdessä @HypernativeLabs kanssa ja jota @zksync tuki.
Vahvat keskustelut, hyvät kysymykset ja aito kiinnostus siihen, miten onchain-järjestelmät voidaan turvata reaaliajassa.
