Bezpečnosť smart kontraktov v DeFi: Bežné zraniteľnosti a ako sa im vyhnúť

Predtým, ako sa ponoríme do technických zraniteľností, je vždy rozumné zabezpečiť, aby vaše základné obchodné aktivity prebiehali na bezpečnej platforme. Môžete skontrolovať najnovšie ceny a pohyby rôznych aktív na stránke Exbix Markets .

Časť 2: Bežné zraniteľnosti a zneužitia inteligentných zmlúv

Poďme si rozobrať najbežnejšie kategórie zraniteľností, ktoré viedli k významným straty v DeFi.

1. Reentrancy útoky: Klasická lúpež

Reentrancy útok je najznámejšia zraniteľnosť smart kontraktov, notoricky známa vďaka DAO hacku v roku 2016, ktorý viedol k strate 3,6 milióna ETH a následnému hard forku Ethereum.

• Čo to je? Reentrancy útok nastáva, keď škodlivý kontrakt zavolá späť do volajúceho kontraktu pred dokončením pôvodného vykonania funkcie. To môže útočníkovi umožniť opakovane vyberať prostriedky predtým, ako sa jeho zostatok aktualizuje.
• Ako to funguje:
  1. Kontrakt A má funkciu withdraw() , ktorá posiela ETH používateľovi a potom aktualizuje interný zostatok používateľa.
  2. Útočníkov kontrakt B volá withdraw().
  3. Kontrakt A posiela ETH do kontraktu B.
  4. Kontrakt B má fallback() funkciu (ktorá prijíma ETH), ktorá okamžite znova volá withdraw() v kontrakte A.
  5. Kontrakt A ešte neaktualizoval zostatok útočníka, takže vidí, že Zmluva B má stále nárok na viac ETH a posiela ho znova.
  6. Tento cyklus pokračuje, kým sa nevyčerpá plyn transakcie alebo kým nie je zmluva prázdna.
• Slávny príklad: Hack DAO (2016).
• Ako sa tomu vyhnúť:
  • Použite vzor Kontroly-Účinky-Interakcie: Toto je zlaté pravidlo. Vždy:
    1. Skontrolujte všetky podmienky (napr. require(balances[msg.sender] >= amount);).
    2. Aktualizujte všetky interné stavové premenné (účinky) (napr. balances[msg.sender] -= amount;).
    3. Potom, interagujte s inými kontraktmi alebo EOAs (interakcie) (napr., msg.sender.call{value: amount}("");).
  • Použite ochrany proti reentrancii: OpenZeppelin poskytuje ReentrancyGuard modifikátor, ktorý uzamkne funkciu počas jej vykonávania a zabráni rekurzívnym volaniam.

2. Útoky na manipuláciu s orákulami

Inteligentné zmluvy často potrebujú údaje z reálneho sveta. Orákula sú služby, ktoré tieto údaje poskytujú. Manipulácia s cenovým feedom, ktorý orákulum poskytuje, je primárny útokový vektor.

• Čo to je? Útočník manipuluje s cenou aktíva na decentralizovanej burze (DEX) s nízkou likviditou, aby oklamať orákulum protokolu, aby hlásilo nesprávnu cenu.
• Ako to funguje:
  1. Protokol na požičiavanie používa spotovú cenu DEX ako svoje orákulum na určenie, koľko sa môže požičať proti kolaterálu.
  2. Útočník si vezme bleskovú pôžičku, aby vyčerpal likviditu z obchodného páru, povedzme, ABC/ETH, čím ho urobí veľmi nelikvidným.
  3. Útočník potom vymení malé množstvo ABC, aby masívne posunul jeho cenu proti ETH na teraz nelikvidnom poole.
  4. Orákulum protokolu číta túto manipulovanú cenu.
  5. Útočník používa umelo nafúknuté ABC ako kolaterál na požičanie obrovského množstva iných, nemanipulovaných aktív z protokolu.
  6. Útočník spláca rýchlu pôžičku a cena ABC
  sa opraví, ale protokol zostáva s bezcennými zárukami a obrovským zlým dlhom.
• Slávne príklady: Hackerstvo Harvest Finance (strata 34 miliónov dolárov), incident s DAI od Compound.
• Ako sa tomu vyhnúť:
  • Používajte decentralizované orákuly: Používajte robustné orákulové siete ako Chainlink, ktoré zhromažďovať údaje z viacerých nezávislých uzlov a zdrojov, čo ich robí mimoriadne ťažkými a nákladnými na manipuláciu.
  • Použite časovo vážené priemerné ceny (TWAP): Použitie priemerných cien za určité obdobie (napr. 30 minút) namiesto okamžitej spotovej ceny robí krátkodobú manipuláciu neprofitabilnou.
  • Použite viaceré zdroje údajov: Nerobte spoliehať sa na likviditu jediného DEX-u pre kritický cenový zdroj.

3. Pretečenia a podtečenia celých čísel

Počítače majú obmedzenia, aké veľké číslo môže byť. An uint256 (nepodpisané celé číslo) v Solidity má maximálnu hodnotu 2^256 - 1.

• Čo to je?
  • Pretečenie: Keď operácia (ako sčítanie) vedie k číslu väčšiemu ako maximálna hodnota, “obtočí sa” na veľmi malé číslo.
  • Podtečenie: Keď operácia (ako odčítanie) vedie k číslu pod nulu (pre neznamienkové celé čísla, ktoré nemôžu byť záporné), obtočí sa na veľmi veľké číslo.
  číslo.
• Ako to funguje:
  • Vyváženie 100 tokenov. Používateľ minie 101. Výpočet 100 - 101 by spôsobil podtečenie, čo by viedlo k zostatku 2^256 - 1, čím by sa používateľovi efektívne poskytol takmer nekonečný zostatok.
• Ako sa vyhnúť 4.
  • Používajte Solidity 0.8.x alebo novší: Kompilátor automaticky kontroluje pretečenia/podtečenia a vracia transakcie, kde k nim dochádza.
  • Používajte SafeMath pre staršie kompilátory: Knižnica OpenZeppelin SafeMath poskytovala funkcie pre bezpečné aritmetické operácie pred verziou 0.8.