Виталик Бутерин представил план «криптографического мирового компьютера» для Ethereum

Следующее обновление Ethereum станет последним, которое узнает кто-либо из 2015 года, написал его соучредитель Виталик Бутерин в посте, опубликованном в субботу.

Hegota, форк, запланированный на следующий год, «вероятно, станет последним „обычным“ форком Ethereum», сказал он. То, что последует, включает рекурсивные STARK, автоматизированную формальную верификацию, сильно оптимизированный консенсус и обеспечение квантовой безопасности всего этого.

Пост-Lean Ethereum называется блокчейном «в значительной степени по историческим причинам», написал Бутерин.

В действительности, утверждал он, это «гибридная конструкция», объединяющая идеи Сатоси Накамото с криптографическим механизмом, появившимся в результате 50 лет академической работы и «даже не существовавшим» в 2009 году. Эта архитектура, написал он в твите, позволит «обеспечить гораздо более мощные свойства», чем один только блокчейн.

Верификация, консенсус и построение блоков

Три ключевых свойства заменяются полностью. Верификация переходит от загрузки и повторного выполнения каждого блока к выборке данных с помощью PeerDAS и проверке SNARK. Консенсус переходит к «гораздо лучше оптимизированной» модели доказательства доли владения. А построение блоков переходит от одного майнера, решающего, что войдёт в блок, к совместному построению несколькими сторонами.

Финальность наступала бы за 8–32 секунды против примерно 200 секунд для 12 подтверждений сегодня, слоты длились бы 4–8 секунд, а для запуска узла требовалось бы гораздо меньше аппаратного обеспечения. Устойчивость к цензуре обеспечивалась бы FOCIL — схемой, в которой комитет валидаторов публикует список ожидающих транзакций, которые должен содержать следующий блок, и это обеспечивается правилом выбора форка, так что блоки, опускающие их, игнорируются. Бутерин описал результат как «гарантированное включение транзакций в реальном времени».

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

Разработчики почувствуют этот сдвиг в стоимости газа. Одни и те же вычисления будут стоить дороже, «если вы запихнёте всё это в одну непостижимую последовательно исполняемую транзакцию», — писал Бутерин, и дешевле, если их разделить на зависимости, которые можно распараллелить или исключить до того, как транзакция достигнет блока.

Децентрализация как преимущество

Децентрализация перестаёт быть исключительно затратой, утверждал Бутерин. Она позволяет хранить данные параллельно, выполнять вычисления параллельно внутри мемпула и скрывать метаданные так, как централизованная система не может.

Это была мечта середины 2010-х, сказал он, и тогда она провалилась по одной причине: не было способа проверить, что разделённая работа была выполнена правильно. Комитеты, отбираемые случайным образом, было «сложно организовать и дорого», они добавляли задержку и не давали «никаких средств защиты, если комитет не справляется». Современная криптография решает эту проблему, а накладные расходы «уменьшаются месяц за месяцем».

Ещё дальше находится неразличимая обфускация, которую Бутерин описывает как святой Грааль, поскольку она полностью устранила бы компромисс между приватностью и общностью. Он прямо заявляет, что ничто в этом посте от неё не зависит и что «все выводы этого поста будут применимы задолго до того, как что-либо из этого станет доступным».

Более сложная ближайшая проблема довольно прозаична. Сделать доказательства с нулевым разглашением достаточно быстрыми и безопасными — это «инкапсулированная сложность», уже оптимизируемая с помощью инструментов ИИ, писал он. Управление и распараллеливание доступа к очень большим объёмам состояния остаётся «более трудной и системно сложной» задачей.

Пост читается как общедоступное сопровождение к Strawmap — черновому графику Ethereum Foundation из семи форков до 2029 года, который Бутерин назвал «очень важным документом», когда Джастин Дрейк опубликовал его в феврале. Если там зависимости изложены форк за форком, то пост Бутерина указывает на конечную цель: время слота сокращается с 12 секунд до двух, финальность — примерно с 16 минут до однозначных чисел, а вся сеть заменяется компонент за компонентом в том, что Бутерин тогда назвал перестройкой «корабля Тесея».