Команда исследователей предложила перевести 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.
