Spoluzakladateľ Etherea Vitalik Buterin tweetoval 26. októbra na Twitteri, aby boli dôkazy s nulovými znalosťami (ZKP) „zrozumiteľné a dostupné“ ľuďom, aby bol ekosystém Ethereum „otvorený a ústretový“ pre ľudí bez vysokoškolského vzdelania z matematiky.
ZKP sa často označujú ako „mesačná matematika“ kvôli ich zložitosti.
Som tak šťastný, že Ethereum má takú silnú kultúru úsilia, aby bola všetka naša mesačná matematika tak zrozumiteľná a dostupná pre ľudí, ako je to len možné. https://t.co/o9n2Xms4Zw
- vitalik.eth (@ VitalikButerin) Októbra 26, 2022
Buterin dodal, že „Decentralizácia si vyžaduje NEVZDÁVAŤ sa a mávať doktorátom s tým, že „je to čierna skrinka, sme múdri, verte nám“.
Scroll, riešenie škálovania Etherea vrstvy 2 s nulovými znalosťami, vysvetlené v a blog ako fungujú schémy polynomických záväzkov, ktoré sú kritickou súčasťou niekoľkých ZKP, a ako môžu pomôcť škálovať Ethereum.
Polynómy sú matematické výrazy, ktoré predstavujú viac ako dva algebraické výrazy. Podľa blogu Scroll môžu polynómy pomôcť efektívne reprezentovať veľké údaje.
Schéma potvrdenia je kryptografický protokol, v ktorom sa zaväzuje k správe a udržiava ju skrytú, ale správu môže odhaliť neskôr. Záväzok však nemôže zmeniť správu, keď sa k nej zaviazal, čo robí schémy záväzku záväznými.
V schéme viazania polynómu sa namiesto správy zaväzuje k polynómu. Polynomická záväzková schéma spĺňa všetky vlastnosti bežných záväzkových schém. Má však ďalšiu vlastnosť, ktorá umožňuje autorovi dokázať, že sa zaviazal k určitému polynómu, ktorý spĺňa požadované vlastnosti, bez toho, aby odhalil samotný polynóm.
KZG v škálovaní Etherea
Aj keď existujú rôzne schémy polynomických záväzkov, Kate-Zaverucha-Goldberg (KZG) je populárny v blockchainovom priestore a používajú ho overovacie systémy Scroll. KZG sa má tiež integrovať do Etherea s Proto-Danksharding, ktorý sa má implementovať prostredníctvom EIP-4844, ktorý bol navrhnutý vo februári 2022.
Proto-Danksharding je prechodné riešenie, kým nebude možné implementovať Danksharding, ktorý by mohol zlacniť používanie rollupov. Proto-Danksharding predstavuje nový typ transakcie nazývaný „transakcia prenášajúca bloby“. Tieto transakcie nesú dátový blok s veľkosťou 128 kb, ku ktorému nie je možné pristupovať z vykonávacej vrstvy Ethereum. Namiesto toho bude z Etherea prístupný iba záväzok k dátovému bloku.
Dátový blok je reprezentovaný ako polynóm a na vytvorenie viazanosti údajov sa používa schéma viazania polynómov KZG. To umožňuje overiť vlastnosti dátového bloku bez odhalenia celého dátového bloku.
Použitie KZG teda môže umožniť vzorkovanie dostupnosti údajov (DAS), ktoré bude implementované na ceste k úplnému Dankshardingu. DAS v podstate umožňuje validátorom zabezpečiť dostupnosť a správnosť dátového bloku bez toho, aby museli čítať celý dátový blok.
To zase môže výrazne pomôcť pri zvyšovaní škálovateľnosti Etherea, pretože validátori musia pracovať s menším množstvom údajov.
Zdroj: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/