Співзасновник Ethereum Віталік Бутерін зацікавився використанням ШІ для формальної перевірки коду і пошуку помилок.
One application of AI that I am excited about is AI-assisted formal verification of code and bug finding.
Right now ethereum's biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing.
— vitalik.eth (@VitalikButerin) February 19, 2024
«Ймовірно, зараз найбільший технічний ризик для Ethereum — це баги в коді, і все, що могло б істотно змінити ситуацію, було б приголомшливо», — написав він.
Однак у компанії OpenZeppelin раніше отримали неоднозначні результати під час експериментів із використанням GPT-4 від OpenAI для перевірки безпеки смарт-контрактів на Solidity — нативній мові програмування Ethereum.
На той момент глава підрозділу машинного навчання фірми Маріко Вакабаясі у статті для Cointelegraph у липні 2023 року зазначила, що чат-бот виявив уразливості тільки у 20 із 28 поставлених завдань. За її словами, у низці випадків результати були «відверто погані». Іноді нейромережі були потрібні навідні запитання, а одного разу вона просто винайшла баг, якого не було.
Вакабаясі також нагадала, що приблизно такі самі результати отримали фахівці Coinbase, поекспериментувавши з перевіркою безпеки токенів за допомогою ChatGPT.
«Сам по собі ШІ не замінить людей. Однак аудитори, які навчаться використовувати ці інструменти, будуть набагато ефективнішими, ніж ті, хто закриває очі на нову технологію», — підсумувала вона.
У коментарі для видання директор із безпеки CertiK Кан Лі розповів, що використання рішень на кшталт ChatGPT у створенні коду часто створює більше проблем із вразливостями, ніж вирішує. Загалом він рекомендував використовувати ШІ-інструменти тільки як помічника досвідченим програмістам.
«Я думаю, що ChatGPT — чудовий корисний інструмент для людей, які займаються аналізом коду і зворотним інжинірингом. Це, безумовно, хороший асистент, і він значно підвищить нашу ефективність», — підкреслив Лі.
Нагадаємо, у січні Бутерін розглянув перспективи взаємодії технологій ШІ та криптовалют, виділивши чотири перспективні можливості синергії.
