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

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

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

В недавнем посте в X он описал эксперимент, в рамках которого ИИ за несколько недель использовался для «вибра-кодирования» большей части дорожной карты Ethereum на 2030 год. Он назвал результат впечатляющим, предупредив, что это всё ещё очень экспериментально.

Проект был завершён без окончательного утверждения Ethereum Improvement Proposals. Само по себе это означает, что код, скорее всего, содержит серьёзные ошибки. Некоторые функции могут существовать только как частичные реализации. Шесть месяцев назад, по его словам, даже достижение такого этапа казалось невозможным.

Это довольно впечатляющий эксперимент. Вибра-кодирование всей дорожной карты 2030 года за несколько недель.

Очевидно, что такое построение за две недели без даже EIPs имеет огромные ограничения: почти наверняка много критических ошибок, и, возможно, в некоторых случаях — «заглушки» для некоторых функций… https://t.co/ZlTg0r2hvI

— vitalik.eth (@VitalikButerin) 28 февраля 2026 г.

Преимущества ИИ в программировании — скорость, но не совершенство

Бутерин отметил, что инструменты ИИ значительно сокращают сроки разработки. Недавно он использовал локальную открытую модель для воссоздания версии своего блогового ПО примерно за час. Более мощные модели, по его мнению, могут завершить подобные сборки за один попытку.

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

Тем не менее, Бутерин предостерёг от чрезмерной уверенности. Один запрос не создаст полностью безопасный рабочий код. Инженеры должны ожидать несоответствий, ошибок в крайних случаях и структурных пробелов. Что меняется, по его мнению, — это скорость обнаружения и исправления этих проблем.

Формальная проверка выходит на передний план

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

Он указал на работу в рамках проекта LeanEthereum — исследовательской инициативы, посвящённой математической верификации основных компонентов Ethereum. Один из партнёров недавно использовал ИИ для построения машинно-проверяемого доказательства сложной теоремы, лежащей в основе криптографии на базе STARK.

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

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

Повышение стандартов безопасности

Бутерин признал, что абсолютное, безошибочное программное обеспечение невозможно создать. Код не может идеально передать все человеческие намерения.

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

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