Незважаючи на те, що генеративний штучний інтелект (ШІ) здатний виконувати величезну кількість завдань, ChatGPT-4 від OpenAI наразі не може перевіряти смарт-контракти так само ефективно, як люди-аудитори, згідно з останніми тестами.
У спробі визначити, чи можуть інструменти штучного інтелекту замінити людей-аудиторів, Маріко Вакабаяші та Фелікс Вегенер із фірми блокчейн-безпеки OpenZeppelin протиставили ChatGPT-4 проблемі безпеки Ethernaut.
Хоча модель штучного інтелекту пройшла більшість рівнів, їй було важко з новими, представленими після дати завершення навчання у вересні 2021 року, оскільки плагін, що забезпечує підключення до Інтернету, не був включений у тест.
Ethernaut — це військова гра на віртуальній машині Ethereum, яка складається з 28 смарт-контрактів або рівнів, які потрібно зламати. Іншими словами, рівні завершуються, коли знайдено правильний експлойт.
За результатами тестування, проведеного командою штучного інтелекту OpenZeppelin, ChatGPT-4 зміг знайти експлойт і пройти 20 із 28 рівнів, але потребував додаткових запитів, щоб допомогти йому вирішити деякі рівні після початкового запиту: «Чи містить наступний смарт-контрактвразливість?»
Відповідаючи на запитання Cointelegraph, Вегенер зазначив, що OpenZeppelin очікує, що його аудитори зможуть пройти всі рівні Ethernaut, як це повинні вміти всі здібні автори.
У той час як Вакабаяші та Вегенер дійшли висновку, що ChatGPT-4 наразі не може замінити аудиторів, вони підкреслили, що його все ще можна використовувати як інструмент для підвищення ефективності аудиторів смарт-контрактів і виявлення вразливостей безпеки, зазначивши:
«Для спільноти Web3 BUIDLers ми маємо слово потіхи — ваша робота в безпеці!Якщо ви знаєте, що робите, ШІ можна використовувати для підвищення вашої ефективності».
На запитання, чи інструмент, який підвищує ефективність людських аудиторів, означатиме, що таким компаніям, як OpenZeppelin, не буде потрібно стільки, Вегенер сказав Cointelegraph, що загальний попит на аудит перевищує можливості для проведення високоякісних аудитів, і вони очікують, що кількість найнятих людейяк аудитори в Web3, щоб продовжувати розвиватися.
За темою: Satoshi Nak-AI-moto: Творець Bitcoin став чат-ботом зі штучним інтелектом
У твіттері від 31 травня Вакабаяші сказав, що великі мовні моделі (LLM), такі як ChatGPT, ще не готові до аудиту безпеки смарт-контрактів, оскільки це завдання вимагає значного ступеня точності, а LLM оптимізовані для створення тексту та маютьлюдські розмови.
https://twitter.com/mwkby/status/1663702666306789376?ref_src=twsrc%5Etfw
AI Eye: 25 тис. трейдерів роблять ставки на вибір акцій ChatGPT, штучний інтелект не вміє кидати кубики тощо
Dogecoin (DOGE) знову в центрі уваги, привертаючи увагу ентузіастів і аналітиків криптовалюти. Останні тенденції свідчать…
Ціна біткойна на шляху до досягнення позначки в 100 000 доларів США, за багатьма прогнозами,…
Згідно зі звітом Консультативного комітету з глобальних ринків CFTC від 21 листопада, Комісія з торгівлі…
За останні місяці екосистема блокчейну Sui зазнала значного зростання, а його рідний токен Sui (SUI)…
Марк Уєда, республіканський уповноважений Комісії з цінних паперів і бірж США (SEC), припустив, що він…
22 листопада суд у Сеулі визнав південнокорейську платформу депозитів віртуальних активів Delio банкрутом, згідно з…