Ασφάλεια Έξυπνων Συμβολαίων στο DeFi: Κοινές Ευπάθειες και Πώς να τις Αποφύγετε

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

Μέρος 2: Κοινές Ευπάθειες και Εκμεταλλεύσεις Έξυπνων Συμβολαίων

Ας αναλύσουμε τις πιο κοινές κατηγορίες ευπαθειών που έχουν οδηγήσει σε σημαντικές ζημίες στο DeFi.

1. Επιθέσεις Επανεισόδου: Η Κλασική Ληστεία

Η επίθεση επανεισόδου είναι η πιο διάσημη ευπάθεια έξυπνων συμβολαίων, που αποδείχθηκε διαβόητα από την επίθεση DAO το 2016, η οποία οδήγησε σε απώλεια 3,6 εκατομμυρίων ETH και σε μια επακόλουθη σκληρή διακλάδωση του Ethereum.

• Τι είναι; Μια επίθεση επανεισόδου συμβαίνει όταν ένα κακόβουλο συμβόλαιο καλεί ξανά το συμβόλαιο που το κάλεσε πριν ολοκληρωθεί η αρχική εκτέλεση της συνάρτησης. Αυτό μπορεί να επιτρέψει στον επιτιθέμενο να αποσύρει επανειλημμένα κεφάλαια πριν ενημερωθεί το υπόλοιπό τους.
• Πώς λειτουργεί:
  1. Το Συμβόλαιο A έχει μια withdraw() συνάρτηση που στέλνει ETH σε έναν χρήστη και στη συνέχεια ενημερώνει το εσωτερικό υπόλοιπο του χρήστη.
  2. Το Συμβόλαιο B του επιτιθέμενου καλεί withdraw().
  3. Το Συμβόλαιο A στέλνει ETH στο Συμβόλαιο B.
  4. Το Συμβόλαιο B έχει μια fallback() λειτουργία (η οποία λαμβάνει το ETH) που άμεσα καλεί withdraw() στο Συμβόλαιο A ξανά.
  5. Το Συμβόλαιο A δεν έχει ακόμη ενημερώσει το υπόλοιπο του επιτιθέμενου, οπότε βλέπει ότι το Συμβόλαιο B έχει ακόμα δικαίωμα σε περισσότερα ETH και το στέλνει ξανά.
  6. Αυτή η διαδικασία συνεχίζεται, αδειάζοντας το Συμβόλαιο A, μέχρι να εξαντληθούν τα καύσιμα της συναλλαγής ή το συμβόλαιο να είναι άδειο.
• Διάσημο Παράδειγμα: Η απάτη DAO (2016).
• Πώς να το Αποφύγετε:
  • Χρησιμοποιήστε το μοτίβο Ελέγχων-Επιπτώσεων-Αλληλεπιδράσεων: Αυτός είναι ο χρυσός κανόνας. Πάντα:
    1. Ελέγξτε όλες τις συνθήκες (π.χ., require(balances[msg.sender] >= amount);).
    2. Ενημερώστε όλες τις εσωτερικές μεταβλητές κατάστασης (επιπτώσεις) (π.χ., balances[msg.sender] -= ποσό;).
    3. Στη συνέχεια, αλληλεπιδράστε με άλλες συμβάσεις ή EOAs (αλληλεπιδράσεις) (π.χ., msg.sender.call{value: amount}("");).
  • Χρησιμοποιήστε Φυλακές Επανακαλέσεων: Η OpenZeppelin παρέχει έναν ReentrancyGuard τροποποιητή που κλειδώνει μια συνάρτηση κατά τη διάρκεια της εκτέλεσής της, αποτρέποντας αναδρομικές κλήσεις.

2. Επιθέσεις Χειραγώγησης Ορίων

Οι έξυπνες συμβάσεις συχνά χρειάζονται δεδομένα από τον πραγματικό κόσμο. Τα όρια είναι υπηρεσίες που παρέχουν αυτά τα δεδομένα. Η χειραγώγηση της ροής τιμών που παρέχει ένα όριο είναι ένας κύριος τρόπος επίθεσης.

• Τι είναι; Ένας επιτιθέμενος χειραγωγεί την τιμή ενός περιουσιακού στοιχείου σε μια αποκεντρωμένη ανταλλαγή (DEX) με χαμηλή ρευστότητα για ξεγελάστε τον ορισμό ενός πρωτοκόλλου για να αναφέρει μια λανθασμένη τιμή.
• Πώς λειτουργεί:
  1. Ένα πρωτόκολλο δανεισμού χρησιμοποιεί την τιμή spot ενός DEX ως ορισμό για να καθορίσει πόσα μπορούν να δανειστούν σε σχέση με την εγγύηση.
  2. Ένας επιτιθέμενος παίρνει ένα flash loan για να αποστραγγίσει τη ρευστότητα από ένα ζεύγος συναλλαγών, ας πούμε, ABC/ETH, καθιστώντας το πολύ μη ρευστό.
  3. Ο επιτιθέμενος στη συνέχεια ανταλλάσσει μια μικρή ποσότητα ABC για να κινήσει μαζικά την τιμή του ενάντια στο ETH στην τρέχουσα μη ρευστή δεξαμενή.
  4. Ο oracle του πρωτοκόλλου διαβάζει αυτή την παραποιημένη τιμή.
  5. Ο επιτιθέμενος χρησιμοποιεί το τεχνητά διογκωμένο ABC ως εγγύηση για να δανειστεί μια τεράστια ποσότητα άλλων, μη παραποιημένων περιουσιακών στοιχείων από το πρωτόκολλο.
  6. Ο επιτιθέμενος αποπληρώνει το δάνειο ταχείας εκτέλεσης, και η τιμή του ABC διορθώνει τον εαυτό του, αλλά το πρωτόκολλο μένει με άχρηστο περιθώριο και ένα τεράστιο κακό χρέος.
• Διάσημα Παραδείγματα: Η απάτη του Harvest Finance (34 εκατομμύρια δολάρια χαμένα), το περιστατικό με το DAI του Compound.
• Πώς να το Αποφύγετε:
  • Χρησιμοποιήστε Αποκεντρωμένα Oracle: Χρησιμοποιήστε ισχυρά δίκτυα oracle όπως το Chainlink, το οποίο συγκεντρώνουν δεδομένα από πολλαπλούς ανεξάρτητους κόμβους και πηγές, καθιστώντας τα εξαιρετικά δύσκολα και ακριβά προς χειρισμό.
  • Χρησιμοποιήστε Μέσες Τιμές Βαθμισμένου Χρόνου (TWAPs): Η χρήση μιας μέσης τιμής σε μια χρονική περίοδο (π.χ., 30 λεπτά) αντί της άμεσης τιμής αγοράς καθιστά τον βραχυπρόθεσμο χειρισμό μη κερδοφόρο.
  • Χρησιμοποιήστε Πολλαπλές Πηγές Δεδομένων: Μην να βασίζεστε στη ρευστότητα ενός μόνο DEX για μια κρίσιμη τροφοδοσία τιμών.

3. Υπερχείλιση και Υποχείλιση Ακεραίων

Οι υπολογιστές έχουν όρια στο πόσο μεγάλο μπορεί να είναι ένας αριθμός. Ένας uint256 (μη υπογεγραμμένος ακέραιος) στη Solidity έχει μέγιστη τιμή 2^256 - 1.

• Τι είναι;
  • Υπερχείλιση: Όταν μια λειτουργία (όπως η πρόσθεση) παράγει έναν αριθμό μεγαλύτερο από την μέγιστη τιμή, "γυρίζει" σε έναν πολύ μικρό αριθμό.
  • Υποχείλιση: Όταν μια λειτουργία (όπως η αφαίρεση) παράγει έναν αριθμό κάτω από το μηδέν (για ακέραιους αριθμούς χωρίς πρόσημο, οι οποίοι δεν μπορούν να είναι αρνητικοί), γυρίζει σε έναν πολύ μεγάλο αριθμό.
  αριθμός.
• Πώς λειτουργεί:
  • Μια ισορροπία 100 tokens. Ένας χρήστης ξοδεύει 101. Ο υπολογισμός 100 - 101 θα προκαλέσει υπερχείλιση, με αποτέλεσμα μια ισορροπία 2^256 - 1, δίνοντας ουσιαστικά στον χρήστη μια σχεδόν απεριόριστη ισορροπία.
• Πώς να αποφύγετε Χρήση Solidity 0.8.x ή νεότερης έκδοσης: Ο μεταγλωττιστής ελέγχει αυτόματα για υπερχειλίσεις/υποχειλίσεις και αναιρεί τις συναλλαγές όπου συμβαίνουν.
• Χρήση SafeMath για παλιότερους μεταγλωττιστές: Η βιβλιοθήκη OpenZeppelin SafeMath παρέχει συναρτήσεις για ασφαλείς αριθμητικές λειτουργίες πριν από την έκδοση v0.8.