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

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

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

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

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

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

Пов’язане читання: Ethereum отримує підтримку інституцій, хоча прогноз ціни ETH залишається спірним. Важливою залежністю є додавання кращого відстеження частин стану, до яких торкається блок, через Block Level Access Lists (BALs). Документ зазначає, що станом на листопад 2025 року ця робота не вважалася настільки терміновою, щоб її переносити на більш ранні гілки.

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

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

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

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

Пов’язане читання: Міські гроші з Ivy League купують Bitcoin і Ethereum: Dartmouth розкриває IBIT, ETH Mini Stakes. Бенчмаркінг розглядається як поточна робота з чіткими цілями, такими як вимірювання часу генерації свідчень, створення та перевірки доказів, а також впливу доказів на мережу. Ці вимірювання можуть стати у нагоді для майбутніх пропозицій щодо перепризначення газу для zk-навантажених робочих навантажень.

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

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

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

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

ETH faces the 0.618 Fib, 1-week chart | Source: ETHUSDT on TradingView.comFeatured image created with DALL.E, chart from TradingView.com Редакційний процес для bitcoinist зосереджений на наданні ретельно дослідженого, точного та неупередженого контенту. Ми дотримуємося строгих стандартів джерел, і кожна сторінка проходить ретельний огляд нашою командою провідних технологічних експертів і досвідчених редакторів. Це забезпечує цілісність, актуальність і цінність нашого контенту для наших читачів.