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

Виталик Бутерин представил план модернизации Ethereum, который позволит достигать финальности за 8–32 секунды. План описывает гибридную архитектуру, сочетающую концепции блокчейна с криптографическими методами, разработанными за десятилетия академических исследований. По словам Бутерина, эта архитектура обеспечит свойства, недоступные одному лишь блокчейну. Он написал об этом плане в публикации, вышедшей в субботу. Бутерин сказал, что запланированный на следующий год хардфорк Hegota, вероятно, станет последним обычным форком Ethereum. По его словам, следующее обновление станет последним, которое узнал бы человек из 2015 года. Модернизация изменит способ проверки транзакций в Ethereum. Вместо скачивания и повторного выполнения каждого блока пользователи будут выборочно проверять данные с помощью PeerDAS и проверять SNARK. План предусматривает замену нынешнего подхода Ethereum к консенсусу более оптимизированной моделью доказательства доли владения. Формирование блоков перейдёт от одного майнера, решающего, что включить в блок, к совместной работе нескольких участников. Финальность будет достигаться за 8–32 секунды против примерно 200 секунд, необходимых сегодня для 12 подтверждений. Слоты будут длиться 4–8 секунд. Для запуска узла потребуется значительно меньше оборудования. Бутерин описал FOCIL как механизм защиты от цензуры. Согласно ему, комитет валидаторов будет публиковать списки ожидающих транзакций — каждый валидатор свой; следующий блок должен будет содержать все эти транзакции. Правило выбора форка будет обеспечивать соблюдение списков: блоки, в которых их нет, будут игнорироваться. Бутерин назвал результатом гарантированное включение транзакций в режиме реального времени. Вычисления общего назначения останутся дорогими и лишь отчасти приватными. Специализированные приложения получат очень высокий уровень приватности благодаря доказательствам с нулевым разглашением и абстракции аккаунтов. Приватность на сетевом уровне обеспечат луковая маршрутизация и микс-сети. Фонд Ethereum выделил ресурсы на эту работу через специализированный кластер приватности, запущенный в октябре прошлого года. Бутерин написал, что одни и те же вычисления обойдутся дороже, если разработчики поместят их в одну непрозрачную транзакцию, выполняемую последовательно. Они будут стоить дешевле, если разработчики разделят их на зависимости, которые можно выполнять параллельно, или удалят их до того, как транзакция попадёт в блок. По мнению Бутерина, децентрализация становится преимуществом, а не только издержкой. Он сказал, что благодаря децентрализации хранение данных и вычисления внутри мемпула могут выполняться параллельно. Она также позволяет скрывать метаданные способами, недоступными централизованным системам. По словам Бутерина, это было целью в середине 2010-х годов. Тогда добиться её не удалось, поскольку не было способа проверить, правильно ли выполнена разделённая работа. Он сказал, что случайно выбранные комитеты было сложно формировать, и их создание обходилось дорого. Такие комитеты увеличивали задержки, а в случае их отказа не было возможности исправить ситуацию. По словам Бутерина, современная криптография решает проблему проверки, а связанные с ней издержки снижаются месяц за месяцем. Бутерин назвал обфускацию неразличимости (indistinguishability obfuscation) перспективной технологией, которая может устранить компромисс между приватностью и универсальностью. Он подчеркнул, что план от этой технологии не зависит и его выводы будут применимы задолго до её появления. В более близкой перспективе, по словам Бутерина, необходимо сделать доказательства с нулевым разглашением достаточно быстрыми и надёжными. Он написал, что разработчики уже оптимизируют эту сложную систему с помощью инструментов ИИ. Управлять доступом к очень большим объёмам состояния и распараллеливать его, по его словам, сложнее, а системная сложность здесь выше. Публикация Бутерина дополняет простым языком Strawmap (Strawmap) Фонда Ethereum. Это черновой график семи хардфорков по 2029 год включительно. Бутерин назвал его важным документом после того, как Джастин Дрейк опубликовал его в феврале. В Strawmap зависимости расписаны для каждого хардфорка. Публикация Бутерина описывает цель, к которой должна прийти сеть: сократить время слота с 12 секунд до двух, а время финальности — примерно с 16 минут до однозначных значений. План предусматривает поэтапную замену компонентов сети.