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