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

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

По мнению четырех исследователей Offchain Labs — Марио Альвареса, Маттео Кампанелли, Цахи Зиденберга и Даниэля Луми, несмотря на то, что RISC-V сейчас имеет преимущество при создании ZK-доказательств, это не означает, что данный формат подходит для развертывания и хранения смарт-контрактов на Ethereum.

Спорное предложение Виталика

Виталик Бутерин ранее предлагал заменить байткод Ethereum Virtual Machine на открытый набор инструкций RISC-V в статье на Ethereum Magicians в апреле. Эта идея была направлена на значительное снижение стоимости создания ZK-доказательств, в некоторых случаях — до 100 раз.

Однако Offchain Labs считает, что предположение о том, что «один ISA оптимально подходит как для доказывания, так и для развертывания смарт-контрактов», неверно.

Разделение “delivery ISA” и “proving ISA”

Ключевой аргумент группы заключается в необходимости разделения между:

• Delivery ISA (dISA): формат, используемый для размещения смарт-контрактов ончейн.
• Proving ISA (pISA): формат, используемый в ZK-VM для создания доказательств.

Эти два слоя не обязательно должны совпадать.

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-битной версии RISC-V на 64-битную демонстрирует, что технология еще не достигла стабильности.

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

Кроме того, стоимость ZK-доказательства уже снизилась примерно до 0,025 доллара за блок Ethereum и продолжает снижаться, что делает экстремальную оптимизацию под доказательства менее актуальной. «Даже если L1 потребует несколько ZK-доказательств на блок, эта стоимость останется незначительной по сравнению с gas-расходами и MEV, которые может получить билдeр», — отмечает команда.

Долгосрочные преимущества WASM

Offchain Labs отмечает, что WASM обладает следующими преимуществами:

• Ясная структура, позволяющая оптимизировать или вносить изменения без нарушения существующих контрактов.
• Хорошая производительность на распространённом оборудовании, нет необходимости в эмуляции, как у RISC-V.
• Сильные механизмы верификации, обеспечивающие type safety и снижающие риски безопасности.
• Зрелая экосистема инструментов, проверенная в миллиардах сред выполнения.

Команда делает вывод: «Мы считаем, что WASM может стать своего рода интернет-протоколом для смарт-контрактов — идеальным промежуточным слоем между разнообразными языками программирования и различными бэкендами исполнения и доказательств».

Тхак Шань