Основной разработчик L2-сети Arbitrum — Offchain Labs — представил собственный подход к модернизации Ethereum Virtual Machine (EVM). Команда исследователей предложила перевести Ethereum на WASM вместо предложенной Виталиком Бутериным архитектуры RISC-V. По их мнению, RISC-V хорошо подходит для генерации доказательств с нулевым разглашением, но не является оптимальным вариантом для исполнения и хранения смарт-контрактов платформы. Ранее Бутерин заявлял, что RISC-V решит ряд проблем масштабирования первого уровня блокчейна и снизит стоимость ZK в 100 раз. «Мы поддерживаем эти цели, но ставим под сомнение предположение Виталика о том, что одна архитектура команд может оптимально обслуживать как доказательства с нулевым разглашением, так и исполнение смарт-контрактов», — написали Марио Альварес, Маттео Кампанелли, Цахи Зиденберг и Даниэль Луми. Разработчики выделили несколько фундаментальных преимуществ архитектуры WebAssembly: модульный дизайн — позволяет модернизировать и оптимизировать исполняемый код, сохраняя полную обратную совместимость с существующими контрактами; кроссчейн-эффективность — работает на стандартном серверном оборудовании, в отличие от RISC-V, который требует эмуляции на большинстве нод Ethereum; строгая валидация — встроенная типобезопасность предотвращает целый класс уязвимостей на уровне исполнения; производственная готовность — экосистема инструментов прошла испытание в миллиардах реальных сред выполнения. «WASM способен стать универсальным протоколом для смарт-контрактов — идеальным промежуточным стандартом, который связывает многообразие языков программирования с различными системами исполнения и верификации», — подчеркнула команда. Доводы против Ключевой аргумент исследователей — различие между «исполняемой» (dISA) и «доказывающей ISA» (pISA). Эксперты считают, что унификация этих архитектур не является обязательной, поскольку они решают разные задачи. Offchain Labs создают модель с ориентацией на этот подход. Блоки Arbitrum со смарт-контрактами Stylus на базе WASM проходят ZK-верификацию через двухэтапный процесс: Компиляция WASM в RISC-V. Генерация доказательств выполнения RISC-V. «Мы уже сегодня способны верифицировать реальные блоки блокчейна через ZK-доказательства, где WASM используется как исполняемая архитектура, а ZK-VM на базе RISC-V работает как вычислительный бэкенд», — пояснили эксперты. Команда также указала на быстрое изменение ландшафта технологий доказательств, усомнившись, что RISC-V — конечная точка эволюции ZK-VM. В качестве примера они привели недавний переход с 32- на 64-битные реализации RISC-V, демонстрирующий, что стандарты продолжают развиваться. По мнению исследователей, фиксация архитектуры на L1 может ограничить гибкость Ethereum в будущем, не позволяя адаптироваться к более совершенным технологиям доказательств, которые неизбежно появятся. ZK-VM на базе WASM вроде Ligetron от Ligero уже демонстрируют функциональные преимущества, потенциально недостижимые для аппаратно-ориентированных моделей. Стоимость доказательств с нулевым разглашением снизилась примерно до $0,025 за блок и продолжает падать. «Даже при условии необходимости нескольких ZK-доказательств на блок, эти затраты останутся незначительными на фоне комиссий за газ и доходов от MEV, которые получает валидатор», — пояснили эксперты. Напомним, в апреле основатель Cardano Чарльз Хоскинсон положительно оценил предложение Бутерина о замене EVM на архитектуру RISC-V.
laravel-share::laravel-share-fa4.facebooklaravel-share::laravel-share-fa4.twitterlaravel-share::laravel-share-fa4.linkedin