Виталик ZK дәлелдерін «түсінікті» ету Ethereum үшін қажет дейді

Нөлдік білімнің дәлелдемелерін (ZKP) адамдарға «түсінікті және қолжетімді» ету Ethereum экожүйесін математикалық білімі жоқ адамдар үшін «ашық және жылы» сақтау үшін қажет, деп Ethereum негізін қалаушы Виталик Бутерин 26 қазанда твиттерде жазды.

ZKP жиі күрделілігіне байланысты «ай математикасы» деп аталады.

Бутерин былай деп қосты: «Орталықсыздандыру «бұл қара жәшік, біз ақылдымыз, бізге сеніңіз» деп докторлық диссертациядан бас тартпауды талап етеді».

Scroll, нөлдік білім деңгейі 2 Ethereum масштабтау шешімі, келесіде түсіндіріледі блог Бірнеше ZKP-тің маңызды бөлігі болып табылатын көпмүшелік міндеттеме схемалары қалай жұмыс істейді және олар Ethereum масштабына қалай көмектесе алады.

Көпмүшелер – екіден көп алгебралық мүшелерді білдіретін математикалық өрнектер. Scroll блогына сәйкес, көпмүшеліктер үлкен деректерді тиімді көрсетуге көмектеседі.

Міндеттеме схемасы - хабарламаға міндеттелетін және оны жасырын сақтайтын, бірақ хабарламаны кейін ашуға болатын криптографиялық протокол. Дегенмен, хабарламаны жіберуші оны міндеттегеннен кейін оны өзгерте алмайды, бұл міндеттеме схемаларын міндетті етеді.

Көпмүшелік міндеттеме схемасында хабарламаның орнына көпмүшеге міндеттеледі. Көпмүшелік міндеттеме схемасы қалыпты міндеттеме схемаларының барлық қасиеттеріне сәйкес келеді. Бірақ оның көпмүшенің өзін ашпай-ақ, талап етілетін қасиеттерді қанағаттандыратын белгілі бір көпмүшеге берілгендігін дәлелдеуге мүмкіндік беретін қосымша мүмкіндігі бар.

KZG Scaling Ethereum

Әртүрлі полиномдық міндеттеме схемалары болғанымен, Кейт-Заверуча-Голдберг (KZG) блокчейн кеңістігінде танымал және оны Scroll дәлелдеу жүйелері пайдаланады. KZG сонымен қатар Proto-Danksharding арқылы Ethereum-ға біріктірілуі керек. EIP-4844, ол 2022 жылдың ақпанында ұсынылды.

Proto-Danksharding - бұл орамдарды пайдалануды арзандататын Danksharding іске асырылмайынша үзіліссіз шешім. Proto-Danksharding жаңа транзакция түрін енгізеді, ол «блоб тасымалдау транзакциясы» деп аталады. Бұл транзакциялар Ethereum орындау деңгейінен қол жеткізу мүмкін емес 128 кб деректер блогын тасымалдайды. Оның орнына, Ethereum-дан деректер блогына қатысты міндеттеме ғана қол жетімді болады.

Деректер блогы көпмүше ретінде ұсынылған және деректерге міндеттеме жасау үшін көпмүшелік міндеттеме схемасы KZG пайдаланылады. Бұл деректер блогының сипаттарын толық деректер блогын көрсетпей тексеруге мүмкіндік береді.

Сондықтан KZG пайдалану толық Danksharding жолында іске асырылатын деректер қолжетімділігінің іріктеуін (DAS) қосуы мүмкін. DAS шын мәнінде валидаторларға деректер блогын толық оқымай-ақ деректер блогының қол жетімді және дұрыс екеніне көз жеткізуге мүмкіндік береді.

Бұл, өз кезегінде, Ethereum масштабын арттыруға айтарлықтай көмектеседі, өйткені валидаторлар аз деректермен жұмыс істеуі керек.

Дереккөз: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/