Новый взгляд Offchain Labs на модернизацию Ethereum
Ведущий разработчик L2-сети Arbitrum, компания Offchain Labs, предложила альтернативный путь обновления Ethereum Virtual Machine (EVM). Команда исследователей обратила внимание на переход Ethereum к WebAssembly (WASM) вместо того решения, которое предложил сам Виталик Бутерин - архитектура RISC-V.
Согласно мнению авторов, RISC-V прекрасно подходит для генерации доказательств с нулевым разглашением (Zero-Knowledge proofs), но не является лучшим вариантом для исполнения и хранения смарт-контрактов. Ранее Бутерин утверждал, что RISC-V поможет решить ряд проблем масштабирования первого уровня и сократит стоимость ZK-доказательств в сто раз.
«Мы поддерживаем эти цели, но ставим под вопрос предположение Виталика о том, что одна и та же архитектура команд может одновременно оптимально обслуживать как доказательства, так и исполнение смарт-контрактов», - заявили Марио Альварес, Маттео Кампанелли, Цахи Зиденберг и Даниэль Луми.
В команде выделили четыре ключевых преимущества WASM:
- Модульный дизайн, позволяющий модернизировать и оптимизировать исполняемый код, не теряя совместимости с существующими контрактами;
- Кроссчейн-эффективность: работает на стандартном серверном оборудовании, в отличие от RISC-V, который часто требует эмуляции;
- Строгая валидация: встроенная типобезопасность устраняет целый класс уязвимостей на уровне исполнения;
- Готовность к промышленному использованию: экосистема инструментов прошла проверку в миллиардах реальных сред выполнения.
Команда подчёркивает, что WASM способен стать универсальным протоколом для смарт-контрактов, идеальным промежуточным стандартом, связывающим разнообразные языки программирования с различными системами исполнения и верификации.
Ключевой аргумент исследователей - различие между «исполняемой» ISA (dISA) и «доказывающей» ISA (pISA). Они считают, что унификация этих архитектур не обязательна, поскольку они решают разные задачи. Offchain Labs создают модель, ориентированную на этот подход: блоки Arbitrum со смарт-контрактами на базе WASM проходят ZK-верификацию через двухэтапный процесс - компиляцию WASM в RISC-V и генерацию доказательств выполнения RISC-V.
«Сегодня мы уже можем верифицировать реальные блоки Ethereum через ZK-доказательства, где WASM выступает как исполняемая архитектура, а ZK-VM на базе RISC-V служит вычислительным бекендом», - пояснили эксперты.
Команда также отметила быструю эволюцию технологий доказательств и сомневается, что RISC-V станет конечной точкой. Примером служит переход с 32-битных на 64-битные реализации RISC-V, показывающий, что стандарты продолжают развиваться. По мнению исследователей, закрепление архитектуры на L1 может ограничить гибкость Ethereum в будущем, препятствуя адаптации к более совершенным технологиям доказательств.
ZK-VM на базе WASM, такие как Ligetron от Ligero, уже демонстрируют функциональные преимущества, которые трудно достичь аппаратно-ориентированными моделями. Стоимость доказательств с нулевым разглашением упала до примерно $0,025 за блок и продолжает снижаться. «Даже при необходимости нескольких ZK-доказательств на блок эти расходы останутся незначительными по сравнению с комиссиями за газ и доходами от MEV, которые получает валидатор», - отмечают эксперты.
В апреле основатель Cardano Чарльз Хоскинсон положительно оценил предложение Бутерина о переходе EVM на RISC-V, но сейчас Offchain Labs предлагает альтернативный, возможно более гибкий, путь развития сети.