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

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

Резюме

• Виталик Бутерин представляет GKR, протокол для более быстрой агрегации доказательств.
• GKR улучшает эффективность для ZK и роллап-систем Ethereum.
• Это шаг к «Легкому» и квантово-защищенному видению Ethereum на 2025 год.

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

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

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

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

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

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

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

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

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

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