Compass Investments

Четверо специалистов из Offchain Labs, занимающихся развитием Arbitrum, выразили несогласие с позицией Виталика Бутерина относительно внедрения архитектуры набора команд (ISA) RISC-V для уровня исполнения Ethereum.

По их мнению, WASM представляется более предпочтительным долгосрочным решением, чем RISC-V, для формата смарт-контрактов на L1 Ethereum, или “ISA доставки”.

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

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

Сооснователь Ethereum Бутерин в апреле в публикации на Ethereum Magicians предложил заменить байткод виртуальной машины Ethereum на открытую архитектуру набора команд (ISA) RISC-V (произносится как “риск-файв”

), мотивируя это потенциальным снижением затрат на внутричейн ZK-доказательства в ряде случаев до ста раз.

“Мы разделяем эти цели, однако ставим под сомнение необоснованное заключение Виталика о том, что одна и та же 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 как конечной точки в развитии ZK-VM, указывая на стремительные изменения в сфере доказательств. Недавний переход от 32-битных к 64-битным версиям RISC-V подчеркивает эту неопределенность.

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

Тем временем, стоимость ZK-доказательств снизилась приблизительно до $0,025 за блок Ethereum и продолжает падать, что делает узконаправленную оптимизацию под эффективность доказательств менее приоритетной, утверждают исследователи.

“Даже если бы L1 требовалось несколько ZK-доказательств на каждый блок, эти издержки были бы незначительными по сравнению с комиссиями за газ и MEV, которые может получить строитель блока,”

пишут они.

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

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

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