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

Публікація Vitalik Buterin Says AI May Speed Up Ethereum's Roadmap While Raising Security Standards вперше з'явилася на Coinpedia Fintech News

Майбутнє розробки Ethereum може настати швидше, ніж багато хто очікував.

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

Кодування за допомогою ШІ рухається з безпрецедентною швидкістю

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

Проте сама швидкість розробки позначає зміну.

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

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

Швидкість — це лише половина історії

Бутерін підкреслив, що швидшого кодування самого по собі недостатньо. На його думку, справжня можливість полягає в балансуванні швидкості з більш надійними практиками безпеки.

Замість використання ШІ лише для написання більшої кількості коду, розробники можуть використовувати його для:

• Генерації значно більшої кількості тестових випадків
  
• Проведення більш глибоких аудитів безпеки
  
• Створення кількох незалежних реалізацій однієї системи
  
• Формальної верифікації критичних компонентів
  

Один співробітник ініціативи LeanEthereum, як повідомляється, використовував ШІ для створення машинно-верифікованого доказу для однієї зі складних математичних теорем, що лежать в основі криптографії на основі STARK.

Для Ethereum, який все більше покладається на передові системи з нульовим розголошенням, такі інструменти верифікації є важливими.

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

Основним принципом LeanEthereum є формальна верифікація всіх компонентів, де це можливо. Формальна верифікація означає математичне доведення того, що код поводиться точно так, як задумано.

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

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

Однак цикли налагодження та тестування можуть відбуватися в п'ять разів швидше та набагато ретельніше, ніж раніше.

Чи може дорожня карта Ethereum завершитися раніше, ніж очікувалося?

Хоча Бутерін не робив жодних чітких прогнозів, він закликав спільноту залишатися відкритою до можливості того, що довгострокова дорожня карта Ethereum може бути завершена швидше, ніж багато хто очікує.

Що важливіше, він припустив, що вона може досягти вищих стандартів безпеки, ніж традиційно очікується для складних розподілених систем.

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