Ethereum е в процес на внедряване на KZG, полиномиална схема за поемане на ангажименти, която може да помогне за мащабирането на Ethereum.
Превръщането на доказателствата за нулево познание (ZKP) в „разбираеми и достъпни“ за хората е необходимо, за да остане екосистемата на Ethereum „отворена и приветлива“ за хора без математическа диплома, написа съоснователят на Ethereum Виталик Бутерин в Twitter на 26 октомври.
ZKP често се наричат „лунна математика“ заради тяхната сложност.
Толкова съм щастлив, че Ethereum има толкова силна култура на усилено старание да направи цялата ни лунна математика възможно най-разбираема и достъпна за хората. https://t.co/o9n2Xms4Zw
– vitalik.eth (@VitalikButerin) Октомври 26, 2022
Buterin добави, че „Децентрализацията изисква да НЕ се отказвате и да размахвате докторска дисертация с думите „това е черна кутия, ние сме умни, доверете ни се“.“
Scroll, решение за мащабиране на слой 2 на Етериум с нулеви знания, обясни в блог как работят схемите за полиномиални ангажименти, критична част от няколко ZKP, и как те могат да помогнат за мащабирането на Етериум.
Полиномите са математически изрази, които представляват повече от два алгебрични члена. Според блога на Scroll полиномите могат да помогнат за ефективното представяне на големи данни.
Схемата за поемане на ангажимент е криптографски протокол, в който човек се ангажира с дадено съобщение и го държи скрито, но може да разкрие съобщението по-късно. Поемащият ангажимент обаче не може да промени съобщението, след като се е ангажирал с него, което прави схемите за ангажимент обвързващи.
При полиномната схема за обвързване човек се обвързва с полином вместо със съобщение. Полиномната схема за обвързване отговаря на всички свойства на нормалните схеми за обвързване. Но тя има допълнителна характеристика, която позволява на ангажиращия се да докаже, че се е ангажирал с определен полином, който удовлетворява изискваните свойства, без да разкрива самия полином.
KZG в Scaling Ethereum
Въпреки че съществуват различни схеми за ангажиране на полиноми, Kate-Zaverucha-Goldberg (KZG) е популярна в блокчейн пространството и се използва от системите за доказване на Scroll. KZG също така трябва да бъде интегрирана в Ethereum с Прото-Данкхардинг, който ще бъде реализиран чрез EIP-4844, предложен през февруари 2022 г.
Proto-Danksharding е временно решение, докато не бъде реализиран Danksharding, който може да направи по-евтино използването на ролкъпи. Proto-Danksharding въвежда нов тип трансакция, наречена „трансакция, носеща блоб“. Тези трансакции носят блок от данни с размер 128 kb, който не може да бъде достъпен от изпълнителния слой на Етериум. Вместо това от Етериум ще бъде достъпно само поемането на ангажимент към блоба с данни.
Блобът от данни се представя като полином и за създаването на ангажимент към данните се използва полиномната схема за ангажиране KZG. Това позволява да се проверят свойствата на блоба от данни, без да се разкрива целият блок от данни.
Поради това използването на KZG може да даде възможност за вземане на проби за наличност на данни (DAS), което ще бъде реализирано по пътя към пълното Danksharding. DAS по същество позволява на проверяващите да гарантират, че блокът с данни е наличен и правилен, без да се налага да четат целия блок с данни.
Това, от своя страна, може значително да помогне за повишаване на мащабируемостта на Етериум, тъй като валидаторите трябва да се справят с по-малко данни.
