Ethereum Foundation определяет путь к zkEVM-доказательствам на основной сети L1

Фонд Ethereum опубликовал пошаговый план, позволяющий основной сети Ethereum валидировать блоки с использованием доказательств zkEVM, снижая необходимость для валидаторов повторно выполнять каждое вычисление самостоятельно. Предложение, опубликованное в X 15 января Томашем К. Станчаком, со-исполнительным директором Фонда Ethereum, описывает инженерную работу, необходимую для клиентов исполнения и консенсуса Ethereum, а также новую инфраструктуру доказательства и процессы безопасности.

Ethereum L1 движется к валидации на основе zk-доказательств

Еще в июле прошлого года Фонд Ethereum объявил о подходе "zk-first". Сегодня валидаторы Ethereum обычно проверяют блок путем повторного выполнения транзакций и сравнения результатов. План предлагает альтернативу: валидаторы могли бы проверять криптографическое доказательство того, что выполнение блока было корректным.

Документ описывает предполагаемый процесс простыми словами: клиент исполнения создает компактный пакет "witness" для блока, стандартизированная программа zkEVM использует этот пакет для генерации доказательства корректного выполнения, а клиенты консенсуса проверяют это доказательство во время валидации блока.

Первая веха — создание "ExecutionWitness", структуры данных для каждого блока, содержащей информацию, необходимую для валидации выполнения без его повторного запуска. План предусматривает формальный формат witness в спецификациях исполнения Ethereum, тесты на соответствие и стандартизированную конечную точку RPC. Отмечается, что текущая конечная точка debug_executionWitness уже "используется в производстве Kona от Optimism", при этом предполагается, что может потребоваться более zk-ориентированная конечная точка.

Ключевая зависимость — добавление улучшенного отслеживания того, каких частей состояния касается блок, через списки доступа уровня блока (BALs). Документ указывает, что по состоянию на ноябрь 2025 года эта работа не рассматривалась как достаточно срочная для переноса в более ранние форки.

Следующая веха — "гостевая программа zkEVM", описанная как логика валидации без состояния, которая проверяет, производит ли блок действительный переход состояния в сочетании с его witness. План подчеркивает воспроизводимые сборки и компиляцию в стандартизированные цели, чтобы предположения были явными и проверяемыми.

Помимо кода, специфичного для Ethereum, план направлен на стандартизацию интерфейса между zkVM и гостевой программой: общие цели, общие способы доступа к предварительным компиляциям и вводу-выводу, а также согласованные предположения о том, как программы загружаются и выполняются.

Со стороны консенсуса дорожная карта предусматривает изменения, чтобы клиенты консенсуса могли принимать zk-доказательства как часть валидации блока маяка, с сопутствующими спецификациями, тестовыми векторами и внутренним планом развертывания. Документ также отмечает доступность полезной нагрузки исполнения как важную, включая подход, который может включать "размещение блока в blob-объектах".

Предложение рассматривает генерацию доказательств как операционную проблему в той же степени, что и проблему протокола. Оно включает вехи для интеграции zkVM в инструменты EF, такие как Ethproofs и Ere, тестирование настроек GPU (включая "zkboost") и отслеживание надежности и узких мест.

Бенчмаркинг представлен как текущая работа с явными целями, такими как измерение времени генерации witness, времени создания и верификации доказательств, а также влияния на сеть распространения доказательств. Эти измерения могут лечь в основу будущих предложений по переоценке gas для рабочих нагрузок с интенсивным использованием zk.

Безопасность также отмечена как постоянная, с планами формальных спецификаций, мониторинга, контроля цепочки поставок, такого как воспроизводимые сборки и подписание артефактов, а также задокументированной модели доверия и угроз. Документ предлагает "структуру go/no-go" для принятия решения о том, когда системы доказательств достаточно зрелы для более широкого использования.

Выделяется одна внешняя зависимость: ePBS, которая, как описано в документе, необходима для предоставления доказателям большего времени. Без нее, как говорится в плане, у доказателя есть "1–2 секунды" для создания доказательства; с ней — "6–9 секунд". Документ добавляет формулировку из двух предложений, которая передает срочность: "Это не проект, над которым мы работаем. Однако это оптимизация, которая нам нужна". Ожидается, что ePBS будет развернут в "Glamsterdam", запланированный на середину 2026 года.

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

На момент публикации ETH торговался по $3 300.