ChatGPT папрасілі правесці аўдыт смарт-кантрактаў; Вось як гэта было

Нядаўні запуск інавацыйнага тэкставага штучнага інтэлекту (AI) праект ChatGPT аднавіў цікавасць грамадскасці да тэхналогія паколькі ён прадэманстраваў карыснасць у розных галінах, у выніку чаго адна кампанія правярала свае магчымасці ў якасці аўдытара смарт-кантрактаў.

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

Згодна з аналізам CertiK, інструмент штучнага інтэлекту сапраўды здолеў выклікаць «некалькі праблем, якія на першы погляд гучалі абгрунтаванымі», дэманструючы яго здольнасць прадастаўляць «каштоўныя паслугі супольнасці бяспекі Web3», але ўсё яшчэ было «дастаткова шмат месца для паляпшэнне».

Сляпыя плямы ІІ

У прыватнасці, ChatGPT не змог выявіць пэўныя сур'ёзныя праблемы бяспекі, у тым ліку характэрныя для праекта лагічныя ўразлівасці, недакладныя матэматычныя разлікі і статыстычныя мадэлі, а таксама неадпаведнасці паміж рэалізацыяй і намерамі распрацоўкі - у дадатак да паведамлення аб ілжывых спрацоўваннях для кода, які не выяўляў ніякіх праблем у CertiK's ручной аўдыт.

Аналіз 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/