ZKsync сообщила, что её Airbender Prime создаёт ZK-доказательства для большинства протестированных блоков Ethereum менее чем за десять секунд на одной видеокарте. Виталик Бутерин предложил следующий критерий: формально установить предел вычислительных затрат, включая самые сложные блоки, которые допускают правила сети.
Проверить тысячи последовательных блоков и гарантировать предсказуемую нагрузку для любого допустимого блока — разные задачи. Именно от второй зависит, какое оборудование потребуется оператору доказательств и сможет ли он стабильно укладываться в отведённое время.
Я бы сразу разделил два значения слова «стоимость». Здесь обсуждаются прежде всего вычислительные ресурсы для создания доказательства. Их ограничение само по себе ещё не определяет комиссию пользователя в ETH.
Что показала ZKsync Airbender Prime
13 октября 2026 года ZKsync представила Airbender Prime — систему генерации доказательств корректности выполнения блоков Ethereum. В опубликованной командой оценке использовалась одна NVIDIA RTX PRO 6000 Blackwell.
| Параметр | Результат ZKsync |
|---|---|
| Выборка | 7200 последовательных блоков основной сети Ethereum |
| Основная конфигурация | Одна NVIDIA RTX PRO 6000 Blackwell |
| 99% блоков | Доказательство менее чем за 10 секунд |
| Все блоки выборки | Доказательство менее чем за 12 секунд |
| Подготовка witness — данных для построения доказательства | Включена в указанное время |
| Дополнительные конфигурации | Две и четыре GPU |
Это результаты испытаний самой ZKsync на конкретном оборудовании и наборе блоков. Они показывают достигнутую производительность, но не устанавливают максимальное время обработки любой возможной комбинации допустимых операций.
Различие принципиальное. Обычный блок может быстро обрабатываться на выбранной конфигурации, тогда как специально составленный сложный блок потребует заметно больше ресурсов, оставаясь в пределах правил Ethereum.
Три требования Бутерина к zkEVM
15 октября Бутерин поздравил команду Airbender и предложил перенести главный акцент со скорости на безопасность. Для zkEVM — систем доказательства исполнения Ethereum — он выделил три задачи формальной проверки:
- Соответствие спецификации Ethereum. Математическое представление исполнения должно точно отражать правила сети.
- Верхняя граница вычислительных затрат. Отношение стоимости генерации доказательства к количеству газа в блоке должно иметь строгий максимальный предел.
- Безопасность системы доказательств. Её криптографические гарантии должны быть обоснованы в рамках явно заданных предпосылок.
Формальная проверка означает математическое обоснование свойства, а не только успешное прохождение тестов. Поэтому даже большая выборка быстрых доказательств не заменяет доказательства верхней границы нагрузки.
В более широкой перспективе это связано с переходом к проверке корректности вычислений без обязательного повторения всей работы каждым проверяющим. Общий масштаб перестройки протокола рассмотрен в материале о плане Lean Ethereum.
Почему обычный gas не описывает всю ZK-нагрузку
Gas — единица учёта работы в Ethereum. У операций виртуальной машины EVM есть установленные газовые тарифы, а у блока — ограниченный бюджет. Но выполнение операции и создание криптографического доказательства её корректности нагружают оборудование по-разному.
Операция может относительно быстро выполняться обычным клиентом и при этом требовать значительных вычислений от системы доказательств. Поэтому одинаковый расход газа не гарантирует одинакового времени генерации ZK-доказательства.
Это объясняет, почему EIP-7904 — анализ вычислительных газовых затрат не закрывает вопрос Бутерина. Текущая версия документа оценивает выполнение операций на CPU при целевой производительности 100 млн gas в секунду.
С учётом оптимизаций клиентов, связанных со списками доступа на уровне блока из EIP-7928, авторы EIP-7904 пришли к выводу: рассмотренные операции не требуют повышения газовой стоимости. Документ рекомендует оставить действующие тарифы без изменений.
При этом EIP-7904 прямо указывает, что отдельно не рассматривает специфические требования генерации ZK-SNARK. Вывод о достаточности тарифов для выполнения на CPU нельзя автоматически переносить на системы доказательств.
На 19 октября EIP-7904 имеет информационный статус и находится на этапе Last Call с окончанием обсуждения 1 ноября 2026 года. Эта дата не является сроком запуска нового тарифа. Сам документ не вводит изменений протокола.
Показатель 100 млн gas в секунду также не следует путать с бюджетом одного блока. Например, отдельная история об испытании лимита 200 млн gas в Hoodi касается газа на блок, а не производительности генерации доказательств.
Что обнаружили исследователи Nethermind
27 января 2026 года исследователь Nethermind Research Лин Оситани опубликовал измерения времени доказательства отдельных операций EVM. Он менял количество выбранной инструкции, сохраняя остальное окружение, чтобы оценить её дополнительную нагрузку.
В испытаниях использовались SP1 v5.2.3 с sp1-cluster, RISC0 v3.0.4, клиент reth v1.9.3 и четыре NVIDIA GeForce RTX 4090. Для RISC0 применялся параметр RISC0_KECCAK_PO2=15.
Относительно расходуемого газа дорогими оказались некоторые встроенные криптографические функции, называемые прекомпиляциями, а также инструкции деления и модульной арифметики. Результаты различались между системами доказательств.
Простого подсчёта ZK-циклов тоже оказалось недостаточно для универсальной оценки времени. Количество вычислительных шагов связано со временем внутри одной операции, но соотношение меняется между разными операциями и реализациями.
У исследования есть существенные границы: тесты выполнялись без проверки заголовков блоков, BLOCKHASH случайно не вошёл в опубликованный прогон, а полный перебор влияния входных аргументов оставлен для дальнейшей работы. Поэтому измерения полезны для поиска проблемных операций, но не дают готовой гарантии для всех допустимых блоков.
Как можно ограничить затраты на доказательства
В обсуждении есть несколько инженерных подходов. Они воздействуют на разные части системы и могут сочетаться.
| Подход | Что меняется | Главное ограничение |
|---|---|---|
| Оптимизация системы доказательств | Для той же операции требуется меньше вычислений | Эффект зависит от реализации; газ транзакции может остаться прежним |
| Отдельный учёт ZK-gas | Нагрузка доказательства учитывается в собственном бюджете блока | Нужна модель, которая корректно оценивает и сложные входные данные |
| Пересмотр газовых тарифов EVM | Дорогие для доказательства операции расходуют больше обычного газа | Это может увеличить расход газа некоторыми приложениями |
Идея отдельного ZK-gas описана, в частности, в исследовании Nethermind. При таком подходе блок может исчерпать бюджет генерации доказательства раньше обычного газового лимита.
Но ограничение ресурса и правило оплаты — разные решения. Лимит определяет, сколько работы разрешено включить в блок. Он ещё не устанавливает, кто оплачивает эту работу и какое вознаграждение получает оператор доказательств.
Существуют и проекты многомерного учёта ресурсов. Например, EIP-7999 предлагает выделить calldata — входные данные транзакций — в самостоятельный ресурс. На 19 октября документ остаётся черновиком; считать его готовой системой оплаты ZK-доказательств нельзя.
Если же для отдельных операций повысят обычный газовый тариф, та же транзакция может потребовать больше газа. При неизменной эффективной цене газа её комиссия вырастет. Это условное следствие одного из подходов, а не уже принятое решение о повышении комиссий Ethereum.
Что ещё нужно до обязательных доказательств
Переход к ZK-проверке исполнения не происходит автоматически после удачного теста Airbender. В частности, EIP-8025 об необязательных доказательствах исполнения на 19 октября остаётся в статусе Draft.
В текущей спецификации проверенные доказательства служат дополнительным сигналом: участвующие узлы продолжают повторно выполнять блоки. Документ также не вводит вознаграждений генераторам доказательств. Возможный отказ от повторного исполнения потребует последующих изменений.
Для меня следующий содержательный критерий прогресса — опубликованная верхняя оценка затрат с понятными условиями: какие блоки она покрывает, на каком оборудовании, с какими параметрами безопасности и за какое время.
Пока точное предельное отношение затрат к газу, эталонная конфигурация и способ ограничения нагрузки не определены. Airbender Prime показывает скорость на измеренной выборке. Требование Бутерина ставит более широкую задачу: сделать требования к генерации доказательств предсказуемыми даже для самого неудобного допустимого блока.