Učinit důkazy o nulových znalostech (ZKP) „srozumitelnými a přístupnými“ lidem je nezbytné, aby ekosystém Ethereum zůstal „otevřený a vstřícný“ lidem bez matematického vzdělání, uvedl na Twitteru spoluzakladatel Etherea Vitalik Buterin 26.
ZKP jsou často označovány jako „měsíční matematika“ kvůli jejich složitosti.
Jsem tak šťastný, že Ethereum má tak silnou kulturu snahy, aby byla veškerá naše měsíční matematika co nejsrozumitelnější a přístupná lidem. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Října 26, 2022
Buterin dodal, že „decentralizace vyžaduje NEVZDÁVAT se a mávat doktorátem a říkat „je to černá skříňka, jsme chytří, věřte nám“.
Scroll, řešení škálování Etherea vrstvy 2 s nulovými znalostmi, vysvětlené v a blog jak fungují schémata polynomiálních závazků, kritická součást několika ZKP, a jak mohou pomoci škálovat Ethereum.
Polynomy jsou matematické výrazy, které představují více než dva algebraické výrazy. Podle blogu Scroll mohou polynomy pomoci efektivně reprezentovat velká data.
Schéma závazků je šifrovací protokol, ve kterém se člověk zavazuje ke zprávě a udržuje ji skrytou, ale může zprávu odhalit později. Pověřenec však nemůže zprávu změnit, jakmile se k ní zavázal, což činí schémata závazků závaznými.
Ve schématu polynomiálního závazku se člověk zavazuje k polynomu místo zprávy. Polynomiální schéma závazků splňuje všechny vlastnosti normálních schémat závazků. Má však další vlastnost, která umožňuje zadavateli prokázat, že se zavázal k určitému polynomu, který splňuje požadované vlastnosti, aniž by odhalil samotný polynom.
KZG ve škálování Etherea
I když existují různá schémata polynomických závazků, Kate-Zaverucha-Goldberg (KZG) je populární v blockchainovém prostoru a používají ho systémy Scroll. KZG má být také integrováno do Etherea s Proto-Danksharding, který bude implementován prostřednictvím EIP-4844, který byl navržen v únoru 2022.
Proto-Danksharding je dočasné řešení, dokud nebude možné implementovat Danksharding, který by mohl zlevnit používání rollupů. Proto-Danksharding představuje nový typ transakce nazvaný „transakce nesoucí blob“. Tyto transakce nesou datový blob o velikosti 128 kb, ke kterému nelze přistupovat z prováděcí vrstvy Ethereum. Místo toho bude z Etherea přístupný pouze závazek k datovému blobu.
Datový blob je reprezentován jako polynom a k vytvoření závazku k datům se používá schéma polynomického závazku KZG. To umožňuje ověřit vlastnosti datového blobu bez odhalení celého datového blobu.
Použití KZG tedy může umožnit vzorkování dostupnosti dat (DAS), které bude implementováno na cestě k plnému Dankshardingu. DAS v podstatě umožňuje validátorům zajistit, aby byl datový blob dostupný a správný, aniž by bylo nutné číst celý datový blob.
To zase může výrazně pomoci se zvýšením škálovatelnosti Etherea, protože validátoři potřebují pracovat s menším množstvím dat.
Zdroj: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/