Соучредитель Ethereum Виталик Бутерин заинтересовался использованием ИИ для формальной проверки кода и поиска ошибок.
«Вероятно, сейчас самый большой технический риск для Ethereum — это баги в коде, и все, что могло бы существенно изменить ситуацию, было бы потрясающе», — написал он.
Однако в компании OpenZeppelin ранее получили неоднозначные результаты в ходе экспериментов с использованием GPT-4 от OpenAI для проверки безопасности смарт-контрактов на Solidity — нативном языке программирования Ethereum.
На тот момент глава подразделения машинного обучения фирмы Марико Вакабаяси в статье для Cointelegraph в июле 2023 года отметила, что чат-бот выявил уязвимости только в 20 из 28 поставленных задачах. По ее словам, в ряде случаев результаты были «откровенно плохие». Иногда нейросети требовались наводящие вопросы, а один раз она просто изобрела баг, которого не было.
Вакабаяси также напомнила, что примерно такие же результаты получили специалисты Coinbase, поэкспериментировав с проверкой безопасности токенов с помощью ChatGPT.
«Сам по себе ИИ не заменит людей. Однако аудиторы, которые научатся использовать эти инструменты, будут гораздо более эффективными, чем те, кто закрывает глаза на новую технологию», — заключила она.
В комментарии для издания директор по безопасности CertiK Кан Ли рассказал, что использование решений вроде ChatGPT в создании кода зачастую создает больше проблем с уязвимостями, чем решает. В целом он рекомендовал использовать ИИ-инструменты только в качестве помощника опытным программистам.
«Я думаю, что ChatGPT — отличный полезный инструмент для занимающихся анализом кода и обратным инжинирингом людей. Это определенно хороший ассистент, и он значительно повысит нашу эффективность», — подчеркнул Ли.
Напомним, в январе Бутерин рассмотрел перспективы взаимодействия технологий ИИ и криптовалют, выделив четыре перспективные возможности синергии.