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

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

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

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

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

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

Ключевой аргумент команды заключается в различии между «доставочным ISA» (dISA) — форматом загрузки контрактов on-chain — и «доказательным ISA» (pISA), используемым ZK-виртуальными машинами. По их мнению, эти форматы не обязательно должны совпадать.

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

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

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 может стать своего рода Интернет-протоколом для смарт-контрактов, служа идеальным промежуточным слоем между разнообразными исходными языками, на которых пишутся смарт-контракты, и различными бэкендами, используемыми для их исполнения и доказательства», — написали исследователи.