Ο συνιδρυτής του Ethereum, Vitalik Buterin, εξέφρασε τον ενθουσιασμό του για τις δυνατότητες της επίσημης επαλήθευσης κώδικα και εύρεσης σφαλμάτων με τη βοήθεια AI.

Σε ένα Tweet της Δευτέρας, ο Buterin σημείωσε ότι ο πιο σημαντικός τεχνικός κίνδυνος του Ethereum προέρχεται από σφάλματα στον κώδικα και οτιδήποτε θα μπορούσε να αλλάξει σημαντικά το παιχνίδι σε αυτό το μέτωπο θα ήταν πρωτοποριακό.

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

Συγκεκριμένα, μια από τις μεγαλύτερες προκλήσεις που αντιμετωπίζει Ethereum πρωτόκολλα είναι η εκμετάλλευση σφαλμάτων, με αποτέλεσμα ζημίες εκατομμυρίων δολαρίων για τους επενδυτές λόγω περιστατικών hacking. Σύμφωνα με μια έκθεση της Chainalysis, τα κεφάλαια κρυπτογράφησης που κλάπηκαν το 2023 έφτασαν τα 1.7 δισεκατομμύρια δολάρια, με περίπου τα δύο τρίτα των συνολικών κλεμμένων κεφαλαίων να εντοπίζονται σε hacks που στόχευαν πρωτόκολλα DeFi. Και παρόλο που οι συνολικές κλοπές έχουν μειωθεί σε σύγκριση με τα προηγούμενα χρόνια, η απειλή του DeFi hacking παραμένει σημαντική ανησυχία.

Εν τω μεταξύ, αν και ο Μπούτεριν εκφράζει αισιοδοξία για τις δυνατότητες της τεχνητής νοημοσύνης, σημείωσε επίσης προσοχή. Σε ένα blog με ημερομηνία 30 Ιανουαρίου, ο συνιδρυτής του Ethereum συμβούλεψε τη σύνεση όσον αφορά την ενσωμάτωση της τεχνητής νοημοσύνης με την τεχνολογία blockchain, υπογραμμίζοντας την κρίσιμη ανάγκη για μια προσεκτική και μετρημένη προσέγγιση, ειδικά στην ανάπτυξη της τεχνητής νοημοσύνης σε περιβάλλοντα που ενέχουν σημαντική αξία και κίνδυνο.

Συγκεκριμένα, πέρυσι, το πείραμα της εταιρείας ανάπτυξης έξυπνων συμβάσεων OpenZeppelin χρησιμοποιώντας το GPT-4 του OpenAI για τον εντοπισμό ζητημάτων ασφάλειας σε έξυπνα συμβόλαια Solidity έδωσε μικτά αποτελέσματα. Σύμφωνα με μια αναφορά της εταιρείας, το GPT-4 εντόπισε με ακρίβεια τα τρωτά σημεία σε 20 από τις 28 προκλήσεις, αλλά μερικές φορές κατασκεύαζε ανύπαρκτα τρωτά σημεία.

Ομοίως, ο Kang Li, ο Chief Security Officer στην εταιρεία ασφάλειας blockchain CertiK, έχει προειδοποιήσει να μην βασίζεστε αποκλειστικά σε εργαλεία που τροφοδοτούνται από AI για κωδικοποίηση. Μιλώντας τον περασμένο Σεπτέμβριο κατά τη διάρκεια της Κορεατικής Εβδομάδας Blockchain, ο Li σημείωσε ότι τα εργαλεία τεχνητής νοημοσύνης μπορούν να εισάγουν περισσότερα ζητήματα ασφάλειας από αυτά που επιλύουν εάν χρησιμοποιηθούν χωρίς προσοχή. 

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

• SEO Powered Content & PR Distribution. Ενισχύστε σήμερα.
• PlatoData.Network Vertical Generative Ai. Ενδυναμώστε τον εαυτό σας. Πρόσβαση εδώ.
• PlatoAiStream. Web3 Intelligence. Ενισχύθηκε η γνώση. Πρόσβαση εδώ.
• PlatoESG. Ανθρακας, Cleantech, Ενέργεια, Περιβάλλον, Ηλιακός, Διαχείριση των αποβλήτων. Πρόσβαση εδώ.
• PlatoHealth. Ευφυΐα βιοτεχνολογίας και κλινικών δοκιμών. Πρόσβαση εδώ.
• πηγή: https://zycrypto.com/vitalik-buterin-highlights-potential-use-case-of-ai-on-ethereum/