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