Crypto news

19.02.2024
09:30

Виталик Бутерин назвал возможное применение ИИ для Ethereum

vitalik_buterin_p2-min

Соучредитель Ethereum Виталик Бутерин заинтересовался использованием ИИ для формальной проверки кода и поиска ошибок.

«Вероятно, сейчас самый большой технический риск для 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