Ethereum Foundation окреслює шлях до zkEVM доказів на головній мережі L1

Фонд Ethereum опублікував покроковий план, який дозволить основному ланцюгу Ethereum валідувати блоки за допомогою доказів zkEVM, зменшуючи потребу валідаторів повторно виконувати кожне обчислення самостійно. Пропозиція, оприлюднена через X 15 січня Томашем К. Станьчаком, співвиконавчим директором Фонду Ethereum, описує інженерні роботи, необхідні для клієнтів виконання та консенсусу Ethereum, а також нову інфраструктуру доведення та процеси безпеки.

L1 Ethereum рухається до валідації на основі zk-доказів

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

Документ узагальнює запланований процес простими словами: клієнт виконання створює компактний пакет "свідок" для блоку, стандартизована програма zkEVM використовує цей пакет для генерації доказу правильного виконання, а консенсусні клієнти перевіряють цей доказ під час валідації блоку.

Перша віха — створення "ExecutionWitness", структури даних для кожного блоку, що містить інформацію, необхідну для валідації виконання без повторного запуску. План передбачає формальний формат свідка в специфікаціях виконання Ethereum, тести відповідності та стандартизовану кінцеву точку RPC. Відзначається, що поточна кінцева точка debug_executionWitness вже "використовується в продакшені Kona від Optimism", водночас пропонується можливість створення більш zk-дружньої кінцевої точки.

Ключова залежність — додавання кращого відстеження того, яких частин стану торкається блок, через списки доступу на рівні блоку (BALs). Документ зазначає, що станом на листопад 2025 року ця робота не розглядалася як достатньо термінова для перенесення на попередні форки.

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

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

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

Пропозиція розглядає генерацію доказів як операційну проблему настільки ж, як і протокольну. Вона включає віхи для інтеграції zkVM в інструменти EF, такі як Ethproofs та Ere, тестування налаштувань GPU (включаючи "zkboost") та відстеження надійності й вузьких місць.

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

Безпека також позначена як постійна, з планами щодо формальних специфікацій, моніторингу, контролю ланцюга постачання, як-от відтворювані збірки та підписання артефактів, а також задокументована модель довіри та загроз. Документ пропонує "рамку go/no-go" для визначення того, коли системи доказів достатньо зрілі для ширшого використання.

Виділяється одна зовнішня залежність: ePBS, яку документ описує як необхідну для надання доказувачам більше часу. Без неї, як зазначається в плані, доказувач має "1–2 секунди" для створення доказу; з нею — "6–9 секунд". Документ додає формулювання з двох речень, яке передає терміновість: "Це не проєкт, над яким ми працюємо. Однак це оптимізація, яка нам потрібна". Очікується, що ePBS буде розгорнуто в "Glamsterdam", орієнтовно в середині 2026 року.

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

На момент публікації ETH торгувався за $3 300.