Poskrbeti, da bodo dokazila brez znanja (ZKP) "razumljiva in dostopna" ljudem, je potrebna, da bo ekosistem Ethereum "odprt in gostoljuben" za ljudi brez diplome iz matematike, je 26. oktobra tvitnil soustanovitelj Ethereuma Vitalik Buterin.
ZKP se zaradi njihove zapletenosti pogosto imenujejo "mesečeva matematika".
Tako sem vesel, da ima Ethereum tako močno kulturo, da se močno trudi narediti vso našo matematiko o luni čim bolj razumljivo in dostopno ljudem. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Oktober 26, 2022
Buterin je dodal, da »decentralizacija zahteva, da se NE vdamo in mahamo z doktoratom, češ »to je črna skrinjica, pametni smo, zaupajte nam«.«
Scroll, rešitev za skaliranje ravni 2 Ethereum brez znanja, razložena v blog kako delujejo sheme polinomske zaveze, ki so kritični del več ZKP, in kako lahko pomagajo pri širitvi Ethereuma.
Polinomi so matematični izrazi, ki predstavljajo več kot dva algebrska člena. Glede na blog Scroll lahko polinomi pomagajo učinkovito predstavljati velike podatke.
Shema zaveze je kriptografski protokol, pri katerem se nekdo zaveže k sporočilu in ga ohrani skrito, vendar lahko sporočilo razkrije pozneje. Vendar pa izvajalec sporočila ne more spremeniti, ko se mu zaveže, zaradi česar so sheme zaveze zavezujoče.
V shemi polinomske zaveze se nekdo zaveže polinomu namesto sporočilu. Polinomska zavezujoča shema izpolnjuje vse lastnosti običajnih zavezujočih shem. Vendar ima dodatno funkcijo, ki omogoča komitterju, da dokaže, da se je zavezal določenemu polinomu, ki izpolnjuje zahtevane lastnosti, ne da bi razkril sam polinom.
KZG v skaliranju Ethereuma
Medtem ko obstajajo različne sheme polinomskih obveznosti, Kate-Zaverucha-Goldberg (KZG) je priljubljen v prostoru blockchain in ga uporabljajo Scrollovi dokazni sistemi. KZG naj bi bil tudi integriran v Ethereum s Proto-Dankshardingom, ki naj bi se izvajal prek EIP-4844, ki je bil predlagan februarja 2022.
Proto-Danksharding je začasna rešitev, dokler Danksharding, ki bi lahko pocenil uporabo zbiranj, ni mogoče implementirati. Proto-Danksharding uvaja novo vrsto transakcije, imenovano »transakcija, ki prenaša blob«. Te transakcije nosijo podatkovni blok velikosti 128 kb, do katerega ni mogoče dostopati iz izvršilne plasti Ethereum. Namesto tega bo iz Ethereuma dostopna le zavezanost podatkovnemu bloku.
Podatkovni blok je predstavljen kot polinom in shema polinomske zaveze KZG se uporablja za ustvarjanje zaveze za podatke. To omogoča preverjanje lastnosti bloba podatkov, ne da bi razkrili celotno blob podatkov.
Uporaba KZG lahko torej omogoči vzorčenje razpoložljivosti podatkov (DAS), ki bo implementirano na poti do popolnega Dankshardinga. DAS v bistvu omogoča validatorjem, da zagotovijo, da je podatkovni blok na voljo in pravilen, ne da bi morali prebrati celoten podatkovni blok.
To pa lahko znatno pomaga pri povečanju razširljivosti Ethereuma, saj morajo validatorji obravnavati manj podatkov.
Vir: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/