У мережі Ethereum настає «негучна, але глибока трансформація» в способі верифікації блоків. Про це повідомив дослідник Ethereum Foundation під псевдонімом ladislaus.
«Незалежно від того, чи ви ентузіаст масштабування, особистий стейкер, домашній валідатор або прихильник самостійної верифікації — це буде мати для вас наслідки», — зауважив експерт.
За його словами, Ethereum переходить від повторного запуску кожної транзакції на вузлах до засвідчення правильності операцій шляхом інспекції доказів zkEVM.
Зараз кожен вузол у мережі, який бажає підтвердити валідність блоку, повинен заново запустити кожну транзакцію в ньому. У результаті всі ноди багато разів здійснюють ті самі операції.
При цьому обсяг праці валідаторів залежить від ліміту газу — разом з ним збільшуються потреби до пропускної здатності оператора.
Однак ladislaus пропонує інше рішення: замість дублювання обчислень вузол перевіряє криптографічний аргумент правильності дії.
«Саме це забезпечують докази zkEVM — напрямок до значного розширення виконання L1 у довгостроковій перспективі», — додав член Ethereum Foundation.
Думка не нова, але її свіжа суть полягає в тому, що тепер технологію імплементують у базовий протокол Ethereum не як функцію агрегації, а як факультативний етап у процесі підтвердження на самому рівні консенсусу.
Принцип роботи
Розробники мережі мають намір сформувати так званий «конвеєр» доказів. ladislaus описав його устрій:
- Клієнт рівня виконання (EL) створює ExecutionWitness — «самодостатній» набір даних, необхідних для верифікації блоку без утримання повного стану.
- Стандартизована гостьова програма використовує цю базу і перевіряє перехід стану. zkVM здійснює запит, а валідатор створює доказ правильності.
- Клієнт рівня консенсусу (CL) перевіряє цей доказ.
Так з’явиться нова категорія учасників мережі — zkAttesters. Це клієнти CL, які засвідчують докази zkEVM замість запуску повноцінного EL.
Механізм роботи ZK-доказів. Джерело: X/ladislaus.
«Синхронізація зводиться до завантаження доказів для останніх блоків з моменту крайньої контрольної точки фіналізації», — роз’яснив ladislaus.
Сьогодні робота валідатора передбачає одночасний запуск CL- і EL-клієнта, причому останній є особливо ресурсовитратною частиною. Зберігання стану, час обробки блоків, пропускна здатність: всі ці показники збільшуються пропорційно ліміту газу.
За словами дослідника, якщо замінити повторне виконання перевіркою доказів, можна значно зменшити вимоги до обладнання для участі в консенсусі.
«Можливо, найбільший зиск отримають ті, хто займається особистим стейкінгом, і домашні валідатори. Будучи zkAttesters, їм більше не потрібно запускати повний EL-тест, і вони зможуть синхронізувати дані за лічені хвилини. Верифікація доказу замінює повторне виконання і, відповідно, знижуються потреби до обладнання», — припустив він.
Описані зміни планують запровадити в межах EIP-8025, яке входить у дорожню карту Ethereum на 2026 рік.
Нагадаємо, у лютому Віталік Бутерін описав майбутній союз ШІ та Ethereum, підкресливши необхідність у прагненні позитивного шляху.