Offchain Labs оспаривает предложение Виталика по RISC-V, утверждая, что WASM лучше для Ethereum L1

Offchain Labs, основной разработчик Ethereum Layer 2 Arbitrum, оспорил предложение Виталика Бутерина о переходе исполнительного уровня Ethereum на RISC-V, опубликовав подробный технический пост, в котором утверждается, что WebAssembly (WASM) предлагает превосходные долгосрочные преимущества.

В публикации от 20 ноября на Ethereum Research четыре исследователя из Offchain Labs утверждают, что хотя RISC-V в настоящее время превосходит в генерации ZK-доказательств, это не делает его правильным выбором для того, как смарт-контракты должны доставляться и храниться в Ethereum.

Соучредитель Ethereum Бутерин выдвинул идею замены байткода Ethereum Virtual Machine на архитектуру набора инструкций (ISA) с открытым исходным кодом RISC-V (произносится как "риск-файв") в публикации на Ethereum Magicians в апреле, утверждая, что это изменение может сократить затраты на он-чейн ZK-доказательства до 100 раз в некоторых случаях.

"Мы поддерживаем эти цели, но ставим под сомнение неявное предположение Виталика о том, что одна ISA может оптимально обслуживать как ZK-доказательства, так и доставку смарт-контрактов", - написали Марио Альварес, Маттео Кампанелли, Цахи Зиденберг и Даниэль Луми.

Отделить доставку от доказательства?

Основной аргумент команды сосредоточен на различии между "ISA доставки" (dISA) — форматом для загрузки контрактов на цепочке — и "ISA доказательства" (pISA), используемой виртуальными машинами ZK. Они утверждают, что они не обязательно должны быть одинаковыми.

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

"Мы можем ZK-доказывать реальные блоки уже сегодня в блокчейне, который использует WASM в качестве dISA, используя ZK-VM на основе RISC-V в качестве бэкенда", - говорится в публикации.

RISC-V может не оставаться оптимальным

Команда ставит под сомнение, представляет ли RISC-V конечную точку эволюции ZK-VM, отмечая, что ландшафт доказательств быстро меняется. Недавние переходы от 32-битных к 64-битным реализациям RISC-V подчеркивают эту неопределенность.

Закрепление RISC-V на L1 может привязать Ethereum к определенной технологии доказательств как раз тогда, когда появляются лучшие альтернативы, предупреждают они, в то время как ZK-VM на основе WASM, такие как Ligetron от Ligero, уже демонстрируют преимущества, которые ISA, ориентированные на аппаратное обеспечение, могут не соответствовать.

Между тем, затраты на ZK-доказательства упали примерно до 0,025 $ за блок Ethereum и продолжают падать, что делает менее критичным оптимизацию исключительно для эффективности доказательств, утверждают исследователи. "Даже если L1 потребует нескольких ZK-доказательств на блок, эта стоимость будет минимальной по сравнению с комиссиями за газ и MEV, которые строитель мог бы получить от блока", - написали они.

Преимущества WASM

Команда подчеркивает структурированный дизайн WASM, который облегчает модификацию и оптимизацию кода без нарушения существующих контрактов. WASM также эффективно выполняется на обычном оборудовании, в то время как большинство узлов Ethereum не работают на процессорах RISC-V и нуждались бы в эмуляции.

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

"Мы думаем, что WASM может быть своего рода Интернет-протоколом для смарт-контрактов, служащим идеальным промежуточным слоем между различными исходными языками, на которых написаны смарт-контракты, и различными бэкендами, используемыми для выполнения и доказательства смарт-контрактов", - написали исследователи.

Отказ от ответственности: The Block — это независимое медиа-издание, которое предоставляет новости, исследования и данные. С ноября 2023 года Foresight Ventures является мажоритарным инвестором The Block. Foresight Ventures инвестирует в другие компании в криптопространстве. Криптобиржа Bitget является якорным LP для Foresight Ventures. The Block продолжает работать независимо, чтобы предоставлять объективную, значимую и своевременную информацию о криптоиндустрии. Вот наши текущие финансовые раскрытия.

© 2025 The Block. Все права защищены. Эта статья предоставляется только в информационных целях. Она не предлагается и не предназначена для использования в качестве юридической, налоговой, инвестиционной, финансовой или другой консультации.