Зробити докази з нульовим знанням (ZKP) «зрозумілими та доступними» для людей необхідно, щоб зберегти екосистему Ethereum «відкритою та гостинною» для людей без диплома математика, написав співзасновник Ethereum Віталік Бутерін у Twitter 26 жовтня.
ЗКП часто називають «місячною математикою» через їхню складність.
Я дуже радий, що Ethereum має таку сильну культуру, яка намагається зробити всю нашу місячну математику максимально зрозумілою та доступною для людей. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Жовтень 26, 2022
Бутерін додав, що «децентралізація вимагає НЕ здаватися і махати докторським ступенем, кажучи: «Це чорний ящик, ми розумні, повірте нам».»
Scroll, рішення для масштабування рівня 2 Ethereum із нульовим знанням, пояснене в блозі як працюють поліноміальні схеми зобов’язань, критична частина кількох ZKP, і як вони можуть допомогти масштабувати Ethereum.
Поліноми — це математичні вирази, які представляють більше двох алгебраїчних термінів. Відповідно до блогу Scroll, поліноми можуть допомогти ефективно представити великі дані.
Схема зобов’язань — це криптографічний протокол, у якому користувач зобов’язується до повідомлення та зберігає його прихованим, але може розкрити повідомлення пізніше. Однак комітер не може змінити повідомлення після того, як він прийняв його, що робить схеми зобов’язань обов’язковими.
У поліноміальній схемі зобов’язань замість повідомлення виконується поліном. Поліноміальна схема зобов'язань відповідає всім властивостям нормальних схем зобов'язань. Але він має додаткову функцію, яка дозволяє комітерові довести, що він взяв певний поліном, який задовольняє необхідні властивості, не розкриваючи сам поліном.
KZG у масштабуванні Ethereum
Хоча існують різні поліноміальні схеми зобов’язань, Кейт-Заверуча-Голдберг (KZG) популярний у просторі блокчейнів і використовується системами перевірки Scroll. KZG також має бути інтегрований в Ethereum за допомогою Proto-Danksharding, який буде реалізовано через ЕІП-4844, який був запропонований у лютому 2022 року.
Proto-Danksharding — це тимчасове рішення, поки не буде впроваджено Danksharding, яке може здешевити використання зведених пакетів. Proto-Danksharding представляє новий тип транзакцій під назвою «транзакція з переносом блобів». Ці транзакції містять блок даних розміром 128 Кб, до якого неможливо отримати доступ із рівня виконання Ethereum. Натомість з Ethereum буде доступна лише прихильність блоку даних.
Блок даних представляється як поліном, а поліноміальна схема зобов’язання KZG використовується для створення зобов’язання щодо даних. Це дозволяє перевірити властивості блоку даних, не розкриваючи весь блок даних.
Таким чином, використання KZG може увімкнути вибірку доступності даних (DAS), яка буде реалізована на шляху до повного Danksharding. DAS, по суті, дає змогу перевіряльникам переконатися, що блок даних доступний і правильний, без необхідності читати весь блок даних.
Це, у свою чергу, може суттєво допомогти з підвищенням масштабованості Ethereum, оскільки валідаторам потрібно працювати з меншою кількістю даних.
Джерело: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/