Дослідники 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.