At gøre nulvidensbeviser (ZKP'er) "forståelige og tilgængelige" for folk er nødvendigt for at holde Ethereum-økosystemet "åbent og imødekommende" for mennesker uden en matematikuddannelse, tweetede Ethereum-medstifter Vitalik Buterin den 26. oktober.
ZKP'er omtales ofte som "månematematik" på grund af deres kompleksitet.
Jeg er så glad for, at Ethereum har en så stærk kultur, hvor vi prøver hårdt på at gøre al vores månematematik så forståelig og tilgængelig for folk som muligt. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Oktober 26, 2022
Buterin tilføjede, at "Decentralisering kræver IKKE at give op og vifte med en ph.d.-grad og sige "det er en sort boks, vi er smarte, stol på os".
Scroll, en nulvidenslag 2 Ethereum-skaleringsløsning, forklaret i en blog hvordan polynomielle engagementsordninger, en kritisk del af flere ZKP'er, fungerer, og hvordan de kan hjælpe med at skalere Ethereum.
Polynomier er matematiske udtryk, der repræsenterer mere end to algebraiske udtryk. Ifølge Scroll-bloggen kan polynomier hjælpe med at repræsentere store data effektivt.
En forpligtelsesordning er en kryptografisk protokol, hvor man forpligter sig til en besked og holder den skjult, men kan afsløre beskeden senere. Tilsagnsgiver kan dog ikke ændre beskeden, når først han har forpligtet sig til den, hvilket gør tilsagnsordninger bindende.
I et polynomielt engagementsskema forpligter man sig til et polynomium i stedet for en besked. Den polynomielle forpligtelsesordning opfylder alle egenskaberne ved normale forpligtelsesordninger. Men det har en ekstra funktion, der gør det muligt for committeren at bevise, at han har forpligtet sig til et bestemt polynomium, der opfylder de krævede egenskaber uden at afsløre selve polynomiet.
KZG i skalering af Ethereum
Mens der er forskellige polynomielle forpligtelsesordninger, Kate-Zaverucha-Goldberg (KZG) er populær i blockchain-området og bruges af Scrolls bevissystemer. KZG skal også integreres i Ethereum med Proto-Danksharding, der skal implementeres gennem EIP-4844, som blev foreslået i februar 2022.
Proto-Danksharding er en stop-gap-løsning, indtil Danksharding, som kan gøre det billigere at bruge rollups, kan implementeres. Proto-Danksharding introducerer en ny transaktionstype kaldet "blob-bærende transaktion." Disse transaktioner bærer en datablob på 128 kb, som ikke kan tilgås fra Ethereum-udførelseslaget. I stedet vil kun forpligtelsen til datablobben være tilgængelig fra Ethereum.
Datablobben er repræsenteret som et polynomium, og polynomieforpligtelsesskemaet KZG bruges til at skabe en forpligtelse til dataene. Dette gør det muligt at verificere datablobbens egenskaber uden at afsløre hele datablobben.
Brugen af KZG kan derfor muliggøre datatilgængelighedssampling (DAS), som vil blive implementeret på vejen til fuld Danksharding. DAS gør det i det væsentlige muligt for validatorer at sikre, at data-blobben er tilgængelig og korrekt, uden at skulle læse hele data-blobben.
Dette kan til gengæld hjælpe betydeligt med at forbedre skalerbarheden af Ethereum, da validatorer skal håndtere færre data.
Kilde: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/