Разработчик, который поспорил с Виталиком Бутериным, что один человек способен агентно написать клиент Ethereum (ETH), нацеленный на дорожную карту 2030 года, создал ETH2030 за две недели — 702 000 строк кода на Go, охватывающих 65 пунктов дорожной карты и синхронизирующихся с мейннетом Ethereum.
Бутерин прокомментировал результат в пятницу, назвав его «довольно впечатляющим экспериментом», одновременно перечислив серьёзные оговорки и допуская, что ИИ может ускорить реализацию дорожной карты Ethereum сильнее, чем сейчас ожидает сообщество.
Бутерин прямо указал, чем этот проект не является: созданный без формальных Ethereum Improvement Proposals, он почти наверняка содержит критические баги и, вероятно, включает «заглушки» вместо полноценных реализаций некоторых функций, когда ИИ не предпринимал попыток их полностью реализовать.
Смысл, по его словам, в траектории, а не в конечном результате. Шесть месяцев назад, написал он, даже прототип такого масштаба был «далеко за пределами возможного».
Скорость против безопасности
Бутерин сформулировал правильный подход к разработке с ускорением за счёт ИИ как разделение выигрыша между скоростью и безопасностью, а не полную трату его на рост темпов разработки.
Его предпочтительная модель: использовать ИИ для генерации более обширных наборов тестов, формальной верификации реализаций и создания нескольких независимых версий одного и того же компонента для перекрёстной проверки.
Один из участников проекта LeanEthereum — инициатива, цель которой формально верифицировать весь код Ethereum, — недавно с помощью ИИ получил машинно-проверяемое доказательство одной из самых сложных теорем, лежащих в основе безопасности STARK.
В этой рамке Бутерина это более ценное применение: не просто быстрее выпускать код, а выпускать код, чья корректность формально подтверждена.
Read also: Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
Что, по его мнению, возможно
Бутерин аккуратно подаёт свой оптимизм как возможность, а не прогноз. Он считает, что людям стоит допускать сценарий, при котором дорожная карта Ethereum будет выполнена быстрее текущих оценок — и при более высоком уровне безопасности.
В части безопасности он выразил личный энтузиазм по поводу того, что перспектива «кода без багов» может перейти из разряда «идеалистического заблуждения» в базовое ожидание для критической инфраструктуры.
Он признал, что абсолютная безопасность в строгом смысле невозможна — для этого потребовалось бы полное совпадение кода с содержимым разума разработчика, — но утверждает, что формальная верификация с помощью ИИ уже способна устранить свыше 99% негативных последствий, которые могут возникнуть из‑за конкретных, чётко определённых сбоев в коде.
Репозиторий ETH2030 остаётся публично доступным по адресу github.com/jiayaoqijia/eth2030.