Разработчик, который поспорил с Виталиком Бутериным, что один человек может агентно запрограммировать клиент Ethereum (ETH), нацеленный на роудмап 2030 года, создал ETH2030 за две недели — 702 000 строк кода на Go, охватывающих 65 пунктов роудмапа и синхронизирующихся с основным сетем Ethereum.
Бутерин прокомментировал результат в пятницу, назвав его «довольно впечатляющим экспериментом», одновременно указав на серьёзные оговорки и подняв вопрос о том, что ИИ может ускорить завершение роудмапа Ethereum сильнее, чем сейчас ожидает сообщество.
Бутерин прямо обозначил, чем этот проект не является: он создан без опоры на формальные Ethereum Improvement Proposals и почти наверняка содержит критические баги, а также, вероятно, включает «заглушки» функционала там, где ИИ не пытался сделать полноценную реализацию.
Суть, по его словам, в траектории, а не в итоговом артефакте. Полгода назад, написал он, даже прототип такого масштаба был «далеко за пределами возможного».
Скорость против безопасности
Бутерин предложил рассматривать правильный подход к разработке, ускоряемой ИИ, как разделение выгоды между скоростью и безопасностью, а не полное инвестирование её в рост темпа.
Его предпочтительная модель: использовать ИИ для генерации более крупных наборов тесткейсов, формальной верификации реализаций и создания нескольких независимых версий одного и того же компонента для перекрёстной проверки.
Один из участников проекта LeanEthereum — инициативы, цель которой формально верифицировать весь код Ethereum, — недавно с помощью ИИ получил машинно‑проверяемое доказательство одной из самых сложных теорем, лежащих в основе безопасности STARK.
В этой логике Бутерина именно такой сценарий даёт наибольшую ценность: не просто выпускать быстрее, а выпускать код, корректность которого можно формально подтвердить.
Читайте также: Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
Что, по его мнению, возможно
Бутерин аккуратно оформил свой оптимизм как возможность, а не прогноз. Он сказал, что людям стоит допускать сценарий, при котором роудмап Ethereum будет завершён быстрее нынешних ожиданий — и при этом с более высоким уровнем безопасности.
Говоря о безопасности, он отметил свой личный энтузиазм по поводу того, что перспектива «кода без багов» может перейти из разряда «идеалистического заблуждения» в базовое ожидание для критической инфраструктуры.
Он признал, что абсолютная безопасность в строгом смысле невозможна — она бы потребовала полного совпадения кода и содержимого сознания разработчика, — но утверждает, что формальная верификация с помощью ИИ уже может устранить более 99% негативных последствий, которые могут возникнуть из‑за конкретных, чётко определённых сбоев в коде.
Репозиторий ETH2030 остаётся общедоступным по адресу github.com/jiayaoqijia/eth2030.
Читайте далее: Binance Must Face US Jury Over Token Losses On EOS, TRX And Five Other Coins - Judge Kills Arbitration Defense