Виталик Бутерин: "ИИ может быть использован для обнаружения ошибок в сети Ethereum"

Виталик Бутерин, выдающийся деятель в сфере криптовалют, предлагает использование искусственного интеллекта (ИИ) для выявления и устранения скрытых дефектов в коде сети Ethereum. По мнению Бутерина, ИИ может оптимизировать процесс формальной верификации кода, что в конечном итоге позволит снизить технические риски и улучшить работу сети Ethereum.

Замечания Бутерина появились накануне долгожданного обновления Dencun, запланированного на 13 марта. В ходе развертывания Dencun на тестовой сети Goerli 17 января ошибка в клиенте Prysm привела к приостановке работы на четыре часа.

Однако не все участники сектора разделяют мнение о надежности ИИ в поиске ошибок в коде Ethereum. В июле 2023 года OpenZeppelin провела серию экспериментов с использованием GPT-4 от OpenAI для выявления проблем безопасности в смарт-контрактах Solidity. Несмотря на некоторые успехи, было обнаружено, что ИИ случайно создавал уязвимости, которых изначально не существовало.

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

Недавно Виталик Бутерин предупредил разработчиков о необходимости осторожного внедрения ИИ, особенно в предсказательных рынках или стейблкоинах. Он предостерегает от возможных катастрофических финансовых потерь, если такие оракулы станут уязвимыми для атак. В ноябре сооснователь Ethereum выразил опасения относительно потенциально враждебной позиции ИИ по отношению к человечеству.