Розробник, який уклав парі з Віталіком Бутеріним, що одна людина може агентно написати клієнт 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