ChatGPT попросили провести аудит смарт-контрактов; Вот как это было

Недавний запуск инновационного текстового искусственного интеллекта (AI) проект ChatGPT возродил общественный интерес к technology поскольку он продемонстрировал полезность в нескольких областях, побудив одну компанию протестировать свои возможности в качестве аудитора смарт-контрактов.

Действительно, децентрализованная платформа для ставок ZKasino недавно провела предварительный аудит своего кода смарт-контракта с ChatGPT, проходя комплексный аудит CertiK, блокчейн охранное предприятие — сказал в своем блоге, опубликованном 13 февраля.

Согласно анализу CertiK, инструменту ИИ удалось вызвать «несколько опасений, которые на первый взгляд кажутся обоснованными», продемонстрировав свою способность предоставлять «ценные услуги сообществу безопасности Web3», но что все еще остается «достаточно много места для улучшение."

Слепые зоны ИИ

В частности, ChatGPT не удалось выявить некоторые серьезные проблемы безопасности, в том числе уязвимости логики конкретного проекта, неточные математические расчеты и статистические модели, а также несоответствия между реализацией и проектным замыслом — в дополнение к сообщениям о ложных срабатываниях для кода, который не выявил никаких проблем по данным CertiK. ручной аудит.

Анализ CertiK результатов ChatGPT. Источник: CertiK

Принимая во внимание все обстоятельства, ИИ все еще кажется далеким от того, чтобы полагаться на единственного аудитора кода смарт-контрактов из-за его ограничений в «полном понимании сложностей и нюансов кода, а также отсутствия у него практического опыта в реальных условиях». мировые сценарии».

Вот почему «важно дополнить анализ ChatGPT ручным аудитом опытными экспертами по безопасности для обеспечения точности», — подчеркнула платформа безопасности блокчейна, подчеркнув сильные и слабые стороны ChatGPT по сравнению с профессиональными аудиторами-людьми по различным критериям.

ChatGPT против человека-профессионала в аудите интеллектуального кода. Источник: CertiK

Хотя сам по себе он еще далек от совершенства, ИИ-бот может быть полезен в криптовалютная индустрия, так как он может дать представление о конкретных криптовалютынапример, возможный ценовой диапазон XRP жетон в 2030, а также для разъяснения понятий в интерактивной и разговорной форме помощь в принятии криптографии.

Источник: https://finbold.com/chatgpt-was-asked-to-do-smart-contract-audit-heres-how-it-went/