Tietojen nollatodisteiden (ZKP:t) tekeminen "ymmärrettäviksi ja saavutettaviksi" ihmisille on välttämätöntä, jotta Ethereumin ekosysteemi pysyy "avoimina ja tervetulleina" ihmisille, joilla ei ole matematiikan tutkintoa, Ethereumin toinen perustaja Vitalik Buterin twiittasi 26. lokakuuta.
ZKP:ita kutsutaan usein "kuun matematiikaksi" niiden monimutkaisuuden vuoksi.
Olen niin iloinen, että Ethereumilla on niin vahva kulttuuri, jossa yritetään kovasti tehdä kaikesta kuun matematiikasta mahdollisimman ymmärrettävää ja saavutettavissa olevaa ihmisille. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Lokakuu 26, 2022
Buterin lisäsi, että "hajauttamiseen EI vaadita luovuttamista ja tohtorin heiluttamista sanomalla "se on musta laatikko, olemme älykkäitä, luota meihin".
Scroll, nollatietokerroksen 2 Ethereum-skaalausratkaisu, selitetty blogi kuinka polynomiset sitoutumisjärjestelmät, jotka ovat kriittinen osa useita ZKP:ita, toimivat ja miten ne voivat auttaa skaalaamaan Ethereumia.
Polynomit ovat matemaattisia lausekkeita, jotka edustavat useampaa kuin kahta algebrallista termiä. Scroll-blogin mukaan polynomit voivat auttaa edustamaan suuria tietoja tehokkaasti.
Sitoumusmalli on salausprotokolla, jossa viestiin sitoutuu ja se pidetään piilossa, mutta viesti voidaan paljastaa myöhemmin. Sitoutuja ei kuitenkaan voi muuttaa viestiä, kun hän on sitoutunut siihen, mikä tekee sitoumuksista sitovia.
Polynomisessa sitoumusmallissa sitoudutaan polynomiin viestin sijaan. Polynominen sitoumusmalli täyttää kaikki normaalien sitoumusmallien ominaisuudet. Mutta siinä on lisäominaisuus, jonka avulla sitoutuja voi todistaa sitoutuneensa tiettyyn polynomiin, joka täyttää vaaditut ominaisuudet paljastamatta itse polynomia.
KZG Scaling Ethereumissa
Vaikka on olemassa erilaisia polynomisia sitoumuksia, Kate-Zaverucha-Goldberg (KZG) on suosittu lohkoketjutilassa, ja sitä käyttävät Scrollin todistejärjestelmät. KZG on myös tarkoitus integroida Ethereumiin Proto-Dankshardingin avulla, joka toteutetaan EIP-4844, jota ehdotettiin helmikuussa 2022.
Proto-Danksharding on stop-gap-ratkaisu, kunnes Danksharding, joka voisi tehdä rolluppeista halvempaa, voidaan ottaa käyttöön. Proto-Danksharding esittelee uuden tapahtumatyypin nimeltä "blob-carrying transaktion". Nämä tapahtumat sisältävät 128 kt:n datablobin, jota ei voi käyttää Ethereumin suoritustasolta. Sen sijaan vain datablobiin sitoutuminen on käytettävissä Ethereumista.
Datablob esitetään polynomina ja polynomin sitoutumismallia KZG käytetään sitomisen luomiseen dataan. Tämä mahdollistaa datablobin ominaisuuksien tarkistamisen paljastamatta koko datablobia.
KZG:n käyttö voi näin ollen mahdollistaa tietojen saatavuuden näytteenoton (DAS), joka toteutetaan tiellä kohti täyttä Dankshardingia. DAS mahdollistaa pohjimmiltaan sen, että tarkistajat voivat varmistaa, että datablob on saatavilla ja oikea ilman, että heidän tarvitsee lukea koko datablobia.
Tämä puolestaan voi auttaa merkittävästi parantamaan Ethereumin skaalautuvuutta, koska validaattoreiden on käsiteltävä vähemmän tietoa.
Lähde: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/