Norint, kad „Ethereum“ ekosistema būtų „atvira ir priimtina“ žmonėms, neturintiems matematikos laipsnio, „nulinių žinių įrodymus“ (ZKP) būtina padaryti „suprantamais ir prieinamais“, spalio 26 d.
Dėl jų sudėtingumo ZKP dažnai vadinami „mėnulio matematika“.
Labai džiaugiuosi, kad „Ethereum“ turi tokią stiprią kultūrą, kuri labai stengiasi, kad visa mūsų mėnulio matematika būtų kuo suprantamesnė ir prieinamesnė žmonėms. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Spalis 26, 2022
Buterinas pridūrė, kad „decentralizacijai nereikia pasiduoti ir mojuoti daktaro laipsniu, sakydamas: „tai juodoji dėžė, mes protingi, pasitikėk mumis“.
Scroll, nulinių žinių sluoksnis 2 Ethereum mastelio keitimo sprendimas, paaiškintas a. Dienoraštis kaip veikia daugianario įsipareigojimų schemos, svarbi kelių ZKP dalis, ir kaip jos gali padėti išplėsti Ethereum mastelį.
Polinomai yra matematinės išraiškos, kurios reiškia daugiau nei du algebrinius terminus. Remiantis „Scroll“ tinklaraščiu, polinomai gali padėti efektyviai pateikti didelius duomenis.
Įsipareigojimų schema yra kriptografinis protokolas, pagal kurį žmogus įsipareigoja laikytis pranešimo ir jį paslėpti, bet vėliau gali atskleisti pranešimą. Tačiau įsipareigojęs asmuo negali pakeisti pranešimo, kai jam įsipareigoja, todėl įsipareigojimų schemos yra privalomos.
Polinominėje įsipareigojimo schemoje vietoj pranešimo įsipareigojama naudoti polinomą. Polinominė įsipareigojimų schema atitinka visas įprastų įsipareigojimų schemų savybes. Tačiau jis turi papildomą savybę, leidžiančią įpareigojančiam asmeniui įrodyti, kad jis įsipareigojo naudoti tam tikrą daugianarį, kuris atitinka reikiamas savybes, neatskleidžiant paties daugianario.
KZG Scaling Ethereum
Nors yra įvairių daugianario įsipareigojimų schemų, Kate-Zaverucha-Goldberg (KZG) yra populiarus „blockchain“ erdvėje ir naudojamas „Scroll“ tikrinimo sistemose. KZG taip pat turi būti integruotas į Ethereum su Proto-Danksharding, kuris bus įdiegtas per EIP-4844, kuris buvo pasiūlytas 2022 m. vasario mėn.
„Proto-Danksharding“ yra „stop-gap“ sprendimas, kol nebus įdiegtas „Danksharding“, dėl kurio gali būti pigiau naudoti apibendrinimus. „Proto-Danksharding“ pristato naują operacijų tipą, vadinamą „dėmių pernešimo operacija“. Šios operacijos turi 128 kb duomenų bloką, kurio negalima pasiekti iš Ethereum vykdymo sluoksnio. Vietoj to, iš Ethereum bus pasiekiamas tik įsipareigojimas duomenų dėmei.
Duomenų blokas vaizduojamas kaip polinomas, o daugianario įsipareigojimo schema KZG naudojama duomenų įsipareigojimui sukurti. Tai leidžia patikrinti duomenų blobo ypatybes neatskleidžiant viso duomenų bloko.
Todėl naudojant KZG galima įgalinti duomenų prieinamumo atranką (DAS), kuri bus įdiegta siekiant visiško Danksharding. DAS iš esmės leidžia tikrintojams užtikrinti, kad duomenų blobas būtų prieinamas ir teisingas, neskaitant viso duomenų bloko.
Tai, savo ruožtu, gali žymiai padėti pagerinti Ethereum mastelio keitimą, nes tikrintojams reikia tvarkyti mažiau duomenų.
Šaltinis: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/