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

[CryptoWatcher]

---

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

---

https://twitter.com/i/web/status/1759369749887332577

---

«Вероятно, сейчас самый большой технический риск для Ethereum — это баги в коде, и все, что могло бы существенно изменить ситуацию, было бы потрясающе», — написал он.

Однако в компании OpenZeppelin ранее получили неоднозначные результаты в ходе экспериментов с использованием GPT-4 от OpenAI для проверки безопасности смарт-контрактов на Solidity — нативном языке программирования Ethereum.

Для просмотра ссылки Войди или Зарегистрируйся глава подразделения машинного обучения фирмы Марико Вакабаяси в статье для Для просмотра ссылки Войди или Зарегистрируйся в июле 2023 года отметила, что чат-бот выявил уязвимости только в 20 из 28 поставленных задачах. По ее словам, в ряде случаев результаты были «откровенно плохие». Иногда нейросети требовались наводящие вопросы, а один раз она просто изобрела баг, которого не было.

Вакабаяси также напомнила, что примерно такие же результаты получили специалисты Coinbase, поэкспериментировав с проверкой безопасности токенов с помощью ChatGPT.

«Сам по себе ИИ не заменит людей. Однако аудиторы, которые научатся использовать эти инструменты, будут гораздо более эффективными, чем те, кто закрывает глаза на новую технологию», — заключила она.

В Для просмотра ссылки Войди или Зарегистрируйся для издания директор по безопасности CertiK Кан Ли рассказал, что использование решений вроде ChatGPT в создании кода зачастую создает больше проблем с уязвимостями, чем решает. В целом он рекомендовал использовать ИИ-инструменты только в качестве помощника опытным программистам.

«Я думаю, что ChatGPT — отличный полезный инструмент для занимающихся анализом кода и обратным инжинирингом людей. Это определенно хороший ассистент, и он значительно повысит нашу эффективность», — подчеркнул Ли.

Напомним, в январе Бутерин Для просмотра ссылки Войди или Зарегистрируйся взаимодействия технологий ИИ и криптовалют, выделив четыре перспективные возможности синергии.