[Краткие новости] Сооснователь Ethereum Виталик Бутерин в субботу опубликовал статью «The cryptographic world computer», в которой изложил свое видение развития интернета в ближайшие десять лет.
Бутерин считает, что Ethereum уже является гибридом блокчейна и современной криптографии, но называется блокчейном исключительно «из-за исторических причин».
Он написал, что следующее обновление Ethereum будет последним, которое люди смогут распознать с 2015 года. Buterin заявил, что запланированная на следующий год форка Hegota «скорее всего, будет последней «нормальной» форкой Ethereum». После этого дорожная карта будет включать рекурсивные STARK, автоматизированную формальную верификацию, высокооптимизированный механизм консенсуса и защиту всей системы от квантовых атак.
Бутерин написал в X: «Криптографический мировой компьютер: https://t.co/ueayODeUPo Я попытался кратко объяснить, что на самом деле означают все события, запланированные на Ethereum после форка Hegota. Это больше не просто блокчейн. Это гибрид…»
Бутерин написал, что после Lean Ethereum по-прежнему в значительной степени называют блокчейном «в основном по историческим причинам».
Он считает, что по своей сути это «гибридная структура», объединяющая идеи Сатоши Накамото с криптографическими инструментами, разработанными за 50 лет академических исследований, которые в 2009 году «еще не существовали». В своем твите он заявил, что такая архитектура «принесет гораздо более мощные свойства, чем простая блокчейн-цепочка».
Верификация, консенсус и построение блоков
Бутерин заявил, что три ключевых свойства будут полностью заменены. Проверка перейдет от скачивания и повторного выполнения каждого блока к выборке данных через PeerDAS и проверке SNARK. Консенсус перейдет на «значительно более оптимизированную» модель доказательства доли. Построение блоков перейдет от решения единственного майнером о содержании блока к совместному созданию несколькими участниками.
Он отметил, что финализация сократится с текущих примерно 200 секунд, необходимых для 12 подтверждений, до 8–32 секунд; время слота будет составлять от 4 до 8 секунд, а аппаратные требования для запуска узлов значительно снизятся. Способность противостоять цензуре будет обеспечена FOCIL: в этой схеме комитет из валидаторов публикует списки ожидающих транзакций, которые должны быть включены в следующий блок, и эти списки принудительно соблюдаются правилами выбора ветки, поэтому блоки, игнорирующие эти транзакции, считаются недействительными. Бутерин описал это как «гарантированное внедрение транзакций в реальном времени».
Приватность будет внедряться поэтапно. Общие вычисления останутся дорогими и частично приватными, тогда как приложения с конкретным назначением получат «очень сильную приватность» благодаря доказательствам с нулевым разглашением и абстракции приватных аккаунтов. Сетевой уровень будет покрываться сетями Onion Routing и микшеров. В октябре прошлого года Фонд Ethereum создал отдельную команду по приватности для поддержки этой работы.
Разработчики почувствуют изменение стоимости газа. Бутерин написал, что если «всё втиснуть в один трудно понимаемый, последовательно выполняемый транзакционный блок», те же вычисления будут дороже; если же разбить их на зависимости, подлежащие параллельной обработке, или отделить их до попадания транзакции в блок, стоимость будет ниже.
Децентрализация как преимущество
Бутерин считает, что децентрализация больше не является просто затратой. Она позволяет параллельно хранить данные, параллельно выполнять вычисления в mempool и скрывать метаданные способами, недоступными для централизованных систем.
Он сказал, что это именно мечта середины 2010-х годов, но тогда она провалилась по одной причине: не существовало способа проверить, правильно ли действительно выполнена работа после разделения. Случайно выбранный комитет «сложен в настройке и дорогостоящ», увеличивает задержки и «если комитет потерпит неудачу, нет возможности исправить ситуацию». Современная криптография решила эту проблему, и её затраты «снижаются ежемесячно».
Далее идет неотличимая запутанность (indistinguishability obfuscation). Бутерин описал её как «святой грааль», поскольку она полностью устранит компромисс между конфиденциальностью и универсальностью. Однако он четко отметил, что никакие выводы в этой статье не зависят от неё, и «все выводы в этой статье будут верны задолго до того, как эта технология станет действительно применимой».
Более близкие и сложные проблемы относительно просты: сделать нулевое знание достаточно быстрым и безопасным — это «упаковка сложности», уже оптимизируемая с помощью инструментов ИИ, пишет он; а управление и параллелизация доступа к огромным объемам состояний — «сложнее и системно более сложны».
Эта статья звучит как популярное объяснение Strawmap от Фонда Ethereum. Strawmap — это дорожная карта, разработанная фондом, предусматривающая семь форков до 2029 года; когда Джастин Дрейк опубликовал этот документ в феврале, Бутерин назвал его «очень важным документом». Если Strawmap перечисляет зависимости по каждому форку, то статья Бутерина указывает на конечную цель: время слота сокращается с 12 секунд до 2 секунд, финализация снижается с примерно 16 минут до нескольких минут, а вся сеть постепенно заменяется и перестраивается, как «корабль Тесея».