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