По мнению Бутерина, искусственный интеллект мог бы упростить формальную проверку кода, что помогло бы избежать серьезных технических рисков. Это существенно улучшит функционирование сети Эфириума.
One application of AI that I am excited about is AI-assisted formal verification of code and bug finding.
— vitalik.eth (@VitalikButerin) February 19, 2024
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.
Комментарии Бутерина появились в преддверии долгожданного обновления Dencun, запуск которого запланирован на 13 марта. 17 января Dencun было развернуто в тестовой сети Goerli, однако ошибка в клиенте Prysm приостановила работу на четыре часа.
Однако не все согласны с тем, что ИИ — надежный инструмент для поиска ошибок в коде Эфириума. В июле 2023 года компания OpenZeppelin провела серию экспериментов с использованием GPT-4 от OpenAI для выявления проблем безопасности в смарт-контрактах Solidity. В ходе этих экспериментов GPT-4 успешно выявил уязвимости в 20 из 28 задач. Позднее OpenZeppelin обнаружила, что на самом деле ИИ изобрел уязвимость, которой изначально не существовало.
Директор по безопасности CertiK Кан Ли (Kang Li) рассказал, что использование инструментов на базе искусственного интеллекта вроде ChatGPT, часто создает при кодировании больше проблем с безопасностью, чем решает их. Поэтому Ли порекомендовал использовать ИИ только в качестве помощника для опытных программистов, занимающихся анализом кода и обратным проектированием.
Недавно Бутерин призвал разработчиков с осторожностью внедрять ИИ, если они создают рынок предсказаний или стейблкоины. Если окажется, что с этого оракула можно атаковать, люди потеряют огромные суммы денег. В ноябре сооснователь Эфириума выразил опасения, что искусственный интеллект может восстать против человечества.