Učiniti dokaze bez znanja (ZKP) „razumljivim i dostupnim“ ljudima neophodno je kako bi Ethereum ekosistem bio „otvoren i dobrodošao“ za ljude bez diplome matematike, napisao je na Tviteru 26. oktobra suosnivač Ethereuma Vitalik Buterin.
ZKP se često nazivaju „mjesečevom matematikom“ zbog njihove složenosti.
Tako sam sretan što Ethereum ima tako jaku kulturu da se trudi da sva naša mjesečna matematika bude što razumljivija i pristupačnija ljudima. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Oktobar 26, 2022
Buterin je dodao da „Decentralizacija NE zahteva odustajanje i mahanje doktorom govoreći „to je crna kutija, mi smo pametni, verujte nam”.
Scroll, rješenje za skaliranje Ethereum sloja 2 bez znanja, objašnjeno u blog kako funkcionišu polinomske šeme obaveza, kritični dio nekoliko ZKP-ova i kako mogu pomoći u skalaciji Ethereuma.
Polinomi su matematički izrazi koji predstavljaju više od dva algebarska pojma. Prema blogu Scroll, polinomi mogu pomoći u efikasnom predstavljanju velikih podataka.
Šema obveze je kriptografski protokol u kojem se neko obavezuje na poruku i drži je skrivenom, ali može kasnije otkriti poruku. Međutim, izvršilac ne može promijeniti poruku nakon što se obavezao na nju, što čini šeme obaveza obavezujućim.
U polinomskoj šemi obaveza, neko se obavezuje na polinom umjesto na poruku. Polinomska shema obaveza ispunjava sva svojstva normalnih shema obaveza. Ali ima dodatnu karakteristiku koja omogućava predavaču da dokaže da se obavezao na određeni polinom koji zadovoljava tražena svojstva bez otkrivanja samog polinoma.
KZG u skaliranju Ethereuma
Iako postoje različite šeme polinomske obaveze, Kate-Zaverucha-Goldberg (KZG) je popularan u blockchain prostoru i koriste ga Scroll-ovi proof sistemi. KZG takođe treba da bude integrisan u Ethereum sa Proto-Dankshardingom, koji će se implementirati putem EIP-4844, koji je predložen u februaru 2022.
Proto-Danksharding je rješenje za zaustavljanje dok se Danksharding, koji bi mogao pojeftiniti korištenje rollupova, ne može implementirati. Proto-Danksharding uvodi novu vrstu transakcije koja se zove "transakcija koja nosi blob". Ove transakcije nose blob podataka od 128 kb, kojem se ne može pristupiti iz Ethereum izvršnog sloja. Umjesto toga, samo posvećenost blob-u podataka bit će dostupna iz Ethereuma.
Blob podataka je predstavljen kao polinom, a shema polinomske obveze KZG se koristi za kreiranje obveze prema podacima. Ovo omogućava provjeru svojstava blob-a podataka bez otkrivanja cijelog blob-a podataka.
Upotreba KZG-a može, stoga, omogućiti uzorkovanje dostupnosti podataka (DAS), koje će biti implementirano na putu do potpunog Dankshardinga. DAS u suštini omogućava validatorima da osiguraju da je blob podataka dostupan i ispravan, bez potrebe da čitaju cijeli blob podataka.
Ovo, zauzvrat, može značajno pomoći u poboljšanju skalabilnosti Ethereuma jer validatori moraju raditi s manje podataka.
Izvor: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/