Правенето на доказателства с нулево знание (ZKPs) „разбираеми и достъпни“ за хората е необходимо, за да се запази екосистемата на Ethereum „отворена и гостоприемна“ за хора без диплома по математика, написа в Туитър съоснователят на Ethereum Виталик Бутерин на 26 октомври.
ZKP често се наричат „лунна математика“ поради тяхната сложност.
Толкова съм щастлив, че Ethereum има толкова силна култура да се опитва усилено да направи цялата ни лунна математика възможно най-разбираема и достъпна за хората. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Октомври 26, 2022
Бутерин добави, че „децентрализацията изисква НЕ да се отказвате и да размахвате докторска степен, казвайки „това е черна кутия, ние сме умни, повярвайте ни“.“
Scroll, решение за мащабиране на слой 2 на Ethereum с нулево знание, обяснено в блог как работят полиномиалните схеми за ангажиране, критична част от няколко ZKP, и как могат да помогнат за мащабирането на Ethereum.
Полиномите са математически изрази, които представляват повече от два алгебрични члена. Според блога Scroll полиномите могат да помогнат за ефективното представяне на големи данни.
Схемата за ангажиране е криптографски протокол, при който човек се ангажира със съобщение и го пази скрито, но може да разкрие съобщението по-късно. Комитерът обаче не може да промени съобщението, след като се е ангажирал с него, което прави схемите за ангажимент задължителни.
В полиномна схема за ангажиране човек се ангажира с полином вместо със съобщение. Полиномиалната схема на ангажимент отговаря на всички свойства на нормалните схеми на ангажимент. Но има допълнителна характеристика, която позволява на извършителя да докаже, че се е ангажирал с определен полином, който отговаря на изискваните свойства, без да разкрива самия полином.
KZG в мащабиране на Ethereum
Въпреки че има различни полиномиални схеми за ангажиране, Кейт-Заверуча-Голдбърг (KZG) е популярен в блокчейн пространството и се използва от системите за доказване на Scroll. KZG също трябва да бъде интегриран в Ethereum с Proto-Danksharding, който да бъде внедрен чрез EIP-4844., който беше предложен през февруари 2022 г.
Proto-Danksharding е временно решение, докато Danksharding, което може да направи по-евтино използването на сборни пакети, може да бъде внедрено. Proto-Danksharding въвежда нов тип транзакция, наречен „транзакция, пренасяща петна“. Тези транзакции носят блок данни от 128kb, който не може да бъде достъпен от слоя за изпълнение на Ethereum. Вместо това само ангажиментът към блока с данни ще бъде достъпен от Ethereum.
Блокът от данни е представен като полином и полиномната схема за ангажиране KZG се използва за създаване на ангажимент към данните. Това позволява свойствата на блока с данни да бъдат проверени, без да се разкрива целият блок с данни.
Следователно използването на KZG може да даде възможност за вземане на проби от наличността на данни (DAS), което ще бъде приложено по пътя към пълен Danksharding. DAS по същество позволява на валидаторите да гарантират, че блокът с данни е наличен и правилен, без да се налага да чете целия блок с данни.
Това от своя страна може значително да помогне за подобряване на скалируемостта на Ethereum, тъй като валидаторите трябва да работят с по-малко данни.
Източник: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/