- Четверо специалистов из Offchain Labs, занимающихся развитием Arbitrum, выразили несогласие с позицией Виталика Бутерина относительно внедрения архитектуры набора команд (ISA) RISC-V для уровня исполнения Ethereum.
Четверо специалистов из 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 могут быть не в состоянии тягаться.
— пишут они.
Читайте нас на сайте transscreen.ru