У мережі 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, акцентувавши увагу на необхідності в досягненні позитивного шляху.