Бутерін оприлюднив ідею аудиту коду з допомогою ШІ

Розробники найбільшого блокчейну Ethereum з найскладнішою мережею розглядають пропозицію Віталіка Бутеріна щодо використання штучного інтелекту для покращення аудиту коду з метою виявлення та уникнення помилок в блокчейн-проектах.

В 2023 році шахрайство, хакерські атаки та експлойти завдали користувачам криптовалютної галузі збитків на 2 мільярди доларів.

Найбільш вразливим виявився блокчейн Ethereum, який приваблював зловмисників своєю розгалуженою мережею та гучними проектами з використанням смарт-контрактів. Блокчейн пережив близько 170 інцидентів за минулий рік, а користувачі втратили приблизно 1,35 мільярда доларів.

Найбільшої шкоди завдали експлойти контролю доступу, завдяки яким зловмисники, використовуючи недоліки, що стосувались дозволу та права доступу в рамках смарт-контрактів, отримували несанкціонований доступ до коштів та критично важливих функціональних можливостей. В 29 випадках експлойтів були нанесені збитки на суму понад 852 мільйони доларів.

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

Нещодавно OpenAI та Nvidia запустили нові продукти в секторі штучного інтелекту.

За даними CoinDesk, TokenFi, дочірній проект мем-койна Floki, створює платформу аудиту коду за допомогою ШІ. Зацікавленість токенами, що використовують штучний інтелект, різко зросла.

На тлі зростання ціни токенів, пов’язаних з ШІ, у співзасновника Ethereum Віталіка Бутеріна виникла ідея застосування ШІ для аудиту коду, про що він написав в X (Twitter):

«Одним із застосувань штучного інтелекту, який мене дуже захопив, є формальна перевірка коду та виявлення помилок за допомогою ШІ»

— сказав Бутерін.

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

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

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

«Штучний інтелект може допомогти у виконанні суто технічних завдань, таких як забезпечення належної поведінки коду в різних умовах»

– пояснив Р. Дж. Ке, розробник Ethereum layer-2 Taiko, у чаті Telegram.

«Це поєднання штучного інтелекту та людського контролю не тільки зміцнює наш код, але й дає нам надію на ще більш захоплюючий прогрес в екосистемі Ethereum цього року»

— зазначив Ке.

Share on Facebook

Tweet