DeFi-də Ağıllı Müqavilə Təhlükəsizliyi: Ümumi Zəifliklər və Onlardan Necə Qaçmaq Olar

Texniki zəifliklərə daxil olmadan əvvəl, ticarət fəaliyyətlərinizin təhlükəsiz bir platformada olduğuna əmin olmaq həmişə ağıllıdır. Son qiymətləri və müxtəlif aktivlərin hərəkətlərini Exbix Markets  səhifəsində yoxlaya bilərsiniz.

2-ci hissə: Ümumi Smart Müqavilə Zəiflikləri və İstismarlar

Əhəmiyyətli nəticələrə səbəb olan ən yaygın zəiflik kateqoriyalarını araşdıraq. DeFi-də itkilər.

1. Yenidən Giriş Hücumları: Klassik Oğurluq

Yenidən giriş hücumu, 2016-cı ildə baş vermiş DAO hücumu ilə məşhurlaşmış ən tanınmış ağıllı müqavilə zəifliyidir. Bu hücum 3.6 milyon ETH itkiyə səbəb olmuş və nəticədə Ethereum-un sərt çatalına yol açmışdır.

• Bu nədir? Yenidən giriş hücumu baş verir, əgər zərərli bir müqavilə çağıran müqaviləyə geri çağırış edərsə, ilkin funksiya icrası tamamlanmadan əvvəl. Bu, hücumçunun balansı yenilənməzdən əvvəl vəsaitləri dəfələrlə çəkməsinə imkan verə bilər.
• Necə işləyir:
  1. Müqavilə A-nın withdraw() funksiyası istifadəçiyə ETH göndərir və sonra istifadəçinin daxili balansını yeniləyir.
  2. Hücumçunun Müqavilə B-si withdraw() funksiyasını çağırır.
  3. Müqavilə A, Müqavilə B-yə ETH göndərir.
  4. Müqavilə B-də fallback() funksiyası var (ETH-ni qəbul edən) ki, bu da dərhal yenidən Müqavilə A-da withdraw() çağırır.
  5. Müqavilə A hələ də hücumçunun balansını yeniləməyib, buna görə də Contract B-nin daha çox ETH almağa haqqı olduğunu görərək onu yenidən göndərir.
  6. Bu döngü davam edir, Contract A-nı boşaldaraq, əməliyyat qazı bitənə qədər və ya müqavilə boşalana qədər.
• Məşhur Nümunə: DAO hücumu (2016).
• Bundan necə qaçmaq olar:
  • Checks-Effects-Interactions modelını istifadə edin: Bu, qızıl qaydadır. Həmişə:
    1. Yoxlayın bütün şərtləri (məsələn, require(balances[msg.sender] >= amount);).
    2. Yeniləyin bütün daxili vəziyyət dəyişənlərini (təsirlər) (məsələn, balances[msg.sender] -= miqdar;).
    3. Daha sonra, digər müqavilələrlə və ya EOA-larla (interaksiyalar) qarşılıqlı əlaqə yaradın (məsələn, msg.sender.call{value: amount}("");).
  • Reentrancy Qoruyucularından istifadə edin: OpenZeppelin, bir funksiyanı icra edildiyi müddətdə kilidləyən və rekursiv çağırışları əngəlləyən ReentrancyGuard modifikatoru təqdim edir.

2. Oracle Manipulyasiya Hücumları

Ağıllı müqavilələr tez-tez real dünya məlumatlarına ehtiyac duyur. Oracle-lar bu məlumatları təmin edən xidmətlərdir. Oracle-ın təqdim etdiyi qiymət axınını manipulyasiya etmək əsas hücum vektorudur.

• Bu nədir? Hücumçu, aşağı likvidlik olan mərkəzləşdirilməmiş bir mübadilədə (DEX) bir aktivin qiymətini manipulyasiya edir. bir protokolun oracle'ını yanlış qiymət bildirməyə aldatmaq.
• Necə işləyir:
  1. Bir kredit protokolu, girov qarşılığında nə qədər borc götürə biləcəyini müəyyən etmək üçün DEX-in spot qiymətini oracle olaraq istifadə edir.
  2. Bir hücumçu, ABC/ETH ticarət cütlüyündən likvidliyi boşaltmaq üçün bir flash loan alır, bu da onu çox likvid olmayan edir.
  3. Sonra hücum edən, ABC-nin kiçik bir miqdarını ETH-yə qarşı qiymətini kütləvi şəkildə hərəkət etdirmək üçün illik likvid olmayan hovuzda ticarət edir.
  4. Protokolun oraklı bu manipulyasiya edilmiş qiyməti oxuyur.
  5. Hücum edən, süni şəkildə artırılmış ABC-ni girov olaraq istifadə edərək protokoldan böyük miqdarda digər, manipulyasiya edilməmiş aktivlər borc alır.
  6. Hücum edən, flash borcunu geri qaytarır və ABC-nin qiyməti
  özünü düzəldir, lakin protokol dəyərsiz təminat və böyük pis borc ilə qalır.
• Məşhur Nümunələr: Harvest Finance hakerliyi (34 milyon dollar itki), Compound-un DAI hadisəsi.
• Bundan Necə Qaçmaq Olar:
  • Desentralizasiya Olunmuş Orakllardan İstifadə Edin: Chainlink kimi güclü orakl şəbəkələrindən istifadə edin, hansı ki müstəqil düyünlərdən və mənbələrdən toplanmış məlumatları birləşdirin, onları manipulyasiya etməyi son dərəcə çətin və bahalı edir.
  • Zaman Çəki Orta Qiymətlərindən (TWAP-lardan) istifadə edin: Qısa müddətli manipulyasiyanı mənasız edən, dərhal yerindəki qiymət əvəzinə bir dövr (məsələn, 30 dəqiqə) ərzində qiymət ortalamasından istifadə edin.
  • Bir neçə Məlumat Mənbəsindən istifadə edin: İstifadə etməyin. bir tək DEX-in likvidliyinə kritik qiymət məlumatı üçün etibar etmək.

3. Tam ədədlərin aşması və azlığı

Kompüterlərin bir ədədin nə qədər böyük ola biləcəyinə dair sərhədləri var. Solidity-dəki bir uint256 (imzasız tam ədəd) maksimum dəyəri 2^256 - 1-dir.

• Bu nədir?
  • Overflov: Bir əməliyyat (məsələn, toplama) maksimum dəyərdən böyük bir ədəd nəticələndirdikdə, o, “dönür” çox kiçik bir ədədə.
  • Underflov: Bir əməliyyat (məsələn, çıxma) sıfırdan aşağı bir ədəd nəticələndirdikdə (müsbət tam ədədlər üçün, hansı ki, mənfi ola bilməz), o, çox böyük bir ədədə dönür.
  sayı.
• Necə işləyir:
  • Bir balans 100 token. İstifadəçi 101100 - 101 azaldılacaq, nəticədə balans 2^256 - 1 olacaq, bu da istifadəçiyə demək olar ki, sonsuz bir balans verir.
• Necə qaçmaq olar İt:
  • Solidity 0.8.x və ya daha yeni versiyalarını istifadə edin: Kompilyator avtomatik olaraq aşma/azalma hallarını yoxlayır və bu baş verdikdə əməliyyatları geri qaytarır.
  • Köhnə kompilyatorlar üçün SafeMath istifadə edin: OpenZeppelin SafeMath kitabxanası v0.8-dən əvvəl təhlükəsiz arifmetik əməliyyatlar üçün funksiyalar təqdim edir.