Offchain Labs отвечает на инициативу Виталика Бутерина по RISC-V с аргументами в пользу WASM на Ethereum L1

Offchain Labs утверждает, что Ethereum должен разделить наборы инструкций доставки и доказательства, чтобы сохранить долгосрочную гибкость.

Команда отмечает, что быстрые изменения в дизайнах ZK-VM создают неопределенность вокруг блокировки Ethereum в RISC-V.

WASM предлагает структурную стабильность, совместимость с аппаратным обеспечением и сильные функции валидации для выполнения смарт-контрактов в блокчейне.

Исследователи Offchain Labs выдвинули детальный вызов предложению Виталика Бутерина по переносу слоя исполнения Ethereum на набор команд RISC-V. Их позиция предложила другую структуру для оценки того, как Ethereum обрабатывает код смарт-контрактов. Исследователи представили свои выводы в ноябрьском обсуждении на Ethereum Research, где они рассмотрели, как WebAssembly может функционировать в качестве долгосрочного формата доставки для Layer 1 Ethereum.

Исследователи подчеркивают различные роли для систем доставки и доказательства

Команда объяснила, как системы смарт-контрактов зависят от двух различных уровней. Они описали набор инструкций для доставки, который определяет, как контракты отображаются в блокчейне. Они также подробно рассказали о наборе инструкций для доказательства, используемом ZK виртуальными машинами для проверки выполнения. Они заявили, что эти роли не обязаны иметь одинаковый дизайн.

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

Исследователи изучили быстрые изменения в разработке ZK-VM. Они отметили, что реализации RISC-V недавно перешли с 32-битных на 64-битные конструкции. Они заявили, что это изменение создает неопределенность в отношении долгосрочной оптимизации для систем доказательства. Они сосредоточились на риске внедрения единой аппаратно-ориентированной ISA в базовый уровень Ethereum, в то время как другие проекты ZK-VM разрабатывают альтернативные структуры доказательства. Они упомянули ориентированные на WASM усилия по доказательству, такие как Ligero’s Ligetron, как примеры новых направлений в этой области.

Стоимость доказательства продолжает падать по всей экосистеме

Пост описывал снижение затрат на ZK-доказательства. Исследователи отметили, что текущие затраты находятся на уровне около $0.025 за каждый блок Ethereum. Они добавили, что затраты продолжают снижаться по мере развития систем доказательства. Они объяснили, что эти цифры уменьшают необходимость проектирования формата доставки только вокруг эффективности доказательства.

Они отметили, что строители все еще могут собирать газовые сборы и MEV, которые превосходят расходы на доказательства при нормальных условиях блока. Исследователи указали на структурированный формат WASM. Они объяснили, что эта структура упрощает обновление кода без нарушения существующих контрактов. Они добавили, что WASM работает эффективно на обычном оборудовании, используемом большинством узлов Ethereum.

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