Виталик Бутерин заявил, что ИИ ускоряет развитие Ethereum

• Агентное кодирование за несколько недель создало прототип клиента Ethereum объемом 700 000 строк, соответствующий дорожной карте 2030 года.
• Бутерин призывает сочетать более быстшее AI-кодирование с формальной верификацией, расширенными тестовыми наборами и проверками нескольких клиентов.
• Он также подробно описал дорожную карту квантовой устойчивости, заменяющую BLS и добавляющую хэш- и STARK-основанные системы.

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

Преимущества AI-управляемого кодирования и тестирования

По словам Бутерина, разработчик использовал агентное кодирование для создания прототипа клиента Ethereum, соответствующего дорожной карте 2030 года. Особенно важно, что прототип включал примерно 700 000 строк кода и охватывал 65 пунктов дорожной карты. Он также синхронизировался с основной сетью Ethereum за две недели.

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

Бутерин добавил, что AI ускоряет кодирование во многих задачах. Он привел свой опыт воссоздания блогового программного обеспечения за час с помощью локальных моделей. Поэтому он считает, что прирост скорости должен делиться поровну между более быстрым развитием и усилением практик безопасности.

Формальная верификация и акцент на безопасность

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

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

Он предостерег, что безопасные системы не появятся из одного запроса. Тем не менее, он отметил, что циклы отладки теперь могут проходить быстрее и тщательнее.

Детали дорожной карты квантовой устойчивости

В отдельности Бутерин изложил дорожную карту квантовой устойчивости Ethereum. Он указал на уязвимости в подписи консенсуса BLS, доступности данных на базе KZG, подписи аккаунтов ECDSA и системах доказательств с нулевым разглашением. Для их устранения он предложил заменить BLS на хэш-основанные подписи и использовать агрегирование STARK.

Для внешних аккаунтов он сослался на EIP-8141. Эта мера позволит использовать несколько схем подписей, включая квантово-устойчивые. Он признал, что это увеличит расходы газа, но отметил, что со временем эффективность должна улучшиться.

Дорожная карта также охватывает системы доказательств. Хотя доказательства STARK обходятся дороже, чем текущие ZK-SNARK, их агрегирование может снизить вычислительные затраты на блокчейне. В прошлом месяце Фонд Ethereum заявил, что следующая фаза экосистемы расширит емкость сети при сохранении долгосрочной безопасности и устойчивости.