Okos szerződés biztonsága a DeFi-ban: Gyakori sebezhetőségek és hogyan kerülhetjük el őket

Mielőtt a technikai sebezhetőségekre térnénk, mindig érdemes biztosítani, hogy az alapvető kereskedési tevékenységeid egy biztonságos platformon zajlanak. Az aktuális árakat és mozgásokat különböző eszközök esetében a Exbix Markets oldalon ellenőrizheti.

2. rész: Gyakori okos szerződés sebezhetőségek és kihasználások

Vizsgáljuk meg a leggyakoribb sebezhetőségi kategóriákat, amelyek jelentős a DeFi veszteségei.

1. Reentrancy támadások: A klasszikus rablás

A reentrancy támadás a legismertebb okos szerződés sebezhetőség, amelyet hírhedten bemutatott a DAO hack 2016-ban, ami 3,6 millió ETH veszteséghez és egy későbbi Ethereum hard forkhoz vezetett.

• Mi az? A reentrancy támadás akkor fordul elő, amikor egy rosszindulatú szerződés visszahívja a hívó szerződést, mielőtt a kezdeti funkció végrehajtása befejeződne. Ez lehetővé teheti a támadó számára, hogy ismételten pénzt vonjon ki, mielőtt az egyenlege frissülne.
• Hogyan működik:
  1. A szerződésnek van egy withdraw() funkciója, amely ETH-t küld egy felhasználónak és ezután frissíti a felhasználó belső egyenlegét.
  2. A támadó B szerződése hívja a withdraw()-t.
  3. A szerződés A ETH-t küld a B szerződésnek.
  4. A B szerződésnek van egy fallback() függvénye (amely fogadja az ETH-t), ami azonnal újra hívja a withdraw()-t az A szerződésben.
  5. A szerződés A még nem frissítette a támadó egyenlegét, így azt látja, hogy a B szerződésnek még mindig joga van több ETH-hoz, és újra elküldi azt.
  6. Ez a ciklus folytatódik, kiürítve az A szerződést, amíg a tranzakciós gáz el nem fogy, vagy a szerződés ki nem ürül.
• Híres példa: A DAO hack (2016).
• Hogyan kerülhető el:
  • Használja a Checks-Effects-Interactions mintát: Ez az aranyszabály. Mindig:
    1. Ellenőrizze az összes feltételt (például: require(balances[msg.sender] >= amount);).
    2. Frissítse az összes belső állapotváltozót (hatások) (például: balances[msg.sender] -= amount;).
    3. Ezután lépjen kapcsolatba más szerződésekkel vagy EOA-kkal (interakciók) (pl. msg.sender.call{value: amount}("");).
  • Használjon Reentrancy Guard-okat: Az OpenZeppelin biztosít egy ReentrancyGuard modifikátort, amely zárolja a funkciót végrehajtása alatt, megakadályozva a rekurzív hívásokat.

2. Oracle Manipulációs Támadások

A smart contractok gyakran igényelnek valós idejű adatokat. Az orákulumok olyan szolgáltatások, amelyek ezeket az adatokat biztosítják. Az orákulum által szolgáltatott árfolyam manipulálása az egyik fő támadási forma.

• Mi ez? Egy támadó manipulálja egy eszköz árát egy alacsony likviditású decentralizált tőzsdén (DEX), hogy megvezetni egy protokoll orákulumát, hogy helytelen árat jelentsen.
• Hogyan működik:
  1. Egy hitelezési protokoll egy DEX azonnali árát használja orákulumként, hogy meghatározza, mennyit lehet kölcsönözni a fedezet ellenében.
  2. Egy támadó flash kölcsönt vesz fel, hogy likviditást vonjon ki egy kereskedési párból, mondjuk, ABC/ETH, így az nagyon illikvid lesz.
  3. A támadó ezután egy kis mennyiségű ABC-t kereskedik, hogy drasztikusan megmozgassa az árát az immár likviditás nélküli poolon az ETH ellen.
  4. A protokoll orákulusa ezt a manipulált árat olvassa le.
  5. A támadó az mesterségesen megemelt ABC-t használja fedezetként, hogy hatalmas mennyiségű más, nem manipulált eszközt kölcsönözzön a protokolltól.
  6. A támadó visszafizeti a gyors kölcsönt, és az ABC ára önmagát helyrehozza, de a protokoll értéktelen fedezettel és hatalmas rossz adóssággal marad.
• Híres Példák: Harvest Finance hack (34 millió dollár veszteség), a Compound DAI incidenst.
• Hogyan Kerüljük El:
  • Használj Decentralizált Oracle-okat: Használj robusztus oracle hálózatokat, mint a Chainlink, amelyek aggregált adatokat több független csomópontból és forrásból, így rendkívül nehézzé és költségessé válik a manipulálásuk.
  • Idő-átlagolt árak (TWAP): Az árak egy adott időszak (pl. 30 perc) átlagának használata az azonnali piaci ár helyett megakadályozza a rövid távú manipulációt.
  • Több adatforrás használata: Ne bízzon egyetlen DEX likviditásában egy kritikus árfolyamhoz.

3. Egész szám túllépések és alulértékelések

A számítógépeknek korlátai vannak arra vonatkozóan, hogy mekkora lehet egy szám. Egy uint256 (előjel nélküli egész szám) a Solidity-ban maximális értéke 2^256 - 1.

• Mi az?
  • Overflow: Amikor egy művelet (például összeadás) olyan számot eredményez, amely nagyobb a maximális értéknél, akkor “visszafordul” egy nagyon kis számra.
  • Underflow: Amikor egy művelet (például kivonás) olyan számot eredményez, amely nulla alatt van (a negatív számokat nem támogató egész számok esetén), akkor visszafordul egy nagyon nagy számra.
  szám.
• Hogyan működik:
  • Egy 100 tokenből álló egyenleg. A felhasználó 101-et költ. A számítás 100 - 101 alulcsapást eredményezne, ami 2^256 - 1 egyenleget adna, gyakorlatilag szinte végtelen egyenleget biztosítva a felhasználónak.
• Hogyan kerülhető el It:
  • Használj Solidity 0.8.x vagy újabb verziót: A fordító automatikusan ellenőrzi a túlfutásokat/alfutásokat, és visszavonja azokat a tranzakciókat, ahol ezek előfordulnak.
  • Használj SafeMath-ot régebbi fordítókhoz: Az OpenZeppelin SafeMath könyvtár biztonságos aritmetikai műveletekhez biztosított funkciókat a v0.8 előtt.

4. Hozzáférés-ellenőrzési hibák