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