Ethereum хочет, чтобы домашние валидаторы проверяли доказательства, но реальность с 12 GPU создает новую угрозу

Исследователь Ethereum ladislaus.eth опубликовал на прошлой неделе руководство, объясняющее, как Ethereum планирует перейти от повторного выполнения каждой транзакции к проверке Доказательства с нулевым разглашением.

Пост представляет это как "тихую, но фундаментальную трансформацию", и такая формулировка точна. Не потому, что работа ведется тайно, а потому, что её последствия распространяются на всю архитектуру Ethereum способами, которые не будут очевидны, пока все части не соединятся.

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

Если это сработает, роль layer-1 Ethereum сместится от "расчета и доступности данных для Rollup" к "высокопроизводительному выполнению, проверка которого остается достаточно дешевой для домашних валидаторов".

Что фактически создается

EIP-8025 под названием "Optional Execution Proofs" появился в черновом виде и определяет механику.
Доказательства выполнения распространяются через одноранговую сеть консенсусного уровня по выделенной теме. Валидаторы могут работать в двух новых режимах: генерация доказательств или проверка без состояния.

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

Команда zkEVM Ethereum Foundation опубликовала конкретную дорожную карту на 2026 год 26 января, описывающую шесть подтем: стандартизация свидетельства выполнения и гостевой программы, стандартизация zkVM-guest API, интеграция консенсусного уровня, инфраструктура доказателя, бенчмаркинг и метрики, а также безопасность с формальной верификацией.

Первый звонок L1-zkEVM запланирован на 11 февраля в 15:00 UTC.

Сквозной конвейер работает следующим образом: клиент уровня выполнения создает ExecutionWitness, автономный пакет, содержащий все данные, необходимые для проверки блока без хранения полного состояния.

Стандартизированная гостевая программа потребляет это свидетельство и проверяет переход состояния. zkVM выполняет эту программу, и доказатель генерирует доказательство правильного выполнения. Затем клиент консенсусного уровня проверяет это доказательство вместо вызова клиента уровня выполнения для повторного выполнения.

Ключевой зависимостью является ePBS (Enshrined Proposer-Builder Separation), ориентированный на предстоящий Харфорк Glamsterdam. Без ePBS окно доказательства составляет примерно от одной до двух секунд, что слишком мало для доказательства в реальном времени. С ePBS, обеспечивающим конвейеризацию блоков, окно расширяется до шести-девяти секунд.

Диаграмма показывает, что ePBS расширяет окно доказательства Ethereum с 1-2 секунд до 6-9 секунд, делая генерацию доказательств в реальном времени осуществимой по сравнению с текущим средним временем доказательства в семь секунд, требующим 12 GPU.

Компромисс децентрализации

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

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

Однако доказательство несет собственный риск централизации. Пост Ethereum Research от 2 февраля сообщает, что доказательство полного блока Ethereum в настоящее время требует примерно 12 GPU и занимает в среднем 7 секунд.

Автор отмечает опасения по поводу централизации и отмечает, что лимиты остаются трудными для прогнозирования. Если доказательство останется GPU-интенсивным и сосредоточится в сетях строителей или доказателей, Ethereum может обменять "все повторно выполняют" на "немногие доказывают, многие проверяют".

Дизайн направлен на решение этой проблемы путем введения разнообразия клиентов на уровне доказательства. Рабочее предположение EIP-8025 - это порог три из пяти, что означает, что аттестатор принимает выполнение блока как действительное после того, как он проверил три из пяти независимых доказательств от разных реализаций клиентов уровня выполнения.

Это сохраняет разнообразие клиентов на уровне протокола, но не решает проблему доступа к оборудованию.

Самая честная формулировка заключается в том, что Ethereum смещает поле битвы за децентрализацию. Сегодняшнее ограничение - "можете ли вы позволить себе запустить клиент уровня выполнения?" Завтрашнее может быть "можете ли вы получить доступ к кластерам GPU или сетям доказателей?"

Ставка заключается в том, что проверку доказательств легче превратить в товар, чем хранение состояния и повторное выполнение, но вопрос оборудования остается открытым.

Разблокировка масштабирования L1

Дорожная карта Ethereum, последний раз обновленная 5 февраля, перечисляет "Statelessness" как основную тему обновления: проверка блоков без хранения большого состояния.

Опциональные доказательства выполнения и свидетельства являются конкретным механизмом, который делает проверку без состояния практичной. Узел без состояния требует только клиент консенсуса и проверяет доказательства во время обработки полезной нагрузки.

Синхронизация сводится к загрузке доказательств для последних блоков с момента последней контрольной точки финализации.

Это важно для лимитов газа. Сегодня каждое увеличение лимита газа усложняет запуск узла. Если валидаторы могут проверять доказательства, а не повторно выполнять, стоимость проверки больше не масштабируется с лимитом газа. Сложность выполнения и стоимость валидации разделяются.

Рабочий поток бенчмаркинга и переоценки в дорожной карте 2026 года явно нацелен на метрики, которые отображают потребляемый газ на циклы доказательства и время доказательства.

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

Что это означает для блокчейнов layer-2

Недавний пост Виталика Бутерина утверждает, что блокчейны layer-2 должны дифференцироваться за пределами масштабирования и явно связывает ценность "нативного прекомпиляции Rollup" с необходимостью закрепленных zkEVM доказательств, которые Ethereum уже нужны для масштабирования layer-1.

Логика проста: если все валидаторы проверяют доказательства выполнения, те же доказательства могут также использоваться прекомпиляцией EXECUTE для нативных Rollup. Инфраструктура доказательства Layer-1 становится общей инфраструктурой.

Это смещает ценностное предложение layer-2. Если layer-1 может масштабироваться до высокой пропускной способности при сохранении низких затрат на проверку, Rollup не могут оправдать себя на основании "Ethereum не справляется с нагрузкой".

Новые оси дифференциации - это специализированные виртуальные машины, сверхнизкая задержка, предподтверждения и модели компонуемости, такие как Rollup, которые опираются на конструкции с быстрым доказательством.

Сценарий, при котором layer-2 остаются актуальными, - это сценарий, в котором роли разделены между специализацией и совместимостью блокчейна.

Layer-1 становится высокопроизводительным, с низкой стоимостью проверки уровнем выполнения и расчета. Layer-2 становятся лабораториями функций, оптимизаторами задержки и мостами компонуемости.

Однако это требует от команд layer-2 формулировать новые ценностные предложения, а от Ethereum - выполнять дорожную карту проверки доказательств.

Три пути вперед

В будущем существует три потенциальных сценария.

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

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

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

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

Третий сценарий - это когда проверка доказательств layer-1 становится общей инфраструктурой. Если интеграция консенсусного уровня затвердеет и ePBS обеспечит расширенное окно доказательства, тогда ценностное предложение Layer 2 склоняется к специализированным VM, сверхнизкой задержке и новым моделям компонуемости, а не только к "масштабированию Ethereum".

Этот путь требует, чтобы ePBS был выпущен по графику для Glamsterdam.

Сценарий	Что должно быть верным (технические предварительные условия)	Что ломается / основной риск	Что улучшается (децентрализация, лимиты газа, время синхронизации)	Результат роли L1 (пропускная способность выполнения против стоимости проверки)	Последствия для L2 (новая ось дифференциации)	Сигнал "На что обратить внимание"
Проверка с приоритетом доказательств становится обычным явлением	Execution Witness + стандарты гостевой программы сходятся; zkVM/guest API стандартизируется; путь проверки доказательств CL стабилен; доказательства надежно распространяются на P2P; приемлемая семантика порога множественных доказательств (например, 3 из 5)	Доступность / задержка доказательств становится новой зависимостью; ошибки проверки становятся чувствительными к консенсусу если/когда на них полагаются; несоответствие между клиентами/доказателями	Домашние валидаторы могут подтверждать без состояния EL; время синхронизации падает (доказательства с контрольной точки финализации); увеличение лимита газа становится проще, потому что стоимость проверки отделяется от сложности выполнения	L1 смещается к выполнению с более высокой пропускной способностью с постоянной стоимостью проверки для многих валидаторов	L2 должны оправдать себя за пределами "L1 не может масштабироваться": специализированные VM, выполнение для конкретных приложений, пользовательские модели комиссий, конфиденциальность и т. д.	Укрепление спецификации/тестовых векторов; переносимость свидетельства/гостя между клиентами; стабильная передача доказательств + обработка сбоев; кривые бенчмарка (газ → циклы/время доказательства)
Централизация доказателя становится узким местом	Генерация доказательств остается GPU-интенсивной; рынок доказательств консолидируется (строители / сети доказателей); ограниченное доказательство "гаражного масштаба"; жизнеспособность зависит от небольшого набора сложных доказателей	"Немногие доказывают, многие проверяют" концентрирует власть; динамика цензуры / MEV усиливается; сбои доказателей создают стресс жизнеспособности/финальности; географический / регуляторный риск концентрации	Валидаторы все еще могут проверять дешево, но децентрализация смещается: более легкое подтверждение, более сложное доказательство; некоторый запас лимита газа, но ограниченный экономикой доказателя	L1 становится масштабируемым для выполнения в теории, но практически ограничен мощностью доказателя и рыночной структурой	L2 могут склоняться к базовым / предподтвержденным дизайнам, альтернативным системам доказательства или гарантиям задержки - потенциально увеличивая зависимость от привилегированных участников	Тенденции стоимости доказательства (требования к оборудованию, время на блок); метрики разнообразия доказателей; стимулы для распределенного доказательства; учения режима отказа (что происходит, когда доказательства отсутствуют?)
Проверка доказательств L1 становится общей инфраструктурой	Интеграция CL "затвердевает"; доказательства становятся широко производимыми / потребляемыми; ePBS поставляется и обеспечивает работоспособное окно доказательства; интерфейсы позволяют повторное использование (например, прекомпиляция в стиле EXECUTE / хуки нативного Rollup)	Риск межобластной связи: если инфраструктура доказательства L1 напряжена, пути проверки Rollup также могут пострадать; сложность / поверхность атаки расширяется	Общая инфраструктура снижает дублирование усилий по доказательству; улучшает совместимость блокчейна; более предсказуемые затраты на проверку; более четкий путь к более высокой пропускной способности L1 без вытеснения валидаторов	L1 превращается в уровень выполнения и расчета с проверкой доказательств, который также может проверять Rollup нативно	L2 поворачиваются к задержке (preconfs), специализированным средам выполнения и компонуемым моделям (например, конструкции с быстрым доказательством / синхронными) вместо "только масштабирования"	Прогресс ePBS / Glamsterdam; демонстрации сквозного конвейера (свидетельство → доказательство → проверка CL); бенчмарки + возможная переоценка газа; развертывание минимально жизнеспособной семантики распределения доказательств и мониторинг

Общая картина

Зрелость интеграции спецификаций консенсуса будет сигнализировать о том, переходят ли "опциональные доказательства" от в основном TODO к укрепленным тестовым векторам.

Стандартизация ExecutionWitness и гостевой программы является краеугольным камнем для переносимости проверки без состояния между клиентами. Бенчмарки, которые отображают потребляемый газ на циклы доказательства и время доказательства, определят, осуществима ли переоценка газа для ZK-дружественности.

Прогресс ePBS и Glamsterdam покажет, станет ли окно доказательства от шести до девяти секунд реальностью. Результаты отдельных звонков покажут, сходятся ли рабочие группы на интерфейсах и минимально жизнеспособной семантике распределения доказательств.

Ethereum не переходит на проверку на основе доказательств в ближайшее время. EIP-8025 явно заявляет, что он "еще не может основывать обновления на этом", и опциональное обрамление является намеренным. В результате это тестируемый путь, а не неизбежная активация.

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

Трансформация тихая, потому что она не включает драматические изменения экономики токенов или пользовательских функций. Но она фундаментальна, потому что переписывает отношения между сложностью выполнения и стоимостью валидации.

Если Ethereum сможет разделить эти два аспекта, layer-1 больше не будет узким местом, которое заставляет все интересное переходить на layer-2.

И если проверка доказательств layer-1 станет общей инфраструктурой, всей экосистеме layer-2 нужно будет ответить на более сложный вопрос: что вы строите, чего не может layer-1?

Пост Ethereum хочет, чтобы домашние валидаторы проверяли доказательства, но реальность 12 GPU создает новую угрозу впервые появился на CryptoSlate.