Исследователи Ethereum пытаются устранить пробел в безопасности zkEVM

Главное за минуту:

• Конкурс better.codes показывает 52.14-битный разрыв между сертификатами безопасности для koalaIRS12;
• Нижний сертификат достиг лишь 63.99 бит, верхний — 116.13 бит;
• Ethereum требует 128 бит доказанной безопасности для zkEVM до декабря 2026 года;
• Девять подтвержденных решений от семи исследователей по состоянию на 21 августа.

Команда Octobit разобрала технические детали и реальные перспективы закрытия этого разрыва.

Что такое koalaIRS12 и почему это важно

KoalaIRS12 — это фиксированный набор параметров для interleaved Reed–Solomon reduction. Простыми словами, это математическая конструкция, которую используют в системах доказательства (proof systems) для проверки корректности вычислений.

Репозиторий вызова определяет её оценку как spot-check величину. Это означает, что результат показывает безопасность только для конкретной точки параметров, а не для всей системы zkEVM. Исследователи прямо предупреждают: нельзя интерпретировать этот показатель как минус-log2 от общей надежности протокола.

Факт: разница между сертификатами — это измеримая дистанция между тем, что доказано как безопасное, и тем, что всё ещё считается небезопасным. На момент 21 августа 15:44:47 UTC разрыв составлял 52.14 бит.

Почему это критично? Ethereum Foundation поставил дедлайн — начало декабря 2026 года. К этой дате вся zkEVM архитектура должна получить формальный аргумент безопасности рекурсии и доказанную защищенность на 👉 уровне 128 бит.

Два трека атакуют проблему с разных сторон

Конкурс использует две отдельные дорожки для сужения интервала неопределенности.

Soundness track (трек корректности) поднимает нижний сертификат. Когда исследователь подает решение на сертифицированном радиусе, он доказывает, что исполнительная граница редукционной ошибки бенчмарка соответствует закодированной цели. Затем этот радиус конвертируется в баллы на доске лидеров. По состоянию на 21 августа нижний сертификат достиг 63.99 бит.

Attack track (трек атак) снижает верхний сертификат. Его теорема сертифицирует небезопасный суффикс при условии benchmark winning-set-density. Репозиторий покрывает этот суффикс непосредственно, поскольку формализация не предполагает теоремы монотонности для плотности выигрышного набора. Текущий верхний сертификат — 116.13 бит.

Простыми словами: одна команда доказывает, насколько безопасна система снизу, другая ищет уязвимости сверху. Когда эти два числа встретятся — разрыв закроется.

По данным официального блога Ethereum Foundation, roadmap безопасности zkEVM установил четкие вехи: 128-битная доказанная безопасность, финальный размер доказательства не более 300 KiB и формальный аргумент корректности для архитектуры рекурсии.

Машинно проверенные результаты и что они на самом деле доказывают

Каждая подача экспортирует необходимую теорему. Компаратор проверяет это утверждение против цели, а ядро Lean верифицирует доказательство перед продвижением на лидерборд.

Принятый результат доказывает поданную теорему внутри закрепленной среды. Но production assurance должно также охватывать полноту модели, предположения, встроенные в её 👉 определения, соответствие реализации и композицию отдельно проанализированных компонентов.

Обзор Ethereum Foundation от мая относительно formal-verification усилий SP1 показывает, почему эти дополнительные слои имеют значение. Версии требуют воспроизводимого закрепления, а результаты на уровне компонентов требуют более широкого обоснования.

Академическая статья от Gal Arnon, Dan Boneh и Giacomo Fenzi определяет list decoding, Reed–Solomon proximity gaps, correlated agreement и mutual correlated agreement как открытые вопросы для succinct proof systems. То есть проблем, которые нужно решить, ещё много.

Сертификат 116.13 бит имеет тот же 👉 объем: он применяется к точке параметров, закодированной в вызове. Другие выборы параметров, конструкции и системные компоненты остаются отдельными исследовательскими вопросами.

Больше технического контекста о развитии сети мы регулярно собираем в разделе 👉 новости Ethereum.

Разрыв до декабрьской цели Ethereum

Декабрьский 2025 года roadmap безопасности zkEVM требовал 128-битную доказанную безопасность, финальный размер доказательства 300 KiB или меньше и формальный аргумент корректности для архитектуры рекурсии.

Обновление security-sprint от февраля перенесло дедлайн M3 на начало декабря 2026 и согласовало аргумент безопасности архитектуры с deliverable от 1 декабря. Roadmap просит команды связать границы компонентов с аудированным системным пакетом.

Для koalaIRS12 нижний сертификат, достигающий закодированной цели 128 бит, урегулирует сторону корректности этого бенчмарка в его фиксированной точке параметров. Но production zkEVM claim дополнительно требует учет корректности через все релевантные компоненты, соответствие размера доказательства, задокументированную топологию рекурсии, аргумент о том, как её части компонуются, и доказательства соответствия спецификаций реализациям.

Публичная страница прогресса Foundation, последняя синхронизация 20 августа, перечисляет результаты готовности zkVM и соответствия ISA. Её таблицы не содержат маркера завершения для полного пакета на начало декабря.

Обновление от мая об optional execution proofs описало non-consensus-critical фазу, в которой zkEVM доказательства дополняют тестирование mainnet, пока обычная ре-экзекуция execution-client продолжает управлять аттестацией.

Эта опциональная роль держит непосредственное следствие лидерборда в исследовательской сфере. Движение в сертификатах изменяет доказательства, доступные для будущих аргументов безопасности, без изменения текущего consensus-critical пути валидации Ethereum.

💡 Ключевой инсайт

Прогресс на better.codes — это хорошо, но не стоит путать один бенчмарк с готовой системой. Ethereum требует не только 128 бит для koalaIRS12, но и полного аудита всех компонентов zkEVM, доказательства композиции и соответствия реализаций спецификациям. Текущий разрыв в 52.14 бит показывает, что до декабря работы ещё хватит. Если команды не успеют — дедлайн снова сдвинется, как это уже было с февралем 2026.