Offchain Labs відповідає Віталіку Бутеріну щодо просування RISC-V з аргументом на користь WASM на Ethereum L1

Offchain Labs стверджує, що Ethereum має відокремити доставки та інструкції доказування, щоб підтримувати довгострокову гнучкість.

Команда зазначає, що швидкі зміни в дизайнах ZK-VM створюють невизначеність щодо блокування Етер у RISC-V.

WASM пропонує структурну стабільність, апаратну сумісність та сильні функції валідації для виконання смарт-контрактів в ланцюгу.

Дослідники Offchain Labs висунули детальну критику пропозиції Віталіка Бутеріна щодо переходу виконавчого шару Ethereum на набір інструкцій RISC-V. Їхня позиція представила іншу структуру для оцінки того, як Ethereum обробляє код смарт-контрактів. Дослідники представили свої висновки на обговоренні в листопаді на Ethereum Research, де вони вивчали, як WebAssembly може працювати як формат доставки в довгостроковій перспективі для Layer 1 Ethereum.

Дослідники підкреслюють окремі ролі для систем доставки та доказування

Команда пояснила, як системи смарт-контрактів залежать від двох різних рівнів. Вони описали набір інструкцій доставки, який визначає, як контракти з'являються в мережі. Вони також детально розповіли про набір інструкцій доказів, що використовується в ZK віртуальних машинах для перевірки виконання. Вони зазначили, що ці ролі не повинні мати однаковий дизайн.

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

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

Витрати на підтвердження продовжують знижуватися по всій екосистемі

У дописі описано зниження вартості ZK-доказів. Дослідники зазначили, що поточні витрати становлять близько $0.025 за кожен блок Ethereum. Вони додали, що витрати продовжують знижуватися в міру розвитку систем доказування. Вони пояснили, що ці цифри зменшують потребу розробляти формат доставки виключно навколо ефективності доказування.

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

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