Ζητήθηκε από το ChatGPT να κάνει έξυπνο έλεγχο συμβολαίων. Να πώς πήγε

Η πρόσφατη κυκλοφορία της καινοτόμου τεχνητής νοημοσύνης που βασίζεται σε κείμενο (AI) το έργο ChatGPT έχει αναζωογονήσει το ενδιαφέρον του κοινού για το τεχνολογία καθώς έδειξε χρησιμότητα σε πολλούς τομείς, οδηγώντας μια εταιρεία να δοκιμάσει τις δυνατότητές της ως έξυπνος ελεγκτής συμβολαίων.

Πράγματι, η αποκεντρωμένη πλατφόρμα στοιχημάτων ZKasino πραγματοποίησε πρόσφατα έναν προέλεγχο του κώδικα έξυπνου συμβολαίου της με την ChatGPT, ενώ υποβλήθηκε σε πλήρη έλεγχο από την CertiK. blockchain εταιρεία ασφαλείας είπε στην ανάρτησή του στο blog που δημοσιεύτηκε στις 13 Φεβρουαρίου.

Σύμφωνα με την ανάλυση του CertiK, το εργαλείο τεχνητής νοημοσύνης κατάφερε να εγείρει «αρκετές ανησυχίες που ακούγονταν επιφανειακά έγκυρες», αποδεικνύοντας την ικανότητά του να παρέχει «πολύτιμες υπηρεσίες στην κοινότητα ασφαλείας Web3», αλλά ότι υπήρχε ακόμα «αρκετός χώρος για βελτίωση."

Τα τυφλά σημεία του AI

Συγκεκριμένα, το ChatGPT απέτυχε να εντοπίσει ορισμένα σοβαρά ζητήματα ασφάλειας, όπως ευπάθειες λογικής για συγκεκριμένο έργο, ανακριβείς μαθηματικούς υπολογισμούς και στατιστικά μοντέλα και ασυνέπειες μεταξύ υλοποίησης και σχεδίασης – επιπλέον της αναφοράς ψευδών θετικών στοιχείων για κώδικα που δεν παρουσίαζαν προβλήματα στο CertiK χειροκίνητος έλεγχος.

Η ανάλυση του CertiK των ευρημάτων του ChatGPT. Πηγή: CertiK

Λαμβάνοντας υπόψη όλα τα πράγματα, η τεχνητή νοημοσύνη φαίνεται ακόμη πολύ μακριά από το να βασιστεί κανείς ως ο μοναδικός ελεγκτής του κώδικα έξυπνων συμβολαίων λόγω των περιορισμών του στην «πλήρη κατανόηση της πολυπλοκότητας και των αποχρώσεων του κώδικα, καθώς και της έλλειψης πρακτικής εμπειρίας σε πραγματικό παγκόσμια σενάρια».

Αυτοί είναι οι λόγοι για τους οποίους «είναι σημαντικό να συμπληρωθεί η ανάλυση του ChatGPT με μη αυτόματους ελέγχους από έμπειρους ειδικούς σε θέματα ασφάλειας για να διασφαλιστεί η ακρίβεια», τόνισε η πλατφόρμα ασφάλειας blockchain, τονίζοντας τα δυνατά και τα αδύνατα σημεία του ChatGPT έναντι των επαγγελματιών ανθρώπινων ελεγκτών με διάφορα κριτήρια.

ChatGPT εναντίον ανθρώπινου επαγγελματία στον έλεγχο έξυπνου κώδικα. Πηγή: CertiK

Αν και από μόνο του, απέχει πολύ από το τέλειο, το bot AI μπορεί να είναι χρήσιμο σε αυτό βιομηχανία κρυπτονομισμάτων, καθώς είναι σε θέση να παρέχει πληροφορίες για συγκεκριμένα cryptocurrencies, όπως το πιθανό εύρος τιμών του XRP κουπόνι 2030, καθώς και να αποσαφηνιστούν έννοιες με διαδραστικό και συνομιλητικό τρόπο για να βοήθεια για την υιοθέτηση κρυπτονομισμάτων.

Πηγή: https://finbold.com/chatgpt-was-asked-to-do-smart-contract-audit-heres-how-it-went/