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

Доверенный редакционный контент, проверенный ведущими отраслевыми экспертами и опытными редакторами. Раскрытие рекламы Фонд Ethereum опубликовал пошаговый план, позволяющий основной цепочке Ethereum проверять блоки с помощью zkEVM доказательств, что снижает необходимость для валидаторов повторно выполнять каждое вычисление самостоятельно. Предложение, опубликованное 15 января в X Томаz K. Stańczak, соисполнительным директором Ethereum Foundation, описывает инженерные работы, необходимые для Ethereum’s execution и consensus клиентов, а также новую инфраструктуру доказательств и процессы безопасности.

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

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

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

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

Связанное чтение: Ethereum получает институциональную поддержку, хотя прогноз цены ETH остается спорным. Важной зависимостью является добавление лучшего отслеживания частей состояния, к которым касается блок, через Block Level Access Lists (BALs). В документе говорится, что по состоянию на ноябрь 2025 года эта работа не считалась достаточно срочной для обратной совместимости с более ранними форками.

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

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

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

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

Связанное чтение: Деньги из Ivy League покупают Bitcoin и Ethereum: Dartmouth раскрывает IBIT, ETH Mini Stakes. Бенчмаркинг рассматривается как непрерывная работа с четкими целями, такими как измерение времени генерации свидетелей, времени создания и проверки доказательств, а также влияния распространения доказательств на сеть. Эти измерения могут стать основой для будущих предложений по переоценке газа для zk-нагруженных задач.

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

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

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

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

ETH сталкивается с 0.618 Фиб, недельный график | Источник: ETHUSDT на TradingView.comИзображение в статье создано с помощью DALL.E, график — с TradingView.com Редакционный процесс для bitcoinist сосредоточен на предоставлении тщательно исследованного, точного и беспристрастного контента. Мы придерживаемся строгих стандартов источников, и каждая страница проходит тщательную проверку командой ведущих технологических экспертов и опытных редакторов. Этот процесс обеспечивает целостность, актуальность и ценность нашего контента для наших читателей.