Ethereum находится в процессе реализации KZG, полиномиальной схемы обязательств, которая может помочь масштабировать Ethereum.
Сделать доказательства нулевого знания (ZKP) «понятными и доступными» для людей необходимо для того, чтобы экосистема Ethereum оставалась «открытой и гостеприимной» для людей без математического образования, написал 26 октября в Твиттере соучредитель Ethereum Виталик Бутерин.
ZKPs часто называют «лунной математикой» из-за их сложности.
Я так рад, что в Ethereum такая сильная культура стремления сделать всю нашу лунную математику как можно более понятной и доступной для людей. https://t.co/o9n2Xms4Zw
— vitalik.eth (@VitalikButerin) Октябрь 26, 2022
Бутерин добавил: «Децентрализация требует НЕ сдаваться и не размахивать доктором наук, говоря: «Это черный ящик, мы умные, доверьтесь нам»».
Scroll, решение для масштабирования Ethereum уровня 2 с нулевым уровнем знаний, объяснил в блоге, как работают схемы полиномиальных обязательств, являющиеся важной частью нескольких ZKP, и как они могут помочь масштабировать Ethereum.
Полиномы — это математические выражения, которые представляют собой более двух алгебраических членов. Согласно блогу Scroll, полиномы могут помочь эффективно представлять большие данные.
Схема обязательств — это криптографический протокол, в котором человек берет на себя обязательство передать сообщение и держит его в тайне, но может раскрыть его позже. Однако тот, кто принимает обязательства, не может изменить сообщение после того, как он его принял, что делает схемы обязательств обязательными.
В полиномиальной схеме обязательств вместо сообщения дается полином. Схема полиномиальных обязательств отвечает всем свойствам обычных схем обязательств. Но у нее есть дополнительная особенность, которая позволяет тому, кто принимает обязательства, доказать, что он принял обязательства по определенному полиному, удовлетворяющему требуемым свойствам, не раскрывая самого полинома.
KZG в статье Масштабирование Ethereum
Хотя существуют различные схемы полиномиального обязательства, Kate-Zaverucha-Goldberg (KZG) популярна в пространстве блокчейна и используется в системах доказательства Scroll. KZG также должна быть интегрирована в Ethereum с Proto-Danksharding, которая будет реализована через EIP-4844, предложенный в феврале 2022 года.
Proto-Danksharding является промежуточным решением до тех пор, пока не будет реализован Danksharding, который может удешевить использование роллапов. Proto-Danksharding вводит новый тип транзакций под названием «транзакция с блобом данных». Эти транзакции несут блок данных размером 128 кб, к которому нельзя получить доступ с уровня исполнения Ethereum. Вместо этого из Ethereum будет доступно только обязательство по блоку данных.
Блок данных представлен в виде полинома, и для создания обязательств по данным используется полиномиальная схема обязательств KZG. Это позволяет проверить свойства блока данных без раскрытия всего блока данных.
Поэтому использование KZG может обеспечить выборку доступности данных (DAS), которая будет реализована на пути к полному Данкшардингу. DAS, по сути, позволяет проверяющим убедиться в том, что блок данных доступен и корректен, без необходимости читать весь блок данных.
Это, в свою очередь, может существенно помочь в повышении масштабируемости Ethereum, поскольку валидаторам приходится иметь дело с меньшим объемом данных.
