Віталік Бутерін заявляє, що ШІ може прискорити дорожню карту Ethereum до 2030 року

TLDR

• ШІ створив 700000-рядковий клієнт для Ethereum за два тижні
• Прототип охоплює 65 позицій дорожньої карти та синхронізується з mainnet
• Бутерін закликає до додаткового тестування та формальної верифікації
• ШІ допоміг створити машину-верифікований STARK-доказ

Віталік Бутерін каже, що ШІ може пришвидшити дорожню карту Ethereum на 2030 рік до небачених рівнів безпеки. Він вказав на нещодавній експеримент, де розробник створив прототип клієнта, що відповідає дорожній карті, за два тижні, використовуючи агентське програмування. Прототип містить близько 700,000 рядків коду, охоплює 65 позицій дорожньої карти та синхронізується з Ethereum mainnet.

Прототип, створений ШІ, узгоджується з дорожньою картою Ethereum на 2030 рік

Співзасновник Ethereum Віталік Бутерін заявив, що ШІ прискорює розвиток Ethereum. Він навів приклад розробника, який використав агентське програмування, щоб створити клієнт, узгоджений із дорожньою картою на 2030 рік. Прототип було завершено приблизно за два тижні. Він містить близько 700,000 рядків коду та підтримує 65 позицій дорожньої карти. Клієнт синхронізується з Ethereum mainnet.

Це дуже вражаючий експеримент. Вайб-кодинг усієї дорожньої карти на 2030 рік за кілька тижнів.

Очевидно, що все, побудоване за два тижні навіть без EIP, має величезні застереження: майже напевно є багато критичних багів і, ймовірно, в деяких випадках це можуть бути «заглушки»…

— vitalik.eth (@VitalikButerin) 28 лютого 2026

Бутерін описав ці зусилля як експеримент, що демонструє швидкий прогрес. Він сказав, що подібна робота не була реалістичною шість місяців тому. Він додав, що напрям прогресу ШІ має найбільше значення. Він також поділився особистим прикладом. Він сказав, що створив програмне забезпечення, подібне до його блогу, за годину, використовуючи агентське програмування. Модель працювала локально на його ноутбуці.

Приріст швидкості приходить із технічними ризиками

Бутерін застеріг, що швидкі побудови на основі ШІ несуть ризики. Він сказав, що проєкт, завершений за два тижні без фіналізованих EIP, імовірно містить критичні баги. Він додав, що деякі частини можуть бути версіями-заглушками. Він попередив не припускати, що один запит може згенерувати безпечний production-код. Він сказав, що будуть баги та непослідовності між реалізаціями.

Втім, він заявив, що ШІ дозволяє рухатися цим процесом у п’ять разів швидше. Він пояснив, що розробникам усе одно потрібно буде переглядати й порівнювати код. Тестування та валідація залишаються необхідними кроками.

ШІ зменшує час, витрачений на повторювані задачі, і підвищує швидкість ітерацій. Бутерін сказав, що експеримент не слід розглядати як завершену інфраструктуру. Він подав це як сигнал про зміну методів розробки. Зараз ШІ є частиною технічного робочого процесу Ethereum.

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

Бутерін сказав, що виграші від ШІ мають бути поділені між швидкістю та безпекою. Він припустив, що половина приросту продуктивності має піти на більш надійне тестування. Це включає генерацію додаткових тестових випадків і запуск формальної верифікації. Він згадав про ініціативу Lean Ethereum, яка прагне формально верифікувати компоненти Ethereum. Співробітник використав ШІ, щоб створити машинно-верифікований доказ складної теореми STARK.

Бутерін сказав, що формальна верифікація підтримує системи без довіри. Він додав, що ШІ може розширити обсяг тестів і покращити перевірки для кількох реалізацій. Ці кроки зменшують ризики, пов’язані з хибним кодом. Він сказав, що повна безпека недосяжна. Він пояснив, що ідеальна безпека вимагала б точного збігу між кодом і людськими намірами.

Попри це, він зазначив, що конкретні твердження щодо безпеки можна перевірити. Бутерін сказав, що люди мають розглянути можливість того, що дорожня карта Ethereum може завершитися швидше, ніж очікувалося. Він також сказав, що стандарти безпеки можуть зростати в міру покращення інструментів верифікації. Він заявив, що код без багів у визначених випадках може стати досяжним. Він сказав, що ця ідея колись вважалась нереалістичною. Верифікація за допомогою ШІ може змінити очікування від розробки з часом.