11 февраля разработчики и исследователи Ethereum [ETH] соберутся на первый воркшоп L1-zkEVM. Это событие может предварить будущее, в котором проверка блоков Ethereum станет быстрее, легче и доступнее.
Дорожная карта: L1-zkEVM и EIP-8025
Эта инициатива является частью дорожной карты L1-zkEVM Ethereum на 2026 год. Её ключевая особенность, EIP-8025 (также известная как Опциональные доказательства выполнения), вводит новый путь валидации.
Вместо того чтобы требовать от каждого валидатора повторного запуска (или «повторного выполнения») всех транзакций внутри блока, система позволит специализированным участникам, называемым zkAttesters, проверять блоки с использованием доказательств с нулевым разглашением (ZK-доказательств).
Важно отметить, что это обновление является опциональным. Узлы, которые его не применят, продолжат работать точно так же, как и сегодня.
Почему это важно?
В настоящее время валидаторы Ethereum должны повторно выполнять каждую транзакцию в каждом блоке для подтверждения корректности. По мере роста сетевой активности это становится ресурсоемким.
ZK-доказательства меняют эту динамику. Вместо повторения всех вычислений валидаторы могут проверить криптографическое доказательство, подтверждающее валидность блока. Проверка становится значительно быстрее и легче для аппаратного обеспечения.
Более низкие требования к хранилищу, пропускной способности и вычислительным мощностям могут снова сделать возможным запуск полностью проверяющего узла на потребительских ноутбуках.
Если участие станет дешевле и доступнее, solo-стейкеры и домашние валидаторы смогут оставаться конкурентоспособными, даже несмотря на увеличение лимитов газа и объема вывода.
Безопасность, архитектура и общая картина
С EIP-8025 блоки будут приниматься только после проверки нескольких независимых доказательств (в настоящее время предлагается три из пяти). Это сохраняет разнообразие клиентов и снижает зависимость от какой-либо одной реализации.
В заявлении говорится:
Работа разделена на шесть подтем: стандартизация свидетелей выполнения и гостевой программы, стандартизация API zkVM-guest, интеграция CL, инфраструктура доказывателей, бенчмаркинг и метрики, а также безопасность с формальной верификацией.
Помимо L1, это движение может стандартизировать свидетелей выполнения и интерфейсы zkVM. Это принесет пользу роллапам и поставщикам инфраструктуры доказательств, уже работающим над доказательствами блоков Ethereum.
Заключительные мысли
- EIP-8025 может сделать проверку блоков Ethereum достаточно быстрой и легкой для запуска на ноутбуках.
- Ethereum эффективно повысит безопасность, одновременно масштабируя базовый уровень.
