Offchain Labs ставить під сумнів пропозицію Віталіка щодо RISC-V, заявляючи, що WASM краще підходить для Ethereum L1

Offchain Labs, основний розробник Ethereum Layer 2 Arbitrum, оскаржив пропозицію Віталіка Бутеріна щодо переходу виконувального шару Ethereum на RISC-V, опублікувавши детальний технічний пост, в якому стверджується, що WebAssembly (WASM) пропонує кращі довгострокові переваги.

У пості на Ethereum Research від 20 листопада четверо дослідників Offchain Labs стверджують, що хоча RISC-V наразі перевершує у генерації ZK-доказів, це не робить його правильним вибором для того, як смарт-контракти повинні доставлятися та зберігатися в Ethereum.

Співзасновник Ethereum Бутерін висловив ідею замінити байткод Ethereum Virtual Machine на відкриту інструкційну архітектуру RISC-V (вимовляється як "риск-файв") у пості на Ethereum Magicians у квітні, стверджуючи, що ця зміна може знизити витрати на ZK-докази в ланцюжку до 100 разів у деяких випадках. 

"Ми підтримуємо ці цілі, але ставимо під сумнів неявне припущення Віталіка, що одна ISA може оптимально обслуговувати як ZK-докази, так і доставку смарт-контрактів," написали Mario Alvarez, Matteo Campanelli, Tsahi Zidenberg та Daniel Lumi.

Відокремити доставку від доказу?

Основний аргумент команди полягає у розмежуванні між "доставочною ISA" (dISA) — форматом для завантаження контрактів у ланцюжок — та "доказовою ISA" (pISA), яку використовують ZK-віртуальні машини. Вони стверджують, що ці формати не обов'язково мають бути однаковими.

Offchain Labs вже створює прототип, що доводить цю концепцію: блоки Arbitrum, включаючи смарт-контракти Stylus на основі WASM, отримують ZK-докази шляхом компіляції WASM у RISC-V, а потім доказу виконання RISC-V.

"Ми можемо створювати ZK-докази реальних блоків сьогодні у блокчейні, який використовує WASM як dISA, використовуючи RISC-V-орієнтовану ZK-VM як бекенд," йдеться у пості.

RISC-V може не залишитися оптимальним

Команда ставить під сумнів, чи є RISC-V кінцевою точкою еволюції ZK-VM, зазначаючи, що ландшафт доказів швидко змінюється. Останні переходи з 32-бітних на 64-бітні реалізації RISC-V підкреслюють цю невизначеність.

Впровадження RISC-V на L1 може зафіксувати Ethereum на певній технології доказів саме тоді, коли з'являються кращі альтернативи, попереджають вони, тоді як WASM-орієнтовані ZK-VM, такі як Ligetron від Ligero, вже демонструють переваги, які ISA, орієнтовані на апаратне забезпечення, можуть не мати.

Тим часом, витрати на ZK-докази впали до близько $0.025 за блок Ethereum і продовжують знижуватися, що робить менш критичним оптимізацію виключно для ефективності доказів, стверджують дослідники. "Навіть якщо L1 вимагатиме кілька ZK-доказів на блок, ці витрати будуть мінімальними порівняно з gas fee та MEV, які може отримати будівельник блоку," написали вони. 

Переваги WASM

Команда підкреслює структурований дизайн WASM, що полегшує модифікацію та оптимізацію коду без порушення існуючих контрактів. WASM також ефективно виконується на звичайному апаратному забезпеченні, тоді як більшість вузлів Ethereum не працюють на процесорах RISC-V і потребуватимуть емуляції.

Можливості валідації WASM забезпечують типову безпеку та запобігають вразливостям, а його зріла екосистема інструментів була випробувана у мільярдах середовищ виконання.

"Ми вважаємо, що WASM може стати своєрідним Інтернет-протоколом для смарт-контрактів, слугуючи ідеальним проміжним шаром між різноманітними мовами, якими пишуться смарт-контракти, та різноманітними бекендами, які використовуються для виконання та доказу смарт-контрактів," написали дослідники.