Соучредитель 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 — отличный полезный инструмент для занимающихся анализом кода и обратным инжинирингом людей. Это определенно хороший ассистент, и он значительно повысит нашу эффективность», — подчеркнул Ли.
Напомним, в январе Бутерин рассмотрел перспективы взаимодействия технологий ИИ и криптовалют, выделив четыре перспективные возможности синергии.
https://forklog.com/news/vitaliku-buterinu-30-let-razrabotchik-podelilsya-videniem-budushhego-blokchejn-industrii
