Я заметил кое-что интересное в последнее время. Виталик возвращается с довольно радикальными предложениями по архитектуре Ethereum, и честно говоря, об этом стоит поговорить.

Итак, вот уже много лет разработчики Ethereum имеют своего рода плохую привычку. Каждый раз, когда им нужна новая криптографическая операция в цепочке, вместо того чтобы правильно реализовать её в EVM, они просто обходили проблему, добавляя предкомпилированные контракты на уровне протокола. Это как если бы мы постоянно мастерили что-то своими руками вместо того, чтобы заново заложить фундамент. Виталик по сути сказал: хватит, этого достаточно. Если EVM недостаточно хороша, мы не будем продолжать накапливать заплатки. Мы её заменим.

Он предложил два кардинальных изменения. Первое касается дерева состояния Ethereum, его можно представить как систему индексирования реестра. Сейчас это сложная структура, называемая шестикратным деревом Меркла Кекаска (Keccak Merkle Patricia tree) (да, название немного сумасшедшее). Идея — заменить её простым двоичным деревом. Конкретно, вместо того чтобы выбирать направление на перекрёстке с шестью ветвями, у вас будет всего два варианта: налево или направо. Результат? Длина ветвей Меркла сокращается примерно на 75%. Для лёгких клиентов это огромный прирост в пропускной способности.

Но Виталик на этом не останавливается. Он также хочет изменить функцию хеширования. Есть два кандидата: Blake3 или Poseidon. Blake3 — это классика, проверенная временем. Poseidon — более амбициозный, теоретически он может умножить эффективность доказательств в десятки раз, но требуется больше аудитов безопасности.

Второе изменение более спорное: заменить EVM на RISC-V в долгосрочной перспективе. RISC-V — это открытая архитектура команд, изначально созданная для другого, но сейчас активно используемая во всех системах доказательств ZK. Логика проста: поскольку все доказатели уже используют RISC-V, почему виртуальная машина должна использовать другой язык с промежуточным слоем перевода? Это неэффективно. Интерпретатор RISC-V требует всего несколько сотен строк кода.

Виталик представил план из трёх этапов: сначала запуск предкомпилированных контрактов на новой виртуальной машине, затем разрешить разработчикам напрямую развёртывать их на новой архитектуре параллельно с существующим EVM, и, наконец, убрать EVM, переписав его как умный контракт на новой виртуальной машине. Никаких разрывов совместимости. Это элегантно.

Цифры, которые он привёл, впечатляют: дерево состояния и виртуальная машина вместе составляют более 80% узкого места в доказательствах Ethereum. Иными словами, без изменения этих двух компонентов, реальную масштабируемость в эпоху ZK забыть.

Но, конечно, не все согласны. Offchain Labs, команда за Arbitrum, опубликовала подробную техническую опровержение. Их аргумент: RISC-V хорош для ZK-доказательств, но не подходит для формата доставки контрактов. Они делают важное различие: вам не нужно, чтобы грузчик управлял погрузчиком только потому, что ваш склад его использует. Они выступают за WebAssembly (WASM) для слоя контрактов, и их аргументы звучат убедительно. WASM работает эффективно на стандартном оборудовании, тогда как большинство узлов Ethereum не работают на RISC-V. Offchain Labs уже реализовали прототип: WASM для контрактов, скомпилированный в RISC-V для ZK-доказательств. Два слоя, каждый выполняет свою задачу.

Что интересно — это более широкий контекст. Несколько месяцев назад Виталик ставил под сомнение необходимость у Ethereum иметь отдельную дорожную карту L2. И L2 не паникуют, они активно начинают «дек-эфиризироваться». Polygon и OP Labs теперь говорят о Ethereum как о базовом стандарте расчетов, а не как о своей основной инфраструктуре. Это настоящий сдвиг в ориентации.

Сам Виталик признаёт, что пока нет широкого консенсуса по замене EVM. Модернизация дерева состояния продвинулась дальше с EIP-7864, у которого уже есть конкретный проект. Но замена EVM на RISC-V? Пока это только стратегический план, далеко не реализованный в коде.

Что меня поразило — это его недавнее заявление: Ethereum уже заменил реактивный двигатель в полёте с помощью The Merge, и может сделать это ещё примерно четыре раза. Дерево состояния, упрощённый консенсус, проверка ZK-EVM, замена виртуальной машины. Всё это амбициозно.

Настоящий вопрос — это ли продуманная модернизация или бездонная яма, которая только расширяется? Пока сказать трудно. Но одно ясно: Ethereum не собирается превращаться в устаревшую систему, которая чинится по ходу дела в эпоху ZK. Как демонтировать заплатки и какую модель внедрять — этот сам по себе дискурс может оказаться ценнее окончательного ответа.