|
В мире стремительных технологических изменений и развития криптовалют, соучредитель Ethereum, Виталик Бутерин, высказал интерес к применению искусственного интеллекта (ИИ) для формальной проверки кода и выявления возможных ошибок.
Технический Риск для Ethereum
Бутерин подчеркнул, что на данный момент одним из самых значительных технических рисков для Ethereum являются ошибки в коде. Внедрение ИИ в процесс проверки кода может существенно изменить ситуацию и повысить безопасность криптоплатформы.
Эксперименты с GPT-4: Ожидания и Реальность
Компания OpenZeppelin ранее провела эксперименты с использованием GPT-4 от OpenAI для проверки безопасности смарт-контрактов на языке программирования Solidity. Однако результаты оказались неоднозначными. Глава подразделения машинного обучения в OpenZeppelin, Марико Вакабаяси, рассказала о том, что чат-бот, основанный на GPT-4, выявил уязвимости только в 20 из 28 поставленных задач. В ряде случаев результаты оказались "откровенно плохими", и нейросети требовались наводящие вопросы. Эксперименты Coinbase с использованием ChatGPT также дали схожие результаты.
Роль ИИ в Развитии Криптографии
Вакабаяси подчеркнула, что ИИ не может полностью заменить человека, но может стать мощным инструментом для аудиторов и разработчиков. Автоматизированные средства проверки кода могут значительно повысить эффективность, если аудиторы научатся правильно использовать эти инструменты.
Критика и Перспективы Использования ИИ
Директор по безопасности CertiK, Кан Ли, выразил определенную критику в адрес использования ИИ-решений в создании кода. Он подчеркнул, что во многих случаях это создает больше проблем с уязвимостями, чем решает. Ли рекомендовал использовать ИИ-инструменты как поддержку опытных программистов.
Баланс между использованием ИИ и ролью человека в разработке криптокода остается ключевым вопросом. Внедрение современных технологий требует не только инноваций, но и осмотрительности. Перспективы использования ИИ в криптосфере предоставляют новые возможности, но также подчеркивают важность компетентного использования этих инструментов в целях обеспечения безопасности и эффективности развития криптопространства.
| 
