Ethereum завершив ще один важливий технологічний прогрес, чи зможе він досягти стрибка в 2026 році?

Екосистема zkEVM за рік інтенсивної роботи досягла стрибка у продуктивності, час підтвердження блоків Ethereum зменшився з 16 хвилин до 16 секунд, а витрати знизилися на 45 разів. Учасники zkVM вже можуть завершити 99% підтвердження блоків Основної мережі на цільовому обладнанні за 10 секунд.

18 грудня Фонд Ethereum (EF) оголосив про впровадження механізму реального доказу та усунення проблем з продуктивністю, але наголосив, що справжнім викликом є надійність; відсутність безпеки швидкості призведе до важкості, і декілька zkEVM, що базуються на алгоритмі STARK, покладалися на математичні припущення, які були спростовані в останні місяці, що призвело до зниження рівня безпеки.

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

Його основна зміна полягає в переході від прагнення до пропускної спроможності до доказової безпеки, чітко визначено, що L1 рівень zkEVM має досягти стандарту безпеки 128 біт, щоб відповідати основним крипто-нормам, оскільки підробка доказів може призвести до підробки токенів, зміни стану L1 та інших фатальних ризиків, межа безпеки не підлягає обговоренню.

EF синхронно оприлюднив трьохетапну карту безпеки:

1. До кінця лютого 2026 року всі команди zkEVM повинні інтегрувати систему доказів в інструмент оцінки безпеки soundcalc EF, єдині стандарти оцінки безпеки;
2. До кінця травня досягти стандартів Glamsterdam, реалізувати 100 підтверджуваних безпечних цілей переходу;
3. Завершити фінальну мету H-star до кінця грудня, досягнувши 128-бітної доказової безпеки, а також необхідно надати формальне доказування безпеки у вигляді рекурсивної топологічної структури.

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

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

Варто звернути увагу, що після досягнення стандартів zkEVM може підтримувати Ethereum у підвищенні обмеження Gas, забезпечуючи життєздатність стейкінгу, підвищуючи ємність блоків, сприяючи перетворенню L1 на надійний шар розрахунків, а також розмиваючи межу між виконанням L2 та L1.

Сьогодні спринт продуктивності закінчився, основне питання екосистеми zkEVM змінилося на те, щоб забезпечити достатньо надійні докази безпеки без залежності від припущення про вразливість, щоб підтримати активи обсягом у сотні мільярдів, і тепер починається справжня гонка за безпекою, що стане основною темою Ethereum у 2026 році.