A nulla tudásalapú bizonyítékok (ZKP-k) „érthetővé és hozzáférhetővé” tétele az emberek számára szükséges ahhoz, hogy az Ethereum ökoszisztéma „nyitva és szívesen fogadja” a matematikai végzettséggel nem rendelkező embereket – írta Vitalik Buterin, az Ethereum társalapítója október 26-án a Twitteren.
A ZKP-kat gyakran „hold matematikának” nevezik összetettségük miatt.
Nagyon boldog vagyok, hogy az Ethereum olyan erős kultúrája, hogy keményen igyekszik minden holdmatematikánkat a lehető legérthetőbbé és elérhetőbbé tenni az emberek számára. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Október 26, 2022
Buterin hozzátette, hogy „a decentralizáláshoz NEM kell feladni, és a doktori fokozatot azzal integetni, hogy „ez egy fekete doboz, okosak vagyunk, bízzon bennünk”.
Scroll, egy nulla tudásréteg 2 Ethereum skálázási megoldás, amelyet egy blog hogyan működnek a polinomiális kötelezettségvállalási sémák, amelyek számos ZKP kritikus részét képezik, és hogyan segíthetik az Ethereum méretezését.
A polinomok olyan matematikai kifejezések, amelyek kettőnél több algebrai tagot képviselnek. A Scroll blog szerint a polinomok segíthetnek nagy adatok hatékony megjelenítésében.
A kötelezettségvállalási séma egy kriptográfiai protokoll, amelyben az ember elkötelezi magát egy üzenet mellett, és rejtve tartja, de később felfedheti az üzenetet. A kötelezett azonban nem változtathatja meg az üzenetet, miután elkötelezte magát, ami kötelezővé teszi a kötelezettségvállalási sémákat.
A polinomiális kötelezettségvállalási sémában az ember üzenet helyett polinomot köt. A polinomiális kötelezettségvállalási séma megfelel a normál kötelezettségvállalási sémák minden tulajdonságának. De van egy további funkciója is, amely lehetővé teszi a committer számára, hogy bebizonyítsa, hogy elkötelezte magát egy bizonyos polinom mellett, amely kielégíti a szükséges tulajdonságokat anélkül, hogy magát a polinomot felfedné.
KZG a Scaling Ethereumban
Noha különböző polinomiális kötelezettségvállalási sémák léteznek, Kate-Zaverucha-Goldberg (KZG) népszerű a blokklánc térben, és a Scroll proof rendszerei használják. A KZG-t a Proto-Danksharding segítségével az Ethereumba is integrálni kell, amelyet EIP-4844, amelyet 2022 februárjában javasoltak.
A Proto-Danksharding egy stop-gap megoldás mindaddig, amíg a Danksharding, amely olcsóbbá teheti a rollupok használatát, megvalósul. A Proto-Danksharding egy új tranzakciótípust vezet be, „blob-hordozó tranzakció” néven. Ezek a tranzakciók 128 kb-os adatblobot hordoznak, amely nem érhető el az Ethereum végrehajtási rétegéről. Ehelyett csak az adatblob iránti elkötelezettség lesz elérhető az Ethereumból.
Az adatblob polinomként van ábrázolva, és a KZG polinomiális kötelezettségvállalási sémát használják az adatokhoz való kötelezettségvállalás létrehozására. Ez lehetővé teszi az adatblob tulajdonságainak ellenőrzését a teljes adatblob felfedése nélkül.
A KZG használata ezért lehetővé teszi az adatok rendelkezésre állási mintavételezését (DAS), amely a teljes Danksharding felé vezető úton kerül megvalósításra. A DAS lényegében lehetővé teszi az érvényesítők számára, hogy biztosítsák az adatblob elérhetőségét és helyességét anélkül, hogy a teljes adatblobot be kellene olvasniuk.
Ez viszont jelentősen segíthet az Ethereum skálázhatóságának javításában, mivel az érvényesítőknek kevesebb adattal kell bánniuk.
Forrás: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/