Сооснователь Ethereum Виталик Бутерин в посте от 27 сентября описал Ethereum, в котором базовая цепочка урегулирует финальные результаты, а криптографические доказательства берут на себя всё большую долю работы по верификации. Его видение на 2030 год объединяет рекурсивные STARK-доказательства, выборку доступности данных, инструменты приватности и переработанный консенсус. Эссе задаёт многолетнее техническое направление, а не график поставок: соответствующий код, объём каждого обновления и сроки его реализации по-прежнему должны пройти обычный процесс разработки Ethereum.

Предлагаемый сдвиг можно сформулировать одним предложением: цепочка продолжает определять финальные результаты, а доказательства дают участникам более эффективный способ проверять работу, которая привела к этим результатам.

Что Ethereum всё ещё должен делать сам

Ethereum необходима общая запись о том, кто чем владеет и какая транзакция была первой. Эта запись не позволяет потратить одни и те же средства дважды и даёт приложениям финальное состояние, на которое может ссылаться каждый участник.

Сегодня полные узлы независимо валидируют транзакции и изменения состояния. Они проверяют, достаточно ли средств у отправителя, следует ли смарт-контракт своим правилам и соответствует ли итоговое состояние протоколу. Эта дублирующая работа укрепляет безопасность сети, но ограничивает прирост мощности, который давало бы добавление большего числа компьютеров.

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

Доказательства могут взять на себя больше проверочной работы

Доказательство с нулевым разглашением — это компактное математическое утверждение о том, что вычисление следовало заданному набору правил. STARKs — сокращение от Scalable Transparent Argument of Knowledge — это прозрачная конструкция на основе хешей, не требующая доверенной настройки. Prover выполняет более тяжёлые вычисления и предоставляет доказательства, которые другие участники могут эффективно проверить. Рекурсивные доказательства расширяют эту модель, объединяя множество доказательств в одно, что позволяет сети проверить один сжатый результат, охватывающий более широкий набор зависимостей. Такой подход может сократить объём повторяющихся вычислений, достигающих среды исполнения Ethereum.

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

Снижение затрат и более быстрое выполнение сложных действий остаются возможными результатами. Их масштаб будет зависеть от стоимости генерации доказательств, дизайна приложений и функций, которые в конечном итоге дойдут до Mainnet.

Доступность данных — отдельный вопрос безопасности

Корректное доказательство и доступные данные служат разным целям. Доказательство отвечает на вопрос, было ли заданное вычисление выполнено правильно; доступность данных — на вопрос, можно ли всё ещё получить и проверить информацию, лежащую в основе этого вычисления. На практике это различие важно: без извлекаемых данных даже корректное доказательство оставит участников неспособными самостоятельно восстановить состояние, полученное в результате вычисления.

PeerDAS решает вторую задачу. Он позволяет узлам делать выборку blob-данных и обретать уверенность в том, что весь набор данных доступен, избавляя каждый узел от необходимости скачивать весь набор данных перед участием в проверке. PeerDAS появился в рамках обновления Fusaka, став действующей частью масштабируемой архитектуры Ethereum. Эссе Бутерина продвигает тот же принцип проектирования дальше: меньше повторяющейся работы на каждого отдельного участника при сохранении пути к независимой верификации.

Эссе также вписывает более раннюю работу по верификации валидаторов на основе доказательств, включая предложение Lean Ethereum, в более широкий план, охватывающий вычисления, данные иность во всей сети.

Приватность охватит и следы, которые оставляют кошельки

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

Бутерин описывает криптографические инструменты и децентрализованную инфраструктуру, которые могли бы защитить больше таких метаданных. Заявленные цели включают приватные платежи, приватную логику аккаунтов и сокращение числа запросов кошелька, доступных любому отдельному поставщику услуг.

Для повседневного использования потребуется больше, чем исследования протокола. Программное обеспечение кошельков должно безопасно поддерживать эти инструменты, а интерфейсы должны объяснять модель безопасности достаточно ясно, чтобы пользователи могли делать осознанный выбор.

Hegotá начинает более длительный технический переход

Официальная дорожная карта Ethereum относит обновление Hegotá к 2027 году. Бутерин описывает его как последнее обновление, вероятно, построенное в основном вокруг технологий, которые были бы знакомы разработчикам середины 2010-х. Следующий этап может включать рекурсивные STARK, более оптимизированный консенсус, автоматизированную формальную верификацию и криптографию, устойчивую к квантовым вычислениям.

Формальная верификация может проверить, соответствует ли код письменной спецификации, но не способна устранить пробелы или неудачные решения внутри самой спецификации. Исследования в области квантовой безопасности готовят Ethereum к будущему росту вычислительных мощностей; существующая криптография Ethereum продолжает использоваться сегодня.

Эти идеи всё ещё ожидают исследований, работы над спецификациями, разработки клиентов, проверки безопасности, тестирования и согласия сообщества. Для читателей, следящих за процессом, наблюдаемыми вехами являются черновики спецификаций, реализации клиентов и тестирование в публичных сетях — те же этапы, которые проходит каждое обновление Ethereum перед выходом на Mainnet. Генерация доказательств должна стать дешевле и безопаснее в реальных условиях эксплуатации, а управление большими объёмами общего состояния приложений остаётся ещё одной серьёзной задачей, отмеченной в эссе.

Дорожную карту оценит независимая верификация

Практический критерий прост. Пользователям, разработчикам и операторам узлов нужен реалистичный способ верифицировать систему, не полагаясь на непрозрачного посредника. Компактные доказательства должны быть эффективными, данные — оставаться доступными, а кошельки — сообщать допущения, лежащие в основе каждого действия.

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

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