Este necesar ca dovezile cu cunoștințe zero (ZKPs) să fie „înțelese și accesibile” pentru oameni pentru a menține ecosistemul Ethereum „deschis și primitor” pentru persoanele fără diplomă de matematică, a scris pe Twitter Vitalik Buterin, cofondatorul Ethereum, pe 26 octombrie.
ZKP-urile sunt adesea denumite „matematică lunară” din cauza complexității lor.
Sunt atât de fericit că Ethereum are o cultură atât de puternică de a încerca din greu să facă ca toate matematicile noastre lunare să fie cât mai ușor de înțeles și accesibile oamenilor. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Octombrie 26, 2022
Buterin a adăugat că „Descentralizarea necesită NU renunțarea și fluturarea unui doctorat spunând „este o cutie neagră, suntem deștepți, ai încredere în noi”.
Scroll, o soluție de scalare Ethereum cu nivel zero de cunoștințe, explicată într-o blogul cum funcționează schemele de angajament polinomial, o parte critică a mai multor ZKP-uri și cum pot ajuta ele la scalarea Ethereum.
Polinoamele sunt expresii matematice care reprezintă mai mult de doi termeni algebrici. Potrivit blogului Scroll, polinoamele pot ajuta la reprezentarea eficientă a datelor mari.
O schemă de angajament este un protocol criptografic în care cineva se angajează la un mesaj și îl păstrează ascuns, dar poate dezvălui mesajul mai târziu. Cu toate acestea, persoana care a comis angajamentul nu poate schimba mesajul odată ce s-a angajat la acesta, ceea ce face ca schemele de angajament să fie obligatorii.
Într-o schemă de angajare polinomială, cineva se angajează la un polinom în loc de un mesaj. Schema de angajament polinomial îndeplinește toate proprietățile schemelor normale de angajament. Dar are o caracteristică suplimentară care permite committerului să demonstreze că s-a angajat la un anumit polinom care satisface proprietățile cerute, fără a dezvălui polinomul însuși.
KZG în Scaling Ethereum
Deși există diferite scheme de angajament polinomial, Kate-Zaverucha-Goldberg (KZG) este popular în spațiul blockchain și este folosit de sistemele de verificare a Scroll. De asemenea, KZG urmează să fie integrat în Ethereum cu Proto-Danksharding, urmând să fie implementat prin PEI-4844, care a fost propus în februarie 2022.
Proto-Danksharding este o soluție stop-gap până când Danksharding, care ar putea face mai ieftină utilizarea rollup-urilor, poate fi implementată. Proto-Danksharding introduce un nou tip de tranzacție numit „tranzacție cu blob-carrying”. Aceste tranzacții poartă un blob de date de 128 kb, care nu poate fi accesat din stratul de execuție Ethereum. În schimb, doar angajamentul față de blob-ul de date va fi accesibil din Ethereum.
Blobul de date este reprezentat ca un polinom, iar schema de angajament polinomic KZG este utilizată pentru a crea un angajament față de date. Acest lucru permite ca proprietățile blobului de date să fie verificate fără a dezvălui întregul blob de date.
Prin urmare, utilizarea KZG poate permite eșantionarea disponibilității datelor (DAS), care va fi implementată pe calea către Danksharding complet. DAS le permite în esență validatorilor să se asigure că blob-ul de date este disponibil și corect, fără a fi nevoie să citească întregul blob de date.
Acest lucru, la rândul său, poate ajuta semnificativ la îmbunătățirea scalabilității Ethereum, deoarece validatorii trebuie să se ocupe de mai puține date.
Sursa: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/