Nullteadmiste tõendite (ZKP) muutmine inimestele arusaadavaks ja juurdepääsetavaks on vajalik, et hoida Ethereumi ökosüsteem "avatuna ja vastutulelikuna" inimestele, kellel pole matemaatika kraadi, säutsus Ethereumi kaasasutaja Vitalik Buterin 26. oktoobril.
ZKP-sid nimetatakse nende keerukuse tõttu sageli "kuu matemaatikaks".
Mul on nii hea meel, et Ethereumil on nii tugev kultuur, mille kohaselt püütakse kogu meie kuu matemaatika inimestele võimalikult arusaadavaks ja kättesaadavaks teha. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Oktoober 26, 2022
Buterin lisas, et "detsentraliseerimine ei nõua allaandmist ja doktorikraadiga lehvitamist, öeldes: "See on must kast, me oleme targad, usalda meid".
Scroll, nullteadmiste kiht 2 Ethereumi skaleerimislahendus, mida on selgitatud blogi kuidas töötavad polünoomilised kohustuste skeemid, mis on mitme ZKP oluline osa, ja kuidas need aitavad Ethereumi skaleerida.
Polünoomid on matemaatilised avaldised, mis esindavad rohkem kui kahte algebralist terminit. Scrolli ajaveebi kohaselt võivad polünoomid aidata suuri andmeid tõhusalt esindada.
Sidusskeem on krüptograafiline protokoll, mille puhul pühendutakse sõnumile ja hoitakse see peidus, kuid saab sõnumi hiljem paljastada. Kohustaja ei saa aga sõnumit muuta, kui ta on sellele pühendunud, mistõttu on kohustuste skeemid siduvad.
Polünoomilise kohustuse skeemi puhul pühendutakse sõnumi asemel polünoomile. Polünoomne kohustusskeem vastab kõigile tavaliste kohustuste skeemide omadustele. Kuid sellel on lisafunktsioon, mis võimaldab sidujal tõestada, et ta on pühendunud teatud polünoomile, mis vastab nõutavatele omadustele, ilma polünoomi ennast paljastamata.
KZG Scaling Ethereumis
Kuigi on olemas erinevad polünoomilised kohustuste skeemid, Kate-Zaverucha-Goldberg (KZG) on plokiahela ruumis populaarne ja seda kasutavad Scrolli tõestussüsteemid. KZG integreeritakse ka Ethereumi koos Proto-Dankshardingiga, mida rakendatakse EIP-4844, mille ettepanek tehti 2022. aasta veebruaris.
Proto-Danksharding on stop-gap-lahendus, kuni Danksharding, mis võib muuta koondfailide kasutamise odavamaks, on rakendatud. Proto-Danksharding tutvustab uut tehingutüüpi, mida nimetatakse blob-carrying tehinguks. Need tehingud sisaldavad 128 kb suurust andmeplokki, millele ei pääse juurde Ethereumi täitmiskihist. Selle asemel on Ethereumist juurdepääsetav ainult andmeplokiga seotud kohustus.
Andmeplokki esitatakse polünoomina ja andmetele pühendumise loomiseks kasutatakse polünoomi sidususskeemi KZG. See võimaldab kontrollida andmeploki atribuute ilma kogu andmeploki paljastamata.
Seetõttu võib KZG kasutamine võimaldada andmete kättesaadavuse proovivõttu (DAS), mida rakendatakse täieliku Dankshardingi teel. Põhimõtteliselt võimaldab DAS validaatoritel tagada, et andmeplokk on saadaval ja õige, ilma et peaksid kogu andmeplokki lugema.
See omakorda võib oluliselt aidata parandada Ethereumi skaleeritavust, kuna valideerijad peavad tegelema vähemate andmetega.
Allikas: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/