В сети Ethereum происходит тихая, но фундаментальная трансформация способа проверки блоков. Как отметил представитель Ethereum Foundation, известный под псевдонимом ladislaus, «независимо от того, являетесь ли вы сторонником масштабирования, индивидуальным стекером, домашним валидатором или приверженцем самопроверки - это будет иметь для вас значение».
По ladislaus, Ethereum переходит от повторного выполнения каждой транзакции на узлах к подтверждению корректности операций с помощью доказательств zkEVM. На данный момент каждая нода, желающая удостовериться в правомерности блока, вынуждена повторно выполнять все транзакции. В результате все узлы делают одни и те же вычисления многократно, а нагрузка валидаторов растёт пропорционально лимиту газа - чем выше показатель, тем выше требования к пропускной способности оператора.
Путь к масштабированию L1: доказательства zkEVM
Ladislaus видит иной подход: вместо повторного вычисления узел проверяет криптографическое доказательство корректности действия. «Именно это обеспечивают доказательства zkEVM - путь к значительному масштабированию выполнения L1 в долгосрочной перспективе», - добавил он.
Как будет работать система доказательств
- Клиент уровня исполнения (EL) создаёт ExecutionWitness - самодостаточный пакет данных, достаточный для проверки блока без хранения полного состояния.
- Стандартизированная гостевая программа использует эту базу и проверяет переход состояния.
- zkVM выполняет запрос, а валидатор генерирует доказательство корректности.
- Клиент уровня консенсуса (CL) проверяет это доказательство.
Таким образом появляется новая категория участников сети - zkAttesters. Это клиенты CL, которые проверяют доказательства zkEVM вместо запуска полноценного EL.
Преимущества для индивидуальных стейкеров
Синхронизация сводится к загрузке доказательств для последних блоков с момента последней контрольной точки финализации. Текущая работа валидатора подразумевает одновременный запуск CL- и EL-клиента, причем EL является особенно ресурсоёмкой частью. Хранение состояния, время обработки блоков, пропускная способность - всё это растёт пропорционально лимиту газа.
Если заменить повторное выполнение проверкой доказательств, можно существенно снизить требования к оборудованию для участия в консенсусе. «Возможно, наибольшую выгоду получат те, кто занимается индивидуальным стейкингом и домашние валидаторы. Будучи zkAttesters, им больше не нужно запускать полный EL-тест, и они смогут синхронизировать данные за считанные минуты», - предположил ladislaus.
Внедрение и перспективы
Планируемые изменения будут реализованы в рамках EIP-8025, включённого в дорожную карту Ethereum на 2026 год. В феврале Виталик Бутерин описал будущий союз ИИ и Ethereum, подчёркнув необходимость преследования позитивного пути.