Дослідники Ethereum поспішають закрити прогалину в безпеці zkEVM до грудня

Конкурс better.codes у мережі Ethereum зараз вимірює криптографічний доказовий проміжок, який дослідники можуть атакувати з обох боків.

За даними станом на 21 серпня, результати показують нижній сертифікат у 63,99 біти та верхній у 116,13 біти для параметра koalaIRS12, залишаючи 52,14 біти невизначеними після дев'яти піднятих заявок від семи розв'язувачів. KoalaIRS12 є фіксованим параметром для редукції Ріда-Соломона, використаною в дослідженнях доказових систем.

Конкурс має два треки: трек звуковості підвищує нижній сертифікат, тоді як трек атаки знижує верхній сертифікат.

Поточні результати профілюють безпечні та небезпечні межі для цієї параметричної моделі. Фонд Ethereum оголосив, що ця теорема, параметри та механізм перевірки закріплені, а кожне подання експортує необхідну теорему.

Прийняття результатів доводить подану теорему у закріпленому середовищі, проте потрібно також забезпечити повноту моделі та відповідність між специфікаціями та реалізаціями. Згідно з дорожньою картою безпеки zkEVM, до грудня 2025 року очікується 128-бітна доведена безпека.

В середині лютого терміни округлили до початку грудня 2026 року, зв'язавши архітектуру безпеки з цим терміном.

Для підтвердження звуковості koalaIRS12, нижній сертифікат має сягнути цільових 128 біт, а відповідність повинна охоплювати всі компоненти системи. Поточні 52,14 біти є виміром незавершеної роботи над koalaIRS12, а досягнення цілі 128 біт залежить від інтеграції цих доказів у більш широкий доказ системи.