Фонд Ethereum детально описує досягнення zkEVM та дорожню карту на 2026 рік

Коротко

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

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

Згідно з доповіддю, затримка для підтвердження в реальному часі значно зменшилася з 16 хвилин до 16 секунд, витрати знизилися у 45 разів, а zkVM тепер перевіряють 99% блоків Ethereum менш ніж за 10 секунд на цільовому обладнанні. Хоча ці покращення продуктивності вирішують основні вузькі місця, безпека залишається пріоритетом.

Багато zkEVM на базі STARK все ще покладаються на неперевірені математичні припущення, і останні дослідження поставили під сумнів деякі з цих гіпотез, зменшуючи ефективний запас безпеки. Фонд Ethereum підкреслює, що доведена безпека залишається важливою, орієнтуючись на 128-бітну безпеку, рекомендовану стандартними організаціями та підтверджену обчислювальними бенчмарками, особливо враховуючи потенціал для зловмисників експлуатувати недоліки у звуковості Layer 1 zkEVM, що може поставити під загрозу великі суми коштів.

Баланс між безпекою та розміром доказу є критичним, оскільки вищий рівень безпеки зазвичай збільшує розмір доказу, який має залишатися керованим для поширення по мережі Ethereum. Щоб це забезпечити, Фонд встановив три ключові етапи.

Фонд Ethereum підкреслює, що до кінця лютого 2026 року команди zkEVM мають інтегрувати SoundCalc — інструмент для послідовного оцінювання безпеки на основі сучасних криптографічних меж і параметрів доказів. До кінця травня 2026 року екосистема прагне досягти 100-бітної доведеної безпеки з кінцевими розмірами доказів менше 600 КиБ і компактним описом архітектури рекурсії. До кінця 2026 року ціль — 128-бітна доведена безпека, розміри доказів менше 300 КиБ і формальний аргумент безпеки для рекурсивної архітектури.

Останні криптографічні та інженерні розробки, включаючи компактні поліноміальні зобов’язання, передові техніки рекурсії та структуроване складання схем, роблять ці етапи реалістичними. Документування архітектури та звуковості рекурсії є особливо важливим, оскільки сучасні zkEVM включають складні, командно-специфічні рекурсивні схеми, які є ключовими для безпеки всієї системи.

Фонд Ethereum змінює фокус на безпеку zkEVM і формальну верифікацію перед етапом H-star

Існує стратегічна причина зосередитися на безпеці zkEVM на цьому етапі. Захист системи, яка ще розвивається, є складним, але коли архітектури zkVM стабілізуються і команди досягнуть ключових цілей, зусилля щодо формальної верифікації можна буде повністю реалізувати. До етапу H-star очікується, що рівень системи доказів буде здебільшого визначеним — не назавжди закріпленим, але достатньо стабільним для формальної верифікації критичних компонентів, завершення доказів безпеки та узгодження специфікацій із розгорнутим кодом. Ця стабільність є важливою для досягнення безпечних Layer 1 zkEVM.

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