Погляд Віталіка Бутеріна
Віталік Бутерін, визначна постать у сфері криптовалют, пропонує використання штучного інтелекту (ШІ) для виявлення та усунення прихованих дефектів у коді мережі Ethereum. За словами Бутеріна, ШІ може оптимізувати процес формальної верифікації коду, що в кінцевому підсумку дозволить знизити технічні ризики та покращити роботу мережі Ethereum.
Наближення Оновлення Dencun
Зауваження Бутеріна з'явилися напередодні довгоочікуваного оновлення Dencun, запланованого на 13 березня. Під час розгортання Dencun на тестовій мережі Goerli 17 січня помилка в клієнті Prysm призвела до призупинення роботи на чотири години.
Різнополярні точки зору на надійність ШІ
Проте не всі учасники сектору поділяють думку про надійність ШІ у пошуку помилок у коді Ethereum. У липні 2023 року OpenZeppelin провела серію експериментів з використанням GPT-4 від OpenAI для виявлення проблем безпеки в смарт-контрактах Solidity. Незважаючи на деякі успіхи, було виявлено, що ШІ випадково створював вразливості, які спочатку не існували.
Попередження від експертів з безпеки
Директор з безпеки CertiK, Кан Лі, вважає, що інструменти на основі ШІ, такі як ChatGPT, часто погіршують проблеми безпеки під час кодування, а не вирішують їх. Лі рекомендує використовувати ШІ лише як помічника для досвідчених програмістів, що займаються аналізом коду та реверс-інженірингом.
Попередження від Бутеріна
Нещодавно Віталік Бутерін попередив розробників про необхідність обережного впровадження ШІ, особливо у передбачувальних ринках або стейблкоінах. Він попереджає про можливі катастрофічні фінансові втрати, якщо такі оракули стануть вразливими до атак. У листопаді співзасновник Ethereum висловив обурення щодо потенційно ворожої позиції ШІ стосовно людства.