Дорожная карта Lean Ethereum: план изменений протокола

Lean Ethereum — не hard fork «одной кнопкой»

Судя по опубликованному описанию, Бутерин позиционирует Lean Ethereum как третью крупную долгосрочную эволюцию протокола после Merge. Важная деталь: речь не о единовременном апгрейде, а о серии крупных изменений, которые будут внедряться поэтапно.

Контекст такой: две недели назад исследователи Ethereum встречались в Берлине, чтобы пересмотреть долгосрочное направление развития протокола. Этому предшествовали обсуждения с клиентскими командами на Шпицбергене в апреле. То есть это не одиночный пост с архитектурной фантазией, а, как минимум, результат внутреннего ресерча вокруг клиента, консенсуса и долгосрочной поддержки протокола.

С практической стороны это означает простую вещь: стек Ethereum опять уходит от модели «исполняем всё напрямую и проверяем повторным прогоном». Одним из ключевых пунктов дорожной карты названы рекурсивные STARK вместо прямого повторного выполнения при верификации. Цель — сделать рекурсивные STARK фундаментальной частью проверки протокола.

Маркетингово это звучит гладко. Инженерно — это перенос сложности из обычного execution path в доказательства и их агрегацию. Проверять здесь надо не лозунг про масштабирование, а бенчмарки: стоимость генерации доказательств, задержку, требования к памяти, отказоустойчивость клиентских реализаций и то, как это будет переживать реальные пики нагрузки.

Квантовая безопасность и консенсус: меньше магии, больше замены примитивов

Вторая линия — квантовая безопасность. По словам Бутерина, замена криптографических структур Ethereum, уязвимых для квантовых атак, на квантово-безопасные альтернативы стала более приоритетной задачей. Отдельно выделена конструкция «блоба»: обеспечение ее квантовой безопасности названо неотложным направлением, работа по нему, как сообщается, идет уже несколько месяцев.

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

Третья часть — консенсус. В рамках Lean Ethereum планируются изменения в его структуре: движение к более простой, быстрой и теоретически более безопасной схеме, где используемая цепочка отделяется от механизма окончательности, а финальность достигается за один или два раунда.

Фраза «теоретически более безопасная» требует холодного отношения. До формальных спецификаций, реализаций клиентов и тестовых сетей это не свойство системы, а гипотеза. Для валидаторов и инфраструктурных провайдеров ключевые вопросы будут банальны: как меняются условия слэшинга, как ведет себя финальность при сетевых разрывах, что происходит с мемпулом и клиентским разнообразием при новых assumptions.

Состояние: 2 ТБ старого мира и 100 ТБ ограниченного нового

Самая прикладная часть дорожной карты — структура состояния Ethereum. По описанию Бутерина, формируется консенсус вокруг сохранения текущего «динамического состояния», но с ограниченным масштабированием, и добавления новых типов состояния: более масштабируемых, но более ограничительных.

В качестве примерной архитектуры Ethereum на 2030 год названы 2 ТБ динамического состояния текущего типа и 100 ТБ нового масштабируемого, но более ограниченного состояния. Это редкий случай, когда в обсуждении протокола появляется конкретная форма компромисса: не пытаться сделать весь global state одинаково мощным, а развести классы хранения по свойствам.

По словам Бутерина, новый тип состояния может подойти для ERC-20, NFT и многих DeFi-сценариев. Но он может быть хуже применим для контрактов вроде Uniswap, ончейн-книг ордеров и более сложных централизованных структур. Также рассматриваются ключевые nonce, кольцевые буферы, UTXO, статически доступное состояние и временное состояние.

Для разработчиков контрактов здесь главный сигнал: переписывать существующие реализации, как утверждается, не потребуется. Но миграция, например, ERC-20 к новой архитектуре хранения UTXO потенциально может снизить комиссии за транзакции более чем в десять раз. Это не обещание для любого dApp. Это указание на класс workload, где хранение и доступ к состоянию можно сделать дешевле за счет ограничений.

Вердикт сухой. Lean Ethereum пока не спецификация, а дорожная карта с сильным архитектурным уклоном: STARK-верификация, квантово-безопасные примитивы, новая финальность, многомерный газ, переработка клиента, упрощение протокола и приватность как первичная цель. Следить нужно не за названием инициативы, а за тем, где появятся EIP, клиентский код и воспроизводимые бенчмарки. Без них Lean остается аккуратно сформулированной гипотезой. С ними — потенциально самым болезненным рефакторингом Ethereum после Merge.