Offchain Labs виступає проти пропозиції Vitalik щодо RISC-V, підтримує WASM для Ethereum L1

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

За словами чотирьох дослідників Offchain Labs – Маріо Альвареса, Маттео Кампанеллі, Цахі Зіденберга та Даніеля Лумі – хоча RISC-V наразі має перевагу у створенні ZK-доказів, це не означає, що він є відповідним форматом для розгортання та зберігання смарт-контрактів на Ethereum.

Суперечлива пропозиція Віталіка

Віталік Бутерін колись запропонував замінити байткод Ethereum Virtual Machine на відкритий інструкційний набір RISC-V у статті на Ethereum Magicians у квітні. Ідея полягала у значному зниженні вартості створення ZK-доказів, у деяких випадках до 100 разів.

Однак Offchain Labs вважає, що припущення “один ISA оптимально підходить і для proving, і для розгортання смарт-контрактів” є необґрунтованим.

Відокремлення “delivery ISA” та “proving ISA”

Ключове твердження групи: потрібно розділяти:

• Delivery ISA (dISA): формат для розміщення смарт-контракту на ончейні.
• Proving ISA (pISA): формат, що використовується у ZK-віртуальній машині для створення доказів.

Ці два рівні не обов’язково мають бути однаковими.

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

“Ми можемо ZK-доводити реальні блоки у блокчейні, використовуючи WASM як dISA через ZK-VM backend, побудований на RISC-V,” – пише команда.

RISC-V може не бути фінальною точкою

Дослідники також ставлять під сумнів, чи дійсно RISC-V є оптимальним кінцевим пунктом для ZK-VM, адже екосистема proving швидко змінюється. Нещодавній перехід від RISC-V 32-bit до 64-bit показує, що технологія ще не усталена.

Якщо Ethereum “застрягне” на RISC-V у Layer 1, блокчейн може залишитися з застарілою proving-технологією, навіть якщо з’являться кращі рішення. Тим часом, ZK-VM на базі WASM – як-от Ligetron від Ligero – вже демонструють переваги, з якими апаратні ISA-архітектури не можуть конкурувати.

До того ж, вартість ZK-proving значно впала до близько 0,025 USD за блок Ethereum і продовжує знижуватися, тому крайня оптимізація для proving вже не є нагальною. “Навіть якщо L1 вимагатиме кілька ZK-доказів на блок, ця вартість все одно незначна порівняно з gas- і MEV-комісіями, які отримує builder,” – вважає команда.

Довгострокові переваги WASM

Offchain Labs вважає, що WASM має переваги завдяки:

• Чіткій структурі, що дозволяє оптимізувати чи змінювати формат без порушення існуючих контрактів.
• Високій продуктивності на поширеному апаратному забезпеченні, без емуляції, як у випадку з RISC-V.
• Потужним механізмам валідації, що гарантують type safety та зменшують ризик безпекових помилок.
• Зрілій екосистемі інструментів, перевіреній мільярдами середовищ виконання.

Команда підсумовує: “Ми вважаємо, що WASM має потенціал стати своєрідним Інтернет-протоколом для смарт-контрактів – ідеальним посередником між різними мовами програмування та численними backend-реалізаціями виконання та proving.”

Тхак Шань