Виталик вели дека е неопходно да се направат доказите за ZK „разбирливи“ за Ethereum

Неопходно е да се направат доказите со нула знаење (ЗКП) „разбирливи и достапни“ за луѓето за да се одржи екосистемот на Ethereum „отворен и добредојден“ за луѓето без диплома по математика, твитна на 26 октомври коосновачот на Ethereum, Виталик Бутерин.

ЗКП често се нарекуваат „месечева математика“ поради нивната сложеност.

Бутерин додаде дека „децентрализацијата не бара откажување и мавтање со докторат наоколу велејќи „тоа е црна кутија, ние сме паметни, верувајте ни“.

Scroll, решение за скалирање на Ethereum со слој 2 со нула знаење, објаснето во блог како функционираат шемите за полиномна посветеност, критичен дел од неколку ZKP, и како тие можат да помогнат во зголемувањето на Ethereum.

Полиномите се математички изрази кои претставуваат повеќе од два алгебарски члена. Според блогот Scroll, полиномите можат да помогнат ефикасно да се претстават големите податоци.

Шемата за обврзување е криптографски протокол во кој се обврзува на пораката и ја чува скриена, но подоцна може да ја открие пораката. Меѓутоа, обврзникот не може да ја промени пораката откако ќе се обврзе на неа, што ги прави обврзувачките шеми на обврски.

Во шемата за полиномна посветеност, се обврзува на полином наместо порака. Шемата за полиномна посветеност ги исполнува сите својства на нормалните шеми за обврзување. Но, има дополнителна карактеристика што му овозможува на извршителите да докаже дека се обврзал на одреден полином што ги задоволува бараните својства без да го открие самиот полином.

KZG во Scaling Ethereum

Иако постојат различни полиномни шеми за посветеност, Кејт-Заверуча-Голдберг (KZG) е популарен во блокчејн просторот и се користи од доказните системи на Scroll. KZG, исто така, треба да биде интегриран во Ethereum со Proto-Danksharding, што ќе се имплементира преку ЕИП-4844, кој беше предложен во февруари 2022 година.

Proto-Danksharding е решение за запирање додека не се имплементира Danksharding, што би можело да го направи поевтино користењето на rollups. Proto-Danksharding воведува нов тип на трансакција наречена „трансакција што носи дамки“. Овие трансакции носат податочна дупка од 128 kb, до која не може да се пристапи од слојот за извршување Ethereum. Наместо тоа, само посветеноста на податочната дупка ќе биде достапна од Ethereum.

Податочната дупка е претставена како полином, а полиномната шема на заложби KZG се користи за да се создаде посветеност на податоците. Ова овозможува да се проверат својствата на податочната дупка без да се открие целата точка на податоци.

Оттука, употребата на KZG може да овозможи земање примероци за достапност на податоци (DAS), што ќе се имплементира на патот до целосно Danksharding. DAS во суштина им овозможува на валидаторите да се осигураат дека дамката на податоците е достапна и точна, без да мора да ја читаат целата дупка со податоци.

Ова, пак, може значително да помогне во подобрувањето на приспособливоста на Ethereum бидејќи валидаторите треба да се занимаваат со помалку податоци.

Извор: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/