Offchain Labs розкритикувала ініціативу Бутеріна щодо переходу EVM на RISC‑V
Ключовий розробник L2-мережі Arbitrum — Offchain Labs — представив власний підхід до модернізації Ethereum Virtual Machine (EVM).
Команда дослідників запропонувала перевести Ethereum на WASM замість запропонованої Віталіком Бутеріним архітектури RISC-V. На їхню думку, RISC-V добре підходить для генерації доказів з нульовим розголошенням, але не є оптимальним варіантом для виконання та зберігання смартконтрактів платформи.
Раніше Бутерін заявляв, що RISC-V розв’яже низку проблем масштабування першого рівня блокчейна та знизить вартість ZK у 100 разів.
«Ми підтримуємо ці цілі, але ставимо під сумнів припущення Віталіка про те, що одна архітектура команд може оптимально обслуговувати як докази з нульовим розголошенням, так і виконання смартконтрактів», — написали Маріо Альварес, Маттео Кампанеллі, Цахі Зіденберг і Даніель Лумі.
Розробники виокремили кілька фундаментальних переваг архітектури WebAssembly:
- модульний дизайн — дозволяє модернізувати та оптимізувати виконуваний код, зберігаючи повну зворотну сумісність з чинними контрактами;
- кросчейн-ефективність — працює на стандартному серверному обладнанні, на відміну від RISC-V, який потребує емулювання на більшості вузлів Ethereum;
- безпечна валідація — вбудована типобезпечність запобігає цілому класу вразливостей на рівні виконання;
- виробнича готовність — екосистема інструментів випробувана в мільярдах реальних серед виконання.
«WASM здатен стати універсальним протоколом для смартконтрактів — ідеальним проміжним стандартом, що поєднує розмаїття мов програмування з різними системами виконання та верифікації», — підкреслила команда.
Доводи проти
Ключовий аргумент дослідників — відмінність між «виконавчою» (dISA) і «доказовою ISA» (pISA). Експерти вважають, що уніфікація цих архітектур не є обов’язковою, адже вони розв’язують різні завдання.
Offchain Labs створюють модель із орієнтацією на цей підхід. Блоки Arbitrum зі смартконтрактами Stylus на базі WASM проходять ZK-верифікацію через двоетапний процес:
- Компіляція WASM у RISC-V.
- Генерація доказів виконання RISC-V.
«Ми вже сьогодні здатні верифікувати реальні блоки блокчейна через ZK-докази, де WASM використовується як виконавча архітектура, а ZK-VM на базі RISC-V працює як обчислювальний бекенд», — пояснили експерти.
Команда також звернула увагу на швидку динаміку технологій доказів, засумнівавшись, що RISC-V — кінцева точка еволюції ZK-VM. Як приклад вони навели недавній перехід з 32- на 64-бітні реалізації RISC-V, що демонструє безперервний розвиток стандартів.
На думку дослідників, фіксація архітектури на L1 може обмежити гнучкість Ethereum у майбутньому, не дозволяючи адаптуватися до досконаліших технологій доказів, які неминуче з’являться.
ZK-VM на базі WASM на кшталт Ligetron від Ligero вже демонструють функціональні переваги, потенційно недосяжні для апаратно орієнтованих моделей.
Вартість доказів з нульовим розголошенням знизилася приблизно до $0,025 за блок і продовжує падати.
«Навіть за умови необхідності кількох ZK-доказів на блок, ці витрати залишаться незначними на тлі комісій за газ і доходів від MEV, які отримує валідатор», — пояснили експерти.
Нагадаємо, у квітні засновник Cardano Чарльз Хоскінсон позитивно оцінив пропозицію Бутеріна про заміну EVM на архітектуру RISC-V.