Ethereum хоче, щоб домашні валідатори перевіряли докази, але реальність із 12 GPU створює нову загрозу

Дослідник Ethereum ladislaus.eth минулого тижня опублікував покрокову інструкцію, що пояснює, як Ethereum планує перейти від повторного виконання кожної транзакції до перевірки доведень з нульовим розголошенням.

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

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

Якщо це спрацює, роль рівня-1 Ethereum зміниться з "розрахунків та доступності даних для ролапів" на "високопродуктивне виконання, перевірка якого залишається достатньо дешевою для домашніх валідаторів".

Що насправді будується

EIP-8025 під назвою "Опціональні докази виконання" з'явився у формі чернетки та визначає механіку.
Докази виконання поширюються через одноранговою мережу рівня консенсусу через спеціальну тему. Валідатори можуть працювати в двох нових режимах: генерація доказів або валідація без стану.

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

Команда zkEVM Ethereum Foundation 26 січня опублікувала конкретну дорожню карту на 2026 рік, окресливши шість підтем: стандартизація свідків виконання та гостьових програм, стандартизація zkVM-guest API, інтеграція рівня консенсусу, інфраструктура доказувача, бенчмаркінг та метрики, та безпека з формальною верифікацією.

Перший брейкаут дзвінок L1-zkEVM заплановано на 11 лютого о 15:00 UTC.

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

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

Ключова залежність - це ePBS (Enshrined Proposer-Builder Separation), запланований для майбутнього хардфорку Glamsterdam. Без ePBS вікно доказування становить приблизно одну-дві секунди, що занадто мало для доказування в реальному часі. З ePBS, що забезпечує конвеєризацію блоків, вікно розширюється до шести-дев'яти секунд.

Компроміс децентралізації

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

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

Проте доказування несе власний ризик централізації. Публікація Ethereum Research від 2 лютого повідомляє, що доказування повного блоку Ethereum наразі вимагає приблизно 12 GPU та займає в середньому 7 секунд.

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

Дизайн має на меті вирішити це шляхом впровадження різноманітності клієнтів на рівні доказування. Робоче припущення EIP-8025 - це поріг три з п'яти, що означає, що засвідчувач приймає виконання блоку як дійсне після перевірки трьох з п'яти незалежних доказів від різних реалізацій клієнтів рівня виконання.

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

Найчесніше формулювання полягає в тому, що Ethereum переміщує поле битви децентралізації. Сьогоднішнє обмеження - це "чи можете ви дозволити собі запустити клієнт рівня виконання?" Завтрашнє може бути "чи можете ви отримати доступ до кластерів GPU або мереж доказувачів?"

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

Розблокування масштабування L1

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

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

Синхронізація зводиться до завантаження доказів для останніх блоків з останньої контрольної точки фіналізації.

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

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

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

Що це означає для блокчейнів рівня-2

Нещодавня публікація Віталіка Бутеріна стверджує, що блокчейни рівня-2 повинні диференціюватися за межами масштабування та явно прив'язує цінність "нативного прекомпіляції ролапу" до потреби в закріплених zkEVM доказах, які Ethereum вже потребує для масштабування рівня-1.

Логіка проста: якщо всі валідатори перевіряють докази виконання, ті самі докази також можуть використовуватися прекомпіляцією EXECUTE для нативних ролапів. Інфраструктура доказування рівня-1 стає спільною інфраструктурою.

Це змінює ціннісну пропозицію рівня-2. Якщо рівень-1 може масштабуватися до високої пропускної здатності, зберігаючи низькі витрати на верифікацію, ролапи не можуть виправдати себе на основі "Ethereum не може впоратися з навантаженням".

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

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

Рівень-1 стає високопродуктивним рівнем виконання та розрахунків з низькою вартістю верифікації. Рівень-2 стає лабораторіями функцій, оптимізаторами затримки та мостами композиційності.

Однак це вимагає від команд рівня-2 сформулювати нові ціннісні пропозиції, а від Ethereum - виконати дорожню карту перевірки доказів.

Три шляхи вперед

У майбутньому можливі три потенційні сценарії.

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

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

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

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

Третій сценарій полягає в тому, що перевірка доказів рівня-1 стає спільною інфраструктурою. Якщо інтеграція рівня консенсусу зміцнюється, а ePBS забезпечує розширене вікно доказування, то ціннісна пропозиція рівня-2 схиляється до спеціалізованих VM, надзвичайно низької затримки та нових моделей композиційності, а не тільки "масштабування Ethereum".

Цей шлях вимагає, щоб ePBS було випущено за графіком для Glamsterdam.

Загальна картина

Зрілість інтеграції consensus-specs сигналізуватиме, чи переходять "опціональні докази" від переважно TODO до зміцнених тестових векторів.

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

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

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

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

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

Якщо Ethereum зможе відокремити їх, рівень-1 більше не буде вузьким місцем, яке змушує все цікаве переходити на рівень-2.

І якщо перевірка доказів рівня-1 стане спільною інфраструктурою, вся екосистема рівня-2 повинна відповісти на складніше питання: що ви будуєте, чого не може рівень-1?

Публікація Ethereum wants home validators to verify proofs but a 12 GPU reality raises a new threat вперше з'явилася на CryptoSlate.