Розробник, який посперечався з Віталіком Бутеріним, що одна людина здатна агентно запрограмувати клієнт Ethereum (ETH), орієнтований на дорожню карту 2030 року, створив ETH2030 за два тижні — 702 000 рядків коду на Go, що охоплюють 65 пунктів дорожньої карти та синхронізуються з основною мережею Ethereum.
Бутерін прокоментував результат у п’ятницю, назвавши його «досить вражаючим експериментом», водночас перелічивши суттєві застереження та припустивши, що ШІ може прискорити реалізацію дорожньої карти Ethereum більше, ніж зараз очікує спільнота.
Бутерін прямо окреслив, чим цей проєкт не є: його створено без формальних пропозицій щодо поліпшення Ethereum (EIP), тож майже напевно він містить критичні помилки й, імовірно, включає «заглушки» функцій, де ШІ не намагався виконати повну реалізацію.
Головне, стверджує він, — це траєкторія, а не кінцевий результат. Ще шість місяців тому, написав він, навіть прототип такого масштабу був «далеко за межами можливого».
Швидкість проти безпеки
Бутерін сформулював правильний підхід до розробки, прискореної ШІ, як розподіл здобутків між швидкістю та безпекою, а не витрачання всього потенціалу лише на зростання швидкості.
Його бажана модель: використовувати ШІ для створення більших наборів тестів, формальної верифікації реалізацій та генерування кількох незалежних версій одного й того ж компонента для взаємної перевірки.
Один зі співавторів проєкту 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.