Автор: Серый рак, Shenchao TechFlow
У разработчиков Ethereum есть негласная привычка: если можно обойтись без EVM, то лучше обойтись.
В последние годы, когда на цепочке требовалась новая криптографическая операция, разработчики первым делом не пытались реализовать её в EVM, а подавали заявку на добавление «предварительно скомпилированного смарт-контракта» — быстрого способа, обходящего виртуальную машину и жёстко закодированного на уровне протокола.
1 марта Виталик Бутерин опубликовал длинный пост на X, полностью разрушив эту иллюзию. Его слова в сущности звучали так: весь смысл Ethereum заключается в его универсальности; если EVM недостаточно хороша, мы должны прямо решить эту проблему и создать лучший виртуальный машина.
Он показал две конкретные хирургические скальпели.
Первый удар: замените "структуры данных"
Первое изменение касается дерева состояний Ethereum. Вы можете представить его как «индексную систему книги учета» Ethereum — каждый раз, когда кто-то проверяет баланс или подтверждает транзакцию, необходимо просматривать эту дерево.
Проблема в том, что сейчас это дерево слишком «толстое». Эфириум использует структуру, называемую «шестидетельной Keccak Merkle Patricia Tree» (название звучит как заклинание). EIP-7864, предложенный Виталиком, предлагает заменить его на более простое бинарное дерево.
Например: раньше, чтобы найти одну запись данных, вам приходилось многократно выбирать направление на шестиуровневом перекрёстке, а теперь выбор ограничен только левым и правым путём. Что получается? Длина ветви Меркла сокращается в четыре раза. Для лёгких клиентов это означает значительное снижение требуемой пропускной способности для проверки данных.
Но Виталик не ограничивается изменением формы дерева — он также хочет изменить «шрифт на листьях», то есть хеш-функцию. Кандидаты: Blake3 и Poseidon.
- Blake3 обеспечивает стабильное ускорение;
- Poseidon более агрессивен и теоретически может повысить эффективность доказательства в десятки раз, но безопасность требует дополнительных аудитов.
Стоит отметить, что эта схема фактически заменила Verkle Trees, которые обсуждались сообществом много лет. Verkle ранее была предпочтительным вариантом для хардфорка 2026 года, но с середины 2024 года она потеряла популярность из-за угрозы со стороны квантовых вычислений для используемой в ней эллиптической криптографии, и на смену ей пришла схема на основе бинарных деревьев.
Второй удар: замените «виртуальную машину» — превратите EVM в смарт-контракт
Второе изменение более смелое и спорное: долгосрочная замена EVM архитектурой RISC-V.
RISC-V — это открытая инструкционная архитектура, изначально не связанная с блокчейном, но сейчас она используется внутри почти всех систем ZK-доказательств. Логика Виталика проста: если доказательства уже используют язык RISC-V, зачем виртуальной машине использовать другой язык и добавлять промежуточный перевод? Убрав слой перевода, эффективность естественным образом возрастет.
Интерпретатор RISC-V требует всего несколько сотен строк кода. Виталик говорит, что именно так должен выглядеть блокчейн-виртуальный машина.
Он спланировал три этапа: первый этап — запустить предкомпилированные смарт-контракты на новой виртуальной машине и переписать существующие 80% предкомпилированных контрактов с использованием кода новой ВМ; второй этап — позволить разработчикам напрямую развертывать смарт-контракты на новой виртуальной машине, одновременно с EVM; третий этап — вывод EVM из эксплуатации, но не исчезновение — она будет переписана как смарт-контракт, работающий на новой виртуальной машине, обеспечивая полную обратную совместимость.
Старым владельцам не нужно менять автомобиль. Просто двигатель тихо заменили, а руль остался тем же самым.
Насколько важны эти два аспекта вместе? Виталик дал цифру: дерево состояний и виртуальная машина вместе составляют более 80% узкого места доказательств Ethereum. Другими словами, если не трогать эти две части, масштабирование Ethereum в эпоху ZK будет идти по кругу.
Arbitrum не согласен: ты не можешь требовать, чтобы курьеры управляли погрузчиками только потому, что склад использует погрузчики
Но это не история, с которой все согласны.
В ноябре прошлого года основная команда разработчиков Arbitrum, Offchain Labs, опубликовала подробное техническое опровержение. Основная позиция четырех исследователей заключалась в том, что RISC-V действительно подходит для создания ZK-доказательств, но не подходит в качестве «формата доставки» для смарт-контрактов.
Они выделили ключевое различие: набор команд доставки (dISA) и набор команд доказательства (pISA) не обязательно должны быть одним и тем же. Ваш склад может максимально эффективно перемещать грузы с помощью погрузчика, но это не означает, что курьер должен приезжать к вашему дому на погрузчике.
Offchain Labs выступает за использование WebAssembly (WASM) в качестве слоя смарт-контрактов, поскольку аргументы являются вполне обоснованными: WASM обеспечивает высокую эффективность выполнения на стандартном оборудовании, тогда как большинство узлов Ethereum не используют чипы RISC-V, и принудительный переход потребовал бы эмулятора; WASM обладает зрелыми механизмами проверки типобезопасности; экосистема инструментов WASM уже прошла практическую проверку в десятках миллиардов сред выполнения.
Еще важнее то, что они не просто говорят об этом. Offchain Labs уже запустили прототип на Arbitrum: используют WASM в качестве формата доставки смарт-контрактов, а затем компилируют их в RISC-V для генерации ZK-доказательств. Каждый уровень выполняет свою задачу, не мешая друг другу.
Они также подняли важный риск: технологические изменения в области ZK-доказательств происходят чрезвычайно быстро, и недавно реализация RISC-V перешла с 32-битной на 64-битную архитектуру. Что, если через два года появится более совершенная архитектура доказательств? Привязывать ставки к быстро движущейся мишени — не стиль Эфириума.
Более широкий контекст: L2 начинают «отлучать»
Для понимания этого предложения необходим более широкий контекст.
Ровно месяц назад Виталик открыто поставил под сомнение необходимость существования «специальной дорожной карты L2» для Ethereum, что вызвало совместный ответ от сообщества L2. Генеральный директор Espresso Systems Бен Фиш сказал CoinDesk очень точно: подразумевается, что Виталик имел в виду, что первоначальная цель L2 заключалась в масштабировании Ethereum, но теперь, когда Ethereum сам становится быстрее, позиция L2 естественным образом меняется.
Интересно, что L2-решения не впали в панику, а начали активно «декомпензироваться» с Ethereum. Сооснователь OP Labs Цзин Ван сравнивает L2 с независимыми веб-сайтами, а Ethereum — с базовым открытым стандартом расчетов. Генеральный директор Polygon Марк Буирон говорит еще более прямо: настоящий вызов — не масштабируемость, а создание уникального блочного пространства для реальных сценариев, таких как платежи.
Другими словами, это крупное изменение Виталиком в исполнительном уровне — это техническое подтверждение более широкой тенденции: Эфириум возвращает себе контроль над своими ключевыми возможностями, а L2 вынуждены или, наконец, находят свое независимое обоснование существования.
Will this work?
Виталик сам признал, что на данный момент нет широкого консенсуса в сообществе разработчиков по поводу замены виртуальной машины. Реформа дерева состояний более зрелая: EIP-7864 уже имеет конкретный черновик и команду, продвигающую его. Но замена EVM на RISC-V? Это пока только на этапе «дорожной карты» и еще далеко до внедрения в код.
Однако на прошлой неделе Виталик сделал впечатляющее заявление: Ethereum уже заменил один реактивный двигатель во время полета (имеется в виду The Merge), и впереди еще примерно четыре замены: дерево состояний, упрощенный консенсус, верификация ZK-EVM и замена виртуальной машины.
Ожидается, что обновление Ethereum Glamsterdam будет реализовано в первой половине 2026 года, за ним последует Hegota. Конкретные детали этих двух хардфорков еще не окончательно утверждены, но реформа дерева состояний и оптимизация исполнительного уровня являются определенными основными направлениями.
История Эфириума никогда не была вопросом «можно или нельзя». Перейдя от PoW к PoS, от всеобъемлющего L1 к центру Rollup, он доказал, что обладает способностью и смелостью снимать двигатели на высоте десяти километров.
Сейчас затрагиваются более глубокие аспекты — не добавление новых функций, а перезаливка старого фундамента. Это продуманная реконструкция или бездонная яма, становящаяся все более сложной с каждым ремонтом? Ответ, вероятно, станет ясен только к 2027 году.
Но по крайней мере одно очевидно: Эфириум не намерен быть «старой системой с заплатками» в эпоху ZK. Как именно разобрать эти заплатки и какой двигатель установить вместо них — сам этот спор, возможно, ценнее самого вывода.