Исследователь рассказал о планах по трансформации Ethereum-транзакций

[TechnoLab]

В сети Ethereum происходит «тихая, но фундаментальная трансформация» в способе проверки блоков. Об этом заявил член Ethereum Foundation под псевдонимом ladislaus.

«Независимо от того, являетесь ли вы сторонником масштабирования, индивидуальным стекером, домашним валидатором или же приверженцем самопроверки — это будет будет иметь для вас значение», — отметил исследователь.

По его словам, Ethereum переходит от повторного выполнения всех транзакций на узлах к подтверждению корректности операций с помощью проверки доказательств zkEVM.


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


При этом объем работы валидаторов зависит от лимита газа — чем показатель выше, тем больше становятся требования к пропускной способности оператора.


Однако ladislaus видит иное решение: вместо повторения вычислений, узел проверяет криптографическое доказательство корректности действия.

«Именно это обеспечивают доказательства zkEVM — путь к значительному масштабированию выполнения L1 в долгосрочной перспективе», — добавил член Ethereum Foundation.

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

Принцип работы​

Разработчики сети планируют создать так называемый «конвейер» доказательств. ladislaus описал его механизм:

1. Клиент уровня исполнения (EL) создает ExecutionWitness — «самодостаточный» пакет данных, необходимых для проверки блока без хранения полного состояния.
2. Стандартизированная гостевая программа использует эту базу и проверяет переход состояния. zkVM выполняет запрос, а валидатор генерирует доказательство корректности.
3. Клиент уровня консенсуса (CL) проверяет это доказательство.

Таким образом появится новая категория участников сети — zkAttesters. Это клиенты CL, которые проверяют доказательства zkEVM вместо запуска полноценного EL.

Механизм работы ZK-доказательств. Источник: X/ladislaus.

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

Сегодня работа валидатора подразумевает одновременный запуск CL- и EL-клиента, причем последний является особенно ресурсоемкой частью. Хранение состояния, время обработки блоков, пропускная способность: все эти значения увеличиваются пропорционально лимиту газа.


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

«Возможно, наибольшую выгоду получат те, кто занимается индивидуальным стейкингом, и домашние валидаторы. Будучи zkAttesters, им больше не нужно запускать полный EL-тест, и они смогут синхронизировать данные за считанные минуты. Проверка доказательства заменяет повторное выполнение, и, соответственно, снижаются требования к оборудованию», — предположил он.

Описанные изменения планируется внедрить в рамках EIP-8025, которое входит в дорожную карту Ethereum на 2026 год.


Напомним, в феврале Виталик Бутерин описал будущий союз ИИ и Ethereum, подчеркнув необходимость в преследовании позитивного пути.