Het maken van zero-knowledge proofs (ZKP's) "begrijpelijk en toegankelijk" voor mensen is noodzakelijk om het Ethereum-ecosysteem "open en gastvrij" te houden voor mensen zonder een wiskundediploma, tweette Ethereum-medeoprichter Vitalik Buterin op 26 oktober.
ZKP's worden vanwege hun complexiteit vaak "maanwiskunde" genoemd.
Ik ben zo blij dat Ethereum zo'n sterke cultuur heeft van hard proberen om al onze maanwiskunde zo begrijpelijk en toegankelijk mogelijk te maken voor mensen. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) 26 oktober 2022
Buterin voegde eraan toe: "Decentralisatie vereist NIET opgeven en een doctoraat zwaaien met de woorden "het is een zwarte doos, we zijn slim, vertrouw ons"."
Scroll, een zero-knowledge layer 2 Ethereum-schaaloplossing, uitgelegd in a blog hoe polynomiale commitment-schema's, een cruciaal onderdeel van verschillende ZKP's, werken en hoe ze Ethereum kunnen helpen schalen.
Veeltermen zijn wiskundige uitdrukkingen die meer dan twee algebraïsche termen vertegenwoordigen. Volgens de Scroll-blog kunnen polynomen helpen om grote gegevens efficiënt weer te geven.
Een commitment-schema is een cryptografisch protocol waarin men zich aan een bericht verbindt en het verborgen houdt, maar het bericht later kan onthullen. De committer kan het bericht echter niet meer wijzigen als hij zich er eenmaal aan heeft gecommitteerd, waardoor commitment-schema's bindend worden.
In een polynomiaal commitment-schema verbindt men zich aan een polynoom in plaats van aan een bericht. Het polynomiale commitment-schema voldoet aan alle eigenschappen van normale commitment-schema's. Maar het heeft een extra functie die de committer in staat stelt te bewijzen dat hij zich heeft gecommitteerd aan een bepaalde polynoom die voldoet aan de vereiste eigenschappen zonder de polynoom zelf te onthullen.
KZG in Ethereum schalen
Hoewel er verschillende polynomiale verbintenisschema's zijn, Kate Zaverucha Goldberg (KZG) is populair in de blockchain-ruimte en wordt gebruikt door de bewijssystemen van Scroll. KZG zal ook worden geïntegreerd in Ethereum met Proto-Danksharding, te implementeren via EIP-4844, die in februari 2022 werd voorgesteld.
Proto-Danksharding is een tijdelijke oplossing totdat Danksharding, waardoor het goedkoper kan worden om rollups te gebruiken, kan worden geïmplementeerd. Proto-Danksharding introduceert een nieuw transactietype genaamd 'blob-carrying transactie'. Deze transacties bevatten een datablob van 128 kb, die niet toegankelijk is vanuit de Ethereum-uitvoeringslaag. In plaats daarvan is alleen de toezegging aan de datablob toegankelijk vanuit Ethereum.
De datablob wordt weergegeven als een polynoom en het polynomiale commitment-schema KZG wordt gebruikt om een commitment aan de data te creëren. Hierdoor kunnen de eigenschappen van de gegevensblob worden geverifieerd zonder dat de volledige gegevensblob wordt onthuld.
Het gebruik van KZG kan daarom data-beschikbaarheidssampling (DAS) mogelijk maken, die zal worden geïmplementeerd op het pad naar volledige Danksharding. Met DAS kunnen validators in wezen ervoor zorgen dat de gegevensblob beschikbaar en correct is, zonder dat ze de hele gegevensblob hoeven te lezen.
Dit kan op zijn beurt aanzienlijk helpen bij het verbeteren van de schaalbaarheid van Ethereum, aangezien validators met minder gegevens te maken hebben.
Bron: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/