Fusaka у процесі оновлення з пропозицією EIP-7825, шляхом обмеження ліміту Gas для однієї транзакції, реалізує на Ethereum L1 zkEVM і миттєвий доказовий механізм, усуваючи перешкоди та перетворюючи «миттєві докази» з теоретичної неможливості у інженерно керований процес, прокладаючи шлях до кінцевої взаoperabilності.
(Передісторія: BitMine вклали 1,1 мільярда доларів у ETH! Том Лі закликає: ETH вже на дні)
(Додаткові відомості: Віталік відповів на інцидент з вразливістю «Prysm клієнта»: іноді Ethereum не має остаточності — це нормально! Головне — не допускати помилок у фіналізації)

Зміст статті

• 1. За стінками оновлення Fusaka: недооцінена EIP-7825
• 2. L1 zkEVM: «міцний маяк довіри» для взаoperabilності Ethereum
• 3. Fusaka & EIP-7825: шлях до розкриття потенціалу взаoperabilності
• Наприкінці

У попередніх статтях серії Interop ми окремо розглянули OIF (каркас намірів) та EIL (шар взаoperabilності), які розв’язують стандартизацію намірів між ланцюгами (щоб вся мережа розуміла, що ви хочете зробити) та проблему виконання транзакційних каналів (щоб кошти могли стандартно переміщатися).

Проте для ідеального «одноланцюгового досвіду» потрібно балансувати між швидкістю та довірою. Адже в існуючому взаoperabilізаційному досвіді або доводиться терпіти повільність (наприклад, Optimistic Rollup потребує 7 днів для виклику виклику і підтвердження остаточності), або ж йти на компроміс із децентралізацією (довіряючи мультипідписним мостам).

Щоб подолати цей «трикутник неможливості», потрібна базова здатність для взаoperabilності — «ускорення» (Acceleration) і остаточне підтвердження (Finalisation) — яку дає ZK технологія «миттєвих доказів».

Саме в оновленні Fusaka, яке щойно стартувало, непомітна EIP-7825 стала ключовою для подолання найбільших інженерних бар’єрів у цьому кінцевому процесі.

1. За стінками оновлення Fusaka: недооцінена EIP-7825

4 грудня, оновлення Ethereum Fusaka офіційно розпочалося на основній мережі, хоча й не з таким гучним шоу, як оновлення Dencun колись. У фокусі уваги залишилися Blob-розширення і PeerDAS, що знижують вартість даних L2.

Однак поза цим шумом існує ще один, менш помітний, пропозиція — EIP-7825, яка усуває найбільші бар’єри для реалізації L1 zkEVM та миттєвих доказів, фактично прокладаючи шлях до кінцевої взаoperabilності.

Під час оновлення Fusaka увага здебільшого зосереджена на масштабуванні: збільшення обсягу Blob у 8 разів, рандомізований вибір PeerDAS для підтверджень — і витрати на Data Availability (DA) стають історією.

Звичайно, дешевший L2 — це добре, але для довгострокового плану ZK у Ethereum EIP-7825 — справжній змінювач правил гри, оскільки він встановлює обмеження Gas на одну транзакцію (близько 16,78 млн Gas).

Відомо, що цього року Gas Limit у блоках Ethereum вже підняли до 60 млн, але навіть при зростанні ліміту, за теоретикою, якщо хтось готовий платити дуже високий Gas Price, він може відправити «гігантську транзакцію» (Mega-Transaction), яка займе весь блок — 60 млн Gas, заблокувавши мережу.

Це було дозволено раніше, але EIP-7825 вводить новий обмежувач: незалежно від розміру блоку, одна транзакція не може споживати більше 16,78 млн Gas.

Чому обмежують розмір транзакції? Насправді, це не впливає на звичайних користувачів у перекладах, але для ZK-обчислювача (Prover), це — питання життя і смерті, бо саме спосіб формування доказу залежить від цього.

Наприклад, до EIP-7825, якщо у блоці є «гігантська транзакція» на 60 млн Gas, zkProver має виконати її послідовно — без можливості розділення або паралельної обробки, що нагадує одноланцюгову швидкісну дорогу з повільним вантажівкою, яка блокуватиме весь потік.

Це одразу ставить хрест на «миттєві докази», бо час генерації доказу стає неконтрольованим — може зайняти десятки хвилин або навіть довше.

Після EIP-7825, навіть якщо обсяг блока зросте до 100 млн Gas, кожна транзакція, обмежена 16,78 млн Gas, дозволяє розбити блок на «менші керовані задачі», які можна обробляти паралельно — перетворюючи процес формування доказу з логічної складної задачі у просту «проблему обчислювальної потужності» (Money Problem):

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

Як сказав Майкл, CEO Brevis, EIP-7825 — це найнедооціненіше оновлення на шляху до 100-кратного масштабування Ethereum через ZK: воно зробить «миттєві докази» реальними, перетворюючи їх з «теоретичної неможливості» у «інженерно керований процес», — достатньо потужності для паралельних обчислень, і навіть блоки у 200 млн Gas стануть згенерованими за секунди. Це не лише прорив у ZK-технологіях, але й фізична основа для миттєвого міжланцюгового розрахунку (cross-chain settlement).

Тому ця зміна, хоча й здається дрібною, насправді є великим проривом для ZK-стратегії та майбутнього масштабування Ethereum у 2026 році.

2. L1 zkEVM: «міцний маяк довіри» для взаoperabilності Ethereum

Однак EIP-7825, обмежуючи розмір однієї транзакції, фізично відкриває шлях для миттєвих доказів, але це — лише одна сторона медалі. Що ж із самим головним — як Ethereum використовуватиме цю здатність?

Це веде до найжорсткішої частини дорожньої карти — L1 zkEVM.

Здавна zkEVM вважається «святим Граалем» для масштабування Ethereum, — не лише через здатність поліпшити продуктивність, але й через те, що він переосмислює механізм довіри у блокчейні: основна ідея — щоб основна мережа могла генерувати та підтверджувати zk-докази.

Інакше кажучи, у майбутньому кожен блок Ethereum зможе виводити підтверджувальний математичний доказ, який інші ноди (особливо легкі та L2) зможуть швидко і без повторних обчислень перевірити. Якщо впровадити цю можливість безпосередньо у протокол Ethereum (L1), то кожне створення блоку та генерація zk-доказу дозволить підтверджувати його без повторного виконання транзакцій — достатньо буде лише перевірити цей малий математичний доказ.

Що це означає для взаoperabilності?

У контексті взаoperabilності, L1 zkEVM — це не лише спосіб масштабування, а й «міцний маяк довіри» для всіх L2. Адже якщо L1 зможе миттєво генерувати докази, то всі L2 зможуть миттєво і без довіри читати остаточний стан з L1 — це дасть дві ключові переваги:

• Позбавлення від виклику викликів (Challenge Period): підтвердження між ланцюгами зменшиться з 7 днів (як у OP) до секундів (ZK).
• Децентралізація та взаoperabilність: міжланцюгові зв’язки не потребуватимуть довір’я до третіх сторін — довіряючи математичній істині Ethereum.

Це — основа фізичних можливостей, які дозволять EIL (шар взаoperabilності) працювати без затримок.

Якщо є ціль (L1 zkEVM), то і обмеження (EIP-7825) — теж. Тепер залишається питання — якими інструментами ми досягнемо цієї мети?

Тут на сцену виходить еволюція ZK-технологій: від zkEVM до zkVM.

3. Fusaka & EIP-7825: шлях до розкриття потенціалу взаoperabilності

Якщо EIP-7825 — це забезпечення «апаратної» здатності до паралельних обчислень у ZK, — то еволюція ZK-технологій — це пошук «більш ефективної софтварної архітектури».

Звучить складно, але це — два різні етапи розвитку ZK.

Перший — zkEVM, або «сумісний» або «модифікований» під Ethereum. Його головна ідея — імітувати кожну команду EVM, щоб розробники могли максимально легко переносити свої додатки Solidity, мінімізуючи витрати і межі міграції.

Завдяки цьому zkEVM має сильну сумісність з існуючими додатками Ethereum, що зменшує бар’єри для розробки і розвитку екосистеми.

Однак, через обмеження EVM у частині доказової ефективності, його генерація може бути повільнішою і мати «стелю» — втрачаючи швидкість підтвердження.

З іншого боку, zkVM — це більш радикальний підхід, який створює віртуальну машину, дружню до zk-доказів (наприклад, на базі RISC-V або WASM), щоб прискорити генерацію доказів і підвищити швидкість виконання.

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

Чому оновлення Fusaka — ключовий момент?

Бо раніше, без EIP-7825, будь-які великі транзакції (як zkEVM, так і zkVM) — створювали проблеми через нездатність ділити задачі.

З введенням EIP-7825, ця проблема знімається — транзакції розбиваються на керовані маленькі задачі, які можна виконувати паралельно. Це дозволяє zkVM працювати максимально ефективно, навіть для дуже складних Ethereum-блоків, і забезпечує миттєву генерацію доказів.

Що це означає для взаoperabilності?

Зменшення вартості генерації доказів у поєднанні з поширенням zkVM означає, що створення міжланцюгових доказів стане дешевим і швидким — і тоді традиційні «містки» (bridges) зникнуть, їх замінить універсальний протокол повідомлень.

На завершення

Як вже багато разів підкреслювалося у серії статей про взаoperabilність, її кінцева мета — не лише перенос активів «з ланцюга на ланцюг», а й системний рівень — обмін даними, логіка, користувацький досвід, безпека і консенсус.

В цьому контексті, взаoperabilність — це майбутній універсальний мовний стандарт Ethereum-екосистеми, що дозволяє не лише передавати цінності, а й обмінюватися логікою. Тут роль ZK — гарантувати правильність виконання, підтримувати миттєву перевірку станів і забезпечувати сміливі, швидкі крос-ланцюгові виклики — без реального часу ZK, неможливо створити зручний і надійний Interop.

Отже, запуск EIP-7825 у Fusaka, і поступова реалізація L1 zkEVM — це кроки до досягнення кінцевої мети: виконання, розрахунки і докази — у фоновому режимі, без відчуття користувача, у безпосередній доступності.

Це — майбутнє, яке очікує кожного з нас у сфері взаoperabilності.