Ethereum je v procesu implementace KZG, polynomiálního schématu závazků, které by mohlo pomoci škálovat Ethereum.
Zpřístupnění důkazů nulové znalosti (ZKP) „srozumitelným a přístupným“ lidem je nezbytné, aby ekosystém Ethereum zůstal „otevřený a přívětivý“ pro lidi bez matematického vzdělání, uvedl 26. října na Twitteru spoluzakladatel Etherea Vitalik Buterin.
ZKP jsou kvůli své složitosti často označovány jako „měsíční matematika“.
Jsem moc rád, že Ethereum má tak silnou kulturu, která se usilovně snaží, aby byla veškerá naše měsíční matematika co nejsrozumitelnější a nejpřístupnější lidem. https://t.co/o9n2Xms4Zw
– vitalik.eth (@VitalikButerin) 26. října 2022
Buterin dodal, že „Decentralizace vyžaduje, abychom se nevzdávali a nemávali doktorátem se slovy „je to černá skříňka, jsme chytří, věřte nám“.“.
Scroll, řešení pro škálování Etherea na vrstvě 2 s nulovou znalostí, na svém blogu vysvětlil, jak fungují polynomiální závazková schémata, která jsou kritickou 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é členy. Podle blogu Scroll mohou polynomy pomoci efektivně reprezentovat velká data.
Schéma závazku je kryptografický protokol, ve kterém se člověk zaváže ke zprávě a udržuje ji skrytou, ale později ji může odhalit. Odsouzený však nemůže zprávu změnit, jakmile se k ní zavázal, což činí schémata závazků závaznými.
V polynomickém závazkovém schématu se místo zprávy zavazuje polynom. Schéma polynomiálního závazku splňuje všechny vlastnosti běžných závazkových schémat. Má však další vlastnost, která umožňuje zavazujícímu se prokázat, že se zavázal k určitému polynomu, který splňuje požadované vlastnosti, aniž by musel prozradit samotný polynom.
KZG ve Scaling Ethereum
Přestože existují různá polynomická schémata závazku, Kate-Zaverucha-Goldberg (KZG) je v oblasti blockchainu populární a používají ho důkazové systémy Scroll. KZG má být také integrován do Etherea s Proto-Dankshardingem, který má být implementován prostřednictvím EIP-4844, jenž byl navržen v únoru 2022.
Proto-Danksharding je provizorním řešením do doby, než bude implementován Danksharding, který by mohl zlevnit používání rollupů. Proto-Danksharding zavádí nový typ transakce nazvaný „blob-carrying transaction“. Tyto transakce nesou datový blob o velikosti 128 kB, ke kterému nelze přistupovat z prováděcí vrstvy Etherea. 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á polynomické závazkové schéma KZG. To umožňuje ověřit vlastnosti datového blobu, aniž by byl odhalen celý datový blob.
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 ověřovatelům zajistit dostupnost a správnost datového blobu, aniž by museli číst celý datový blob.
To zase může výrazně pomoci se zvýšením škálovatelnosti Etherea, protože validátory se musí vypořádat s menším množstvím dat.
