ChatGPT попросили провести аудит смарт-контрактів; Ось як це було

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

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

Відповідно до аналізу CertiK, інструмент штучного інтелекту справді зумів підняти «кілька проблем, які здавалися обґрунтованими на поверхні», демонструючи його здатність надавати «цінні послуги спільноті безпеки Web3», але все ще «досить багато місця для покращення».

Сліпі зони ШІ

Зокрема, ChatGPT не вдалося визначити певні серйозні проблеми з безпекою, включно зі специфічними для проекту логічними вразливими місцями, неточними математичними обчисленнями та статистичними моделями, а також невідповідностями між реалізацією та задумом дизайну – на додаток до повідомлення про помилкові спрацьовування для коду, який не показав жодних проблем із CertiK. ручний аудит.

Аналіз CertiK висновків ChatGPT. Джерело: CertiK

З огляду на всі обставини, ШІ ще далеко від того, щоб на нього покладатися як на єдиного аудитора коду смарт-контрактів через його обмеження в «повному розумінні складності та нюансів коду, а також відсутність практичного досвіду в реальних світові сценарії».

Це причини, чому «важливо доповнити аналіз ChatGPT ручними аудитами досвідчених експертів з безпеки, щоб забезпечити точність», — підкреслила платформа безпеки блокчейну, підкресливши сильні та слабкі сторони ChatGPT у порівнянні з професійними аудиторами-людьми за різними критеріями.

ChatGPT проти людини-професіонала в інтелектуальному аудиті коду. Джерело: CertiK

Хоча сам по собі він ще далекий від досконалості, бот AI може бути корисним у індустрія криптовалют, оскільки він може надати розуміння конкретних cryptocurrencies, як-от можливий діапазон цін на XRP маркер 2030, а також для роз’яснення понять в інтерактивній та розмовній формі допомога в прийнятті криптовалюти.

Джерело: https://finbold.com/chatgpt-was-asked-to-do-smart-contract-audit-heres-how-it-went/