Πόσος χρόνος χρειάζεται για να ελεγχθούν τα έξυπνα συμβόλαια | DeFi

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

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

Είτε πρόκειται για την οικονομική επανάσταση, την εξισορρόπηση των περιουσιακών στοιχείων ή την εφαρμογή οποιασδήποτε περίπτωσης χρήσης πάνω από μια πλατφόρμα Blockchain, τα έξυπνα συμβόλαια είναι επιτακτικά. Στην ουσία, τα έξυπνα συμβόλαια είναι μόνο μερικές γραμμές κώδικα που χρησιμοποιούνται για την εκτέλεση μιας συνθήκης. Για παράδειγμα, εάν παίρνετε ένα δάνειο από μια εφαρμογή DeFi όπως η Aave και η Compound παρέχοντας κάποια ασφάλεια και πληρώνοντας έναν καθορισμένο τόκο για το δάνειο, όλοι οι όροι καθορίζονται μέσω μιας σειράς έξυπνων συμβολαίων. 

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

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

Πόσο διαρκεί ο έλεγχος έξυπνων συμβάσεων

Παρακάτω αναφέρονται μερικές δυνατότητες όσον αφορά το χρόνο που μπορεί να λάβει ένας έξυπνος έλεγχος συμβολαίων:

1. Ο πιο κοινός παράγοντας που πρέπει να ληφθεί υπόψη για τον έλεγχο είναι το μέγεθος του έργου. Η πολυπλοκότητα του έργου έχει επίσης σημασία, αλλά το μέγεθος του έργου γίνεται το πρωταρχικό χαρακτηριστικό στον καθορισμό του χρόνου που θα χρειαστεί ένας έλεγχος.

Σε γενικές γραμμές, ένα απλό έξυπνο συμβόλαιο, όπως ένα συμβόλαιο συμβόλων για τα διακριτικά ERC20 μπορεί να διαρκέσει μερικές ημέρες, πράγμα που σημαίνει ότι ο χρόνος ελέγχου για τέτοια συμβόλαια μπορεί να διαρκέσει από 24 έως 48 ώρες. Αυτό εξαρτάται και πάλι από την πολυπλοκότητα του έργου. Σε περίπτωση που ένα ERC20 χρησιμοποιείται μέσα σε Dapp, ο έλεγχος μπορεί να διαρκέσει σχεδόν έναν ολόκληρο μήνα. 

Ένας άλλος τύπος συμβολαίου είναι το συμβόλαιο πώλησης συμβόλων. Αυτά μπορούν να οριστούν ως προχωρημένα συμβόλαια ERC20 με καθορισμένα tokenomics και προηγμένα χαρακτηριστικά. Λειτουργίες όπως στοίχημα και ανταλλαγή μπορούν επίσης να αποτελούν μέρος αυτών των συμβάσεων. Ο πλήρης έλεγχος τέτοιων συμβάσεων μπορεί να διαρκέσει μία έως δύο εβδομάδες σε σύγκριση με μερικές ημέρες για ένα βασικό συμβόλαιο ERC20.

2. Όπως προαναφέρθηκε, ο χρόνος για τους ελέγχους εξαρτάται επίσης από την πολυπλοκότητα του έργου. Για παράδειγμα, εάν δημιουργείτε μια αποκεντρωμένη ανταλλαγή ή μια αποκεντρωμένη αγορά χρήματος όπως η Aave, ο έλεγχος απαιτεί έναν έμπειρο ελεγκτή και ένα εκτεταμένο χρονοδιάγραμμα για να διασφαλιστεί ότι δεν υπάρχουν υπαίθρια. Σε μια τέτοια περίπτωση, ακόμη και οι χρησμοί πρέπει να ελεγχθούν μαζί με τους αυτοματοποιημένους κατασκευαστές αγοράς και άλλα μέρη του οικοσυστήματος.

Σε ορισμένες περιπτώσεις, η εξάρτηση ενός πρωτοκόλλου ή έξυπνων συμβάσεων από εξωτερικούς παράγοντες το εκθέτει σε τεράστιες ευπάθειες που μπορούν να οδηγήσουν σε αδιανόητες απώλειες. 

Επομένως, ένας τέτοιος τύπος εφαρμογής απαιτεί έλεγχο που διαρκεί έως και 1 μήνα. 

Άλλα έργα που εμπίπτουν σε αυτήν την κατηγορία είναι, μεταξύ άλλων, ο δανεισμός, ο δανεισμός, η ασφάλιση και τα παράγωγα. 

3. Τα είδη των ελέγχων διαδραματίζουν επίσης σημαντικό ρόλο στον καθορισμό του απαιτούμενου χρόνου. Εάν το έξυπνο συμβόλαιό σας έχει κωδικοποιηθεί με τις καλύτερες οδηγίες ανάπτυξης και είστε σίγουροι για την ακεραιότητά του, ένας ενδιάμεσος έλεγχος πρέπει να είναι η επιλογή σας. 

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

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

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

Ο αυτόματος έλεγχος μπορεί να διαρκέσει έως και μία ημέρα για συμβάσεις erc20 / bep20, ενώ οι χειροκίνητοι έλεγχοι συνήθως κυμαίνονται μεταξύ 3 έως 5 ημερών για συμβάσεις erc20 / bep20, ενώ για πολύπλοκα πρωτόκολλα, ο χρόνος του ελέγχου εξαρτάται από τον κώδικα. Για να λάβετε έναν προσαρμοσμένο έλεγχο για πόσο καιρό θα χρειαστεί ο έλεγχος για το πρωτόκολλό σας και τι είδους έλεγχος είναι ο καλύτερος, επικοινωνήστε με τους ειδικούς της QuillAudits για να λάβετε δωρεάν συμβουλές.

Κοιτάζοντας τον απαιτούμενο χρόνο για διαφορετικούς τύπους έξυπνων συμβολαίων και εφαρμογών DeFi, πολλοί άνθρωποι πηγαίνουν στην αγορά με τα καινοτόμα προϊόντα τους χωρίς να κάνουν έλεγχο. Ο κύριος λόγος πίσω από αυτό είναι ο ενθουσιασμός ή η FOMO κάποιου άλλου που εισάγει ένα παρόμοιο έργο στην αγορά. Ένας άλλος λόγος μπορεί να είναι το πρόσθετο κόστος που ένα άτομο μπορεί να μην θέλει να αναλάβει. 

Ωστόσο, η σημασία της διενέργειας έξυπνου λογιστικού ελέγχου δεν μπορεί να τονιστεί αρκετά. Λίγο επιπλέον χρόνο και χρήμα που δαπανάται για τον έξυπνο έλεγχο συμβολαίου μπορεί να εξοικονομήσει εκατομμύρια για τους χρήστες. 

Για να παρέχουμε μια καλύτερη προοπτική σχετικά με την ανάγκη για έξυπνο έλεγχο συμβολαίου, αναφέρονται παρακάτω είναι οι κορυφαίες παραβιάσεις DeFi που συνέβησαν λόγω ενός απλού λάθους να μην γίνει έλεγχος.

Κορυφαίες εισβολές DeFi

• Το DAO Hack

Το DAO είναι ένας αποκεντρωμένος αυτόνομος οργανισμός που γίνεται το νέο πρότυπο καθορισμού του μοντέλου διακυβέρνησης οποιασδήποτε εφαρμογής. Στην ουσία, το DAO λαμβάνει αποφάσεις για την εφαρμογή μέσω έξυπνων συμβάσεων. Επομένως, τα έξυπνα συμβόλαια διαδραματίζουν καθοριστικό ρόλο σε ένα τέτοιο περιβάλλον. 

Σε μια τέτοια περίπτωση όπου το DAO ήταν υπεύθυνο για τον εκδημοκρατισμό της διαδικασίας χρηματοδότησης για τη διαδικασία Ethereum, ένας χάκερ εκμεταλλεύτηκε την ευπάθεια της λειτουργίας εναλλακτικής στο έξυπνο συμβόλαιο. Χρησιμοποιώντας επανάληψη επίθεσης, έκλεψε 3.6 εκατομμύρια από το πρωτόκολλο. 

• Η επίθεση Parity

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

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

Συμπέρασμα

Οι προαναφερθείσες αμυχές είναι μόνο η κορυφή του παγόβουνου. Υπήρξαν αμέτρητες παραβιάσεις στο οικοσύστημα DeFi. Με την ανάπτυξη του DeFi, αυτά τα hacks αυξάνονται επίσης εκθετικά. Ένας από τους κύριους λόγους πίσω από αυτήν την αύξηση είναι τα μη ελεγμένα έξυπνα συμβόλαια ή τα έξυπνα συμβόλαια που δεν έχουν ελεγχθεί. 

Ο έλεγχος του έξυπνου συμβολαίου σας δεν διασφαλίζει την ασφάλειά του, αλλά το να τον ελέγξετε από μια έμπειρη και αναγνωρισμένη από τη βιομηχανία ομάδα όπως αυτή στο Quillaudits είναι αυτό που έχει σημασία. 

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

Προσεγγίστε το QuillHash

Με βιομηχανική παρουσία ετών, QuillHash έχει παράσχει επιχειρηματικές λύσεις σε όλο τον κόσμο. Η QuillHash με μια ομάδα εμπειρογνωμόνων είναι μια κορυφαία εταιρεία ανάπτυξης blockchain που παρέχει διάφορες βιομηχανικές λύσεις, συμπεριλαμβανομένης της εταιρείας DeFi, Εάν χρειάζεστε βοήθεια στον έλεγχο έξυπνων συμβάσεων, μη διστάσετε να επικοινωνήσετε με τους ειδικούς μας εδώ!

Ακολουθήστε το QuillHash για περισσότερες ενημερώσεις

Twitter | LinkedIn | Facebook

Πηγή: https://blog.quillhash.com/2021/04/30/how-long-does-it-take-to-get-smart-contracts-audited-defi/