Соучредитель Ethereum Виталик Бутерин говорит, что искусственный интеллект может иметь решающее значение для решения одного из «самых больших технических» рисков Ethereum — ошибок, скрытых глубоко в его коде.
В сообщении X от 18 февраля Бутерин поделился своим энтузиазмом по поводу аудита с использованием искусственного интеллекта для выявления и исправления ошибочного кода в сети 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 (@VitalikБутерин) February 19, 2024
Комментарии Бутерина прозвучали в тот момент, когда Ethereum приближается к реализации долгожданного обновления Dencun, запуск которого в настоящее время запланирован на 13 марта. Dencun был реализован в тестовой сети Goerli 17 января, но ошибка в Prsym помешала завершению работы сети в тестовой сети длячетыре часа. Обновления сети Ethereum имеют решающее значение для долгосрочной дорожной карты блокчейна.
Однако не все согласны с тем, что ИИ — надежный инструмент для обнаружения ошибок в коде на базе Ethereum.
В июле 2023 года OpenZeppelin провела серию экспериментов с использованием GPT-4 OpenAI для выявления проблем безопасности в смарт-контрактах Solidity — родном языке кода Ethereum.
В ходе этих экспериментов GPT-4 успешно выявил уязвимости в 20 из 28 задач.
Когда GPT-4 не мог выявить недостатки, ему часто предлагалось быстро исправить ошибки. Однако в других случаях OpenZeppelin обнаружил, что ИИ на самом деле изобрел уязвимость, которой изначально никогда не существовало.
Аналогичным образом, Кан Ли, директор по безопасности CertiK, рассказал Cointelegraph, что использование инструментов на базе искусственного интеллекта, таких как ChatGPT, при кодировании часто создает больше проблем с безопасностью, чем решает.
В целом Ли рекомендует использовать ИИ-помощников только в качестве «помощника» опытным программистам, поскольку они могут быть полезны для быстрого объяснения разработчикам, что означает строка кода.
«Я думаю, что ChatGPT — отличный полезный инструмент для людей, занимающихся анализом кода и обратным проектированием. Это определенно хороший помощник, который значительно повысит нашу эффективность».
Связанный: Воплощение шифропанк-мечты Виталика Бутерина об Ethereum в реальность
Хотя Бутерин в значительной степени оптимистичен в отношении будущего ИИ, ранее он предупреждал разработчиков о необходимости проявлять осторожность при внедрении ИИ с технологией блокчейна, особенно при его развертывании вместе с приложениями «высокого риска», такими как оракулы.
«Важно быть осторожным: если кто-то создаст, например, рынок предсказаний или стейблкоин, использующий оракула искусственного интеллекта, и окажется, что оракул можно атаковать, это огромная сумма денег, которая может исчезнуть в одно мгновение».
