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

TLDR

• AI построила клиент Ethereum на 700000 строк кода за две недели
• Прототип охватывает 65 пунктов дорожной карты и синхронизируется с основной сетью
• Бутерин призывает к более тщательному тестированию и формальной верификации
• AI помог создать машинно-верифицируемое STARK-доказательство

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

AI Built Prototype Aligns With 2030 Ethereum Roadmap

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

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

Очевидно, что у такого, сделанного за две недели даже без наличия EIP, есть огромные оговорки: почти наверняка там много критических багов, и, вероятно, в некоторых случаях это будут «заглушечные» версии чего-то…

— vitalik.eth (@VitalikButerin) February 28, 2026

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

Прирост скорости сопряжен с техническими рисками

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

При этом он заявил, что ИИ позволяет двигаться в пять раз быстрее. Он объяснил, что разработчикам всё равно придется проверять и сравнивать код. Тестирование и валидация остаются необходимыми шагами.

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

Сфокусироваться на тестировании и формальной верификации

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

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

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