Сооснователь Ethereum Виталик Бутерин утверждает, что искусственный интеллект фактически подарил сети пару десятилетий времени на разработку. Выступая на конференции Network State 2026 в Сингапуре, он заявил, что ИИ заметно ускоряет работу над обновлениями протокола Ethereum — без него, по его словам, достижение некоторых целей дорожной карты могло бы отложиться до 2040 или даже 2050 года.

Что сказал Бутерин

Эти замечания были сделаны в интервью, состоявшемся 9 октября 2026 года, о котором сообщили на следующий день. В центре внимания Бутерина оказалась Lean Roadmap — план Ethereum по обновлению протокола сети. Его основной тезис: ИИ уже выполняет значительную часть исследований и программирования, требуемых дорожной картой, включая некоторые из самых сложных пунктов списка.

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

Архитектура, которая формируется

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

Терминология расшифровывается так: STARK — это криптографические доказательства, позволяющие одной стороне продемонстрировать корректность вычисления, не требуя от всех остальных его повторения, а рекурсивные STARK — это доказательства, способные проверять другие доказательства. Квантовая устойчивость означает защиту сети от будущих квантовых компьютеров, которые могли бы взломать современную криптографию. Этот аспект выходит за рамки исследовательских кругов, поскольку всё в Ethereum — от балансов аккаунтов до смарт-контрактов — в конечном счете зависит от криптографии, которую сеть использует сегодня.

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

Hegota: последний «обычный» форк

Следующая веха в календаре — обновление Hegota, ожидаемое примерно в 2027 году и описываемое как последний «обычный» форк в истории Ethereum. Форки — это скоординированные обновления, которые меняют правила сети и требуют от операторов узлов единовременного обновления программного обеспечения, поэтому пометка «обычный» обозначает переломный момент. После него работа, как ожидается, сместится в сторону продвинутых криптографических методов и формальной верификации, где центральное место займет интеграция ИИ.

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

Осторожность Бутерина в отношении ИИ

Эти высказывания — не первые remarks Бутерина на эту тему в этом году. Ранее в 2026 году рассуждал о том, что в исследовательском обзоре называется двойной ролью ИИ в развитии криптоиндустрии: технология может ускорять техническую работу, но при этом вызывает опасения по поводу уязвимостей — в том числе вероятность того, что те же инструменты помогут злоумышленникам быстрее находить слабые места.

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

Последствия для разработчиков и сети

Для разработчиков главный вывод — меняющиеся должностные обязанности. По мере того как ИИ берет на себя больше написания доказательств и аудита кода, ведущие исследователи смогут уделять больше времени дизайнерским решениям и меньше — ручной верификации. Формулировка Бутерина о 2040–2050 годах позволяет предположить, что он видит в ИИ разницу между «когда-нибудь» и этим десятилетием.

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

За чем следить дальше: прогресс по Hegota, новые результаты экспериментов с клиентами, созданными ИИ, и то, какая часть формальной верификации Lean Roadmap в итоге окажется сгенерированной машиной.

Источник: CryptoBriefing