Siguria e Kontratave të Mençura në DeFi: Vulnerabilitetet e Zakonshme dhe Si t'i Shmangni ato

Para se të hyjmë në dobësitë teknike, gjithmonë është e mençur të sigurohemi që aktivitetet tuaja themelore të tregtisë janë në një platformë të sigurt. Mund të kontrolloni çmimet dhe lëvizjet më të fundit për asete të ndryshme në faqen Exbix Markets .

Paragrafi 2: Dobësitë dhe Shfrytëzimet më të Zakonshme të Kontratave të Mençura

Le të analizojmë kategoritë më të zakonshme të dobësive që kanë çuar në dëme të konsiderueshme humbjet në DeFi.

1. Sulmet e Rishfaqjes: Vjedhja Klasike

Sulmi i rishfaqjes është vulnerabiliteti më i njohur i kontratave inteligjente, i demonstruar famshëm nga haku i DAO në vitin 2016, i cili çoi në humbjen e 3.6 milion ETH dhe një hard fork të mëpasshëm të Ethereum-it.

• Çfarë është? Një sulm rishfaqjeje ndodh kur një kontratë keqdashëse thërret përsëri në kontratën që e thirri përpara se ekzekutimi fillestar i funksionit të përfundojë. Kjo mund të lejojë sulmuesin të tërheqë vazhdimisht fonde përpara se bilanci i tij të përditësohet.
• Si funksionon:
  1. Kontrata A ka një withdraw() funksion që dërgon ETH te një përdorues dhe pastaj aktualizon bilancin e brendshëm të përdoruesit.
  2. Kontrata e Sulmuesit B thërret withdraw().
  3. Kontrata A dërgon ETH në Kontratën B.
  4. Kontrata B ka një fallback() funksion (i cili merr ETH-në) që menjëherë thërret withdraw() në Kontratën A përsëri.
  5. Kontrata A nuk ka përditësuar ende bilancin e sulmuesit, kështu që sheh se Kontrata B ende ka të drejtë për më shumë ETH dhe e dërgon përsëri.
  6. Kjo cikël vazhdon, duke e shteruar Kontratën A, derisa gazin e transaksionit të mbarojë ose kontrata të jetë bosh.
• Shembulli i Njohur: Haku i DAO (2016).
• Si ta Shmangni:
  • Përdorni modelin Kontrol-Efekte-Interaksione: Kjo është rregulli i artë. Gjithmonë:
    1. Kontrolloni të gjitha kushtet (p.sh., require(balances[msg.sender] >= amount);).
    2. Përditësoni të gjitha variablat e brendshëm të gjendjes (efektet) (p.sh., balances[msg.sender] -= sasia;).
    3. Më pas, ndërveproni me kontrata të tjera ose EOA (ndërveprime) (p.sh., msg.sender.call{value: amount}("");).
  • Përdorni Gardat e Rinvesteve: OpenZeppelin ofron një ReentrancyGuard modifikues që bllokon një funksion gjatë ekzekutimit të tij, duke parandaluar thirrjet rekursive.

2. Sulmet e Manipulimit të Orakujve

Kontratet inteligjente shpesh kanë nevojë për të dhëna nga bota reale. Orakujt janë shërbime që ofrojnë këto të dhëna. Manipulimi i informacionit mbi çmimin që ofron një orakull është një nga mënyrat kryesore të sulmit.

• Çfarë është? Një sulmues manipulton çmimin e një aktivi në një shkëmbim të decentralizuar (DEX) me likuiditet të ulët për të mashtrojë orakulin e një protokolli për të raportuar një çmim të gabuar.
• Si funksionon:
  1. Një protokoll huaje përdor çmimin spot të një DEX si orakulin e tij për të përcaktuar se sa mund të huazohet kundrejt kolateralit.
  2. Një sulmues merr një hua flash për të tharë likuiditetin nga një çift tregtimi, le të themi, ABC/ETH, duke e bërë atë shumë të pa likuid.
  3. Sulmuesi pastaj shkëmben një sasi të vogël të ABC për të lëvizur masivisht çmimin e saj kundër ETH në pishin tani të pa likuiduar.
  4. Orakulli i protokollit lexon këtë çmim të manipuluar.
  5. Sulmuesi përdor ABC-në e fryrë artificialisht si kolateral për të marrë me hu një sasi të madhe të aseteve të tjera, që nuk janë manipuluar, nga protokolli.
  6. Sulmuesi shlyen huan e shpejtë, dhe çmimi i ABC-së korrigjon veten, por protokolli mbetet me kolateral të pavlerë dhe një borxh të madh të keq.
• Shembuj të Njohur: Hack-u i Harvest Finance (34 milion dollarë të humbur), incidenti me DAI të Compound.
• Si të Shmangni Këtë:
  • Përdorni Orakuj Decentralizuar: Përdorni rrjete orakujsh të fortë si Chainlink, të cilat të dhënat nga shumë burime të pavarura dhe burime, duke i bërë ato jashtëzakonisht të vështira dhe të shtrenjta për t'u manipuluar.
  • Përdorni Çmimet e Mesme të Peshës në Kohë (TWAP): Përdorimi i një mesatare çmimi gjatë një periudhe (p.sh., 30 minuta) në vend të çmimit të menjëhershëm të tregut e bën manipulimin afatshkurtër të paefektshëm.
  • Përdorni Burime të Shumta të Dhënash: Mos mbështeteni në likuiditetin e një DEX-i të vetëm për një informacion kritik mbi çmimin.

3. Tepricat dhe Nënfluksit e Integerëve

Kompjuterët kanë kufij se sa i madh mund të jetë një numër. Një uint256 (integer i pa nënshkruar) në Solidity ka një vlerë maksimale prej 2^256 - 1.

• Çfarë është?
  • Overflow: Kur një operacion (si shtimi) rezulton në një numër më të madh se vlera maksimale, ai “kthehet” në një numër shumë të vogël.
  • Underflow: Kur një operacion (si zbritja) rezulton në një numër nën zero (për numrat e padëshiruar, të cilët nuk mund të jenë negativë), ai kthehet në një numër shumë të madh. numri.
• Si funksionon:
  • Një bilanc prej 100 tokenesh. Një përdorues shpenzon 101. Llogaritja 100 - 101 do të nënshkruajë, duke rezultuar në një bilanc prej 2^256 - 1, duke i dhënë përdoruesit një bilanc pothuajse të pafund.
• Si të shmangni It:
  • Përdorni Solidity 0.8.x ose më vonë: Kompilatori kontrollon automatikisht për mbingarkesa/nënngarkesa dhe anullon transaksionet ku ndodhin ato.
  • Përdorni SafeMath për kompilatorët më të vjetër: Biblioteka OpenZeppelin SafeMath ofron funksione për operacione aritmetike të sigurta para v0.8.

4. Gabimet e Kontrollit të Qasjes