Соучредитель Ethereum Виталик Бутерин представил протокол GKR для более быстрых систем доказательств

Виталик Бутерин поделился новыми исследованиями, которые могут изменить подход Ethereum к верификации доказательств и масштабируемости в ближайшие годы.

Виталик Бутерин представил протокол GKR — революционную систему доказательств, разработанную для ускорения и повышения эффективности вычислений с нулевым разглашением.

Опубликованный 20 октября в его личном блоге vitalik.eth.limo, новый туториал Бутерина подробно описывает протокол Goldwasser–Kalai–Rothblum. Этот рекурсивный метод агрегации доказательств способен полностью изменить подход Ethereum (ETH) к масштабированию и верификации.

Протокол GKR и будущее эффективности доказательств

Фреймворк GKR верифицирует большие вычисления с минимальной нагрузкой на блокчейн, упрощая сложные криптографические доказательства. Бутерин описывает, как GKR обрабатывает доказательства за логарифмическое время без необходимости в дорогостоящих промежуточных коммитментах, что делает его гораздо более эффективным по сравнению с традиционными системами ZK-SNARK или STARK.

В своей публикации Бутерин благодарит Льва Суханова, Чжэньфэя Чжана и Зака Уильямсона за их отзывы и рецензии, подчеркивая, что основная сила GKR заключается в его масштабируемости. «Это естественное решение для доказательства больших партий хэшей и вычислений в стиле нейронных сетей», — написал он, отмечая его пригодность как для блокчейна, так и для AI-нагрузок.

Благодаря особенностям протокола, провайдеры доказательств могут опускать коммитменты на промежуточных этапах, что снижает стоимость и вычислительную нагрузку. Хотя сам GKR не является системой с нулевым разглашением, его можно обернуть в слои ZK-SNARK или STARK для обеспечения приватности, сочетая лаконичность с конфиденциальностью.

Ключевой элемент в дорожной карте Ethereum

GKR соответствует более широкой концепции Бутерина «Lean Ethereum» — упрощенного и квантово-устойчивого дизайна сети. Он напрямую поддерживает переход Ethereum к более быстрой финальности, агрегации доказательств для rollups и масштабируемости на основе нулевого разглашения.

Этот релиз следует за несколькими связанными инициативами Бутерина, такими как предложения по продвинутым инструментам взаимодействия между сетями второго уровня, частично статлес-клиентам для минимизации хранения узлов и управлению на основе ZK. Вместе они нацелены на повышение эффективности, приватности и доступности Ethereum.

Криптографическая основа Ethereum может стать легче и быстрее по мере того, как разработчики начнут экспериментировать с системами на базе GKR, что поможет реализовать долгосрочную цель Бутерина — масштабируемые и верифицированные вычисления.