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

Кратко

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

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

AI построил прототип, согласованный с дорожной картой Ethereum на 2030 год

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

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

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

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

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

Ускорение с техническими рисками

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

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

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

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

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

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

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