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-верификацию через двухэтапный процесс:

1. Компиляция WASM в RISC-V. 
2. Генерация доказательств выполнения 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. 

Источник: forklog.com