Фонд Ethereum переорієнтується на безпеку замість швидкості - встановлює суворе правило 128 бітів на 2026 рік

Екосистема zkEVM протягом року зосереджувалася на зниженні затримок.

Час підтвердження блоку Ethereum скоротився з 16 хвилин до 16 секунд, а витрати зменшились у 45 разів.

Наразі zkVM можуть підтверджувати 99% блоків у мережі за 10 секунд на відповідному апаратному забезпеченні. Фундація Ethereum оголосила про успіх 18 грудня: реальне підтвердження працює.

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

Багато zkEVM на базі STARK зіштовхнулися з математичними проблемами. У липні EF визначила офіційну мету для "реального підтвердження" — підтверджувати щонайменше 99% блоків у мережі за 10 секунд на апаратному забезпеченні вартістю близько 100 тисяч доларів з відкритим кодом, 128-бітною безпекою та розмірами доказів до 300 кілобайт. У пості 18 грудня йдеться про досягнення екосистемою цієї мети, згідно з даними сайту EthProofs. EF тепер переходить від продуктивності до надійності, визнаючи, що багато zkEVM ґрунтуються на непідтверджених математичних гіпотезах.

Це, зокрема, стосується "запасу близькості", які були спростовані, що вплинуло на безпеку параметрів. Фундація наголошує на важливості "підтверджуваної безпеки" замість простої безпеки на основі припущень.

Вони встановили 128-бітну безпеку як ціль, узгоджуючи її з основними стандартами криптографії та реальними обчисленнями. У пості намічено чіткий план з трьох етапів.

Перший етап вимагає, щоб до кінця лютого 2026 року кожна команда протестувала свої системи за допомогою інструмента "soundcalc".

Другий етап, "Glamsterdam", до кінця травня 2026 року, передбачає забезпечення безпеки на рівні щонайменше 100 біт.

Третій етап, "H-star", до кінця 2026 року, вимагає досягнення 128-бітної підтверджуваної безпеки. Фундація вказує на ряд інструментів, спрямованих на забезпечення цілей, зокрема тест WHIR, що надає прозору безпеку.

Успіх цих ініціатив може суттєво змінити мотиви роботи з доказами. Наразі реальне підтвердження залишається поза мережею, і між фактичними валідаторами є великий розрив.

Наразі неясно, чи зможуть всі команди досягти встановлених цілей, чи будуть вони змушені прийняти менш жорсткі умови.

Найскладнішими аспектами можуть бути формалізація та аудит архітектур рекурсії. У рік, коли питання полягало в швидкості zkEVM, нове питання стосується їх надійності та забезпечення безпеки на прийнятному рівні без залежності від ненадійних гіпотез.

Забіги продуктивності завершено, але гонка за безпекою тільки починається.