Ethereum готовится валидировать блоки без их выполнения – вот как это будет работать

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

Эта работа входит в дорожную карту Layer-1 Ethereum на 2026 год и представляет структурное изменение в достижении консенсуса, а не новую функцию масштабирования, добавленную по краям.

Предложение стало публичным после того, как член Ethereum Foundation, известный как ladislaus.eth, обозначил прогресс в направлении дизайна L1-zkEVM. Изменение не влияет на то, как создаются блоки или что пользователи отправляют в сеть. Вместо этого оно меняет то, как валидаторы решают, является ли блок валидным. Первый семинар L1-zkEVM запланирован на 16:00, 11 февраля 2026 года (МСК), что знаменует формальное начало координации вокруг этих усилий.

От полного повторного выполнения к верификации доказательств

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

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

Как работает конвейер L1-zkEVM

В текущем дизайне клиент выполнения производит Execution Witness, автономный пакет данных, достаточный для валидации перехода состояния блока без хранения полного состояния выполнения. Стандартизированная гостевая программа использует этот witness и проверяет корректность выполнения. zkVM запускает эту программу и генерирует доказательство, подтверждающее, что выполнение следовало правилам Ethereum.

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

Этот механизм формализован в EIP-8025 (Optional Execution Proofs). Предложение не требует хард-форка и не заставляет валидаторов принимать валидацию на основе доказательств. Он добавляет параллельный путь верификации наряду с повторным выполнением.

Интеграция консенсуса и разнообразие клиентов

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

Текущее рабочее предположение — порог 3 из 5. Выполнение блока принимается после того, как три из пяти независимых доказательств успешно верифицированы. Этот порог может изменяться, но намерение ясно: сохранить разнообразие клиентов выполнения, допуская валидацию на основе доказательств. Разнообразие остается функцией на уровне протокола, а не операционным выбором.

Почему это важно для валидаторов

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

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

Последствия выходят за рамки аттестеров. Поскольку доказательства zkEVM не зависят от состояния, верификация Ethereum локально на потребительском оборудовании снова становится более доступной. Принцип «не доверяй, проверяй» усиливается, а не ослабляется.

Зависимости и временные ограничения

Важна одна предпосылка. Генерация доказательств требует времени, и без конвейеризации окно слишком узкое. Здесь становится актуальным ePBS (Enshrined Proposer-Builder Separation). Запланированный для предстоящего хард-форка Glamsterdam, ePBS расширяет окно доказательства примерно с одной-двух секунд до шести-девяти секунд. Это расширение делает генерацию доказательства в одном слоте гораздо более реалистичной.

Без ePBS верификация доказательств L1 остается ограниченной. С ним дизайн становится операционно жизнеспособным.

На кого это влияет

Команды клиентов уровня выполнения получают новую поверхность для доказательств, при этом каждый клиент становится потенциальным источником доказательств. Дизайн доказателя остается открытым вопросом. Концентрация доказательства в небольшом наборе сложных строителей вносит риски живучести, в то время как полностью распределенное доказательство повышает проблемы производительности и координации. Цель дизайна явная: доказательство должно оставаться жизнеспособным за пределами крупных дата-центров.

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

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

Текущий статус

EIP-8025 вошел в ветку функций consensus-specs и продвигается к статусу предложения. Дорожная карта L1-zkEVM на 2026 год теперь публична, структурированная по стандартизации Execution Witness, интерфейсам zkVM, интеграции консенсуса, инфраструктуре доказателя, бенчмаркингу и формальной верификации безопасности.

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

Пост Ethereum готовится валидировать блоки без их выполнения – вот как впервые появился на ETHNews.