Učiniti dokaze bez znanja (ZKP) "razumljivima i dostupnima" ljudima neophodno je kako bi Ethereum ekosustav ostao "otvoren i gostoljubiv" za ljude bez diplome matematike, tweetao je 26. listopada suosnivač Ethereuma Vitalik Buterin.
ZKP-ovi se često nazivaju "mjesečevom matematikom" zbog njihove složenosti.
Tako sam sretan što Ethereum ima tako snažnu kulturu u kojoj se trudimo učiniti svu našu mjesečevu matematiku što razumljivijom i pristupačnijom ljudima. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Listopada 26, 2022
Buterin je dodao da "decentralizacija zahtijeva NE odustajanje i mahanje doktoratom govoreći "to je crna kutija, mi smo pametni, vjerujte nam"."
Scroll, rješenje za skaliranje sloja 2 Ethereuma bez znanja, objašnjeno u blog kako funkcioniraju sheme polinomne obveze, kritični dio nekoliko ZKP-ova, i kako mogu pomoći u skaliranju Ethereuma.
Polinomi su matematički izrazi koji predstavljaju više od dva algebarska člana. Prema blogu Scroll, polinomi mogu pomoći u učinkovitom predstavljanju velikih podataka.
Shema predaje je kriptografski protokol u kojem se osoba obvezuje na poruku i drži je skrivenom, ali je može otkriti kasnije. Međutim, komiter ne može promijeniti poruku nakon što se na nju obvezao, što sheme obvezivanja čini obvezujućima.
U polinomskoj shemi obvezivanja obvezuje se na polinom umjesto na poruku. Polinomna shema obveze ispunjava sva svojstva normalnih shema obveze. Ali ima dodatnu značajku koja omogućuje izvršitelju da dokaže da se obvezao na određeni polinom koji zadovoljava tražena svojstva bez otkrivanja samog polinoma.
KZG u skaliranju Ethereuma
Iako postoje različite sheme polinomske obveze, Kate-Zaverucha-Goldberg (KZG) popularan je u blockchain prostoru i koriste ga Scrollovi proof sustavi. KZG bi također trebao biti integriran u Ethereum s Proto-Dankshardingom, koji će se implementirati putem EIP-4844, koji je predložen u veljači 2022.
Proto-Danksharding je privremeno rješenje dok se Danksharding, koji bi mogao pojeftiniti korištenje rollupova, ne može implementirati. Proto-Danksharding uvodi novu vrstu transakcije nazvanu "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 predanost blobu podataka bit će dostupna iz Ethereuma.
Blob podataka predstavljen je kao polinom, a shema polinomske obveze KZG koristi se za stvaranje obveze prema podacima. To omogućuje provjeru svojstava bloba podataka bez otkrivanja cijelog bloba podataka.
Korištenje KZG-a stoga može omogućiti uzorkovanje dostupnosti podataka (DAS), koje će se implementirati na putu do potpunog Dankshardinga. DAS u biti omogućuje validatorima da osiguraju da je blob podataka dostupan i točan, bez potrebe za čitanjem cijelog bloba podataka.
To zauzvrat može značajno pomoći u poboljšanju skalabilnosti Ethereuma budući da validatori moraju raditi s manje podataka.
Izvor: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/