Aabo Atilẹyin Smart Contract ni DeFi: Awọn ailagbara ti o wọpọ ati Bawo ni Lati Yago Fun wọn

Ṣaaju ki a to wọ inu awọn ailagbara imọ-ẹrọ, o jẹ ọgbọn nigbagbogbo lati rii daju pe awọn iṣẹ iṣowo ipilẹ rẹ wa lori pẹpẹ ti o ni aabo. O le ṣayẹwo awọn idiyele tuntun ati awọn gbigbe fun awọn ohun-ini oriṣiriṣi lori oju-iwe Exbix Markets .

Apá 2: Awọn ailagbara ati awọn ikọlu ti Smart Contract ti o wọpọ

Ẹ jẹ́ ká fọ́kàn tan awọn ẹka ailagbara ti o wọpọ julọ ti o ti yori si pataki nṣiṣẹ ni DeFi.

1. Awọn Ikọlu Reentrancy: Ija Igbagbọ

Ikọlu reentrancy ni ailagbara smart contract ti o gbajumọ julọ, ti a fi hàn ni gbangba nipasẹ ikọlu DAO ni ọdun 2016, eyi ti o yori si pipadanu 3.6 million ETH ati ikọlu Ethereum to tẹle.

• Kini o jẹ? Ikọlu reentrancy n ṣẹlẹ nigbati iwe adehun ti o ni ipalara ba pe pada sinu iwe adehun ti n pe ni ṣaaju ki iṣe iṣẹ akọkọ pari. Eyi le gba olè laaye lati fa owo jade ni igba pupọ ṣaaju ki iwọntunwọnsi wọn to ni imudojuiwọn.
• Bawo ni o ṣe n ṣiṣẹ:
  1. Iwe adehun A ni withdraw() işe ti o n firanṣẹ ETH si olumulo ati lẹ́yìn ṣe àtúnṣe àkúnya inú olumulo.
  2. Ẹ̀ka Olè B pe withdraw().
  3. Ẹ̀ka A rán ETH sí Ẹ̀ka B.
  4. Ẹ̀ka B ní fallback()  iṣẹ́ (ti o gba ETH) tí ni kánkán pe withdraw() ní Ẹ̀ka A lẹ́ẹ̀kan síi.
  5. Ẹ̀ka A ko ti ṣe imudojuiwọn iwọntunwọnsi olè naa, nitorina o rii pe Contract B ṣi ni ẹtọ si diẹ ẹ sii ETH ati pe o ranṣẹ si i lẹẹkansi.
  6. Ìkànsí yìí ń tẹsiwaju, ń fa Contract A, títí di igba ti gaasi ìtransaction bá parí tàbí pé ìkànsí náà ṣofo.
• Apẹẹrẹ Olokiki: Ìṣòro DAO (2016).
• Báwo ni Lati Yago Fun Un:
  • Lo awọn ilana Awọn Ayẹwo-Ẹrọ-Ib interaction: Eyi ni ofin goolu. Nigbagbogbo:
    1. Ṣayẹwo gbogbo ipo (e.g., require(balances[msg.sender] >= amount);).
    2. Ṣatunkọ gbogbo awọn oniyipada ipinlẹ inu (awọn ipa) (e.g., balances[msg.sender] -= iye;).
    3. Ni, ba a ṣe ajọṣepọ pẹlu awọn iwe-aṣẹ miiran tabi EOAs (ajọṣepọ) (e.g., msg.sender.call{value: iye}("");).
  • Lo Awọn Olugba Reentrancy: OpenZeppelin n pese ReentrancyGuard modifier ti o pa iṣẹ kan mọ nigba ti a n ṣe, ti o n dena awọn ipe atunkọ.

2. Iwa Iṣakoso Oracle

Awọn adehun ọlọgbọn nigbagbogbo nilo data gidi. Awọn oracle jẹ awọn iṣẹ ti o pese data yii. Iṣakoso awọn idiyele ti oracle n pese jẹ ọna ikọlu pataki.

• Kini o jẹ? Iṣakoso kan n ṣakoso idiyele ohun-ini kan lori paṣipaarọ ti a ko ni aṣẹ (DEX) pẹlu omi kekere lati fool a protocol’s oracle into reporting a incorrect price.
• Báwo ni iṣẹ́ rẹ:
  1. Ẹ̀rọ ìdájọ́ kan n lo iye owó DEX gẹ́gẹ́ bí oracle rẹ láti pinnu iye tí a lè yá lòdì sí àpò.
  2. Ẹlẹ́ṣin kan ya owó pẹ̀lú àkókò kó láti yọ owó kúrò nínú àjọṣepọ́ ìṣòwò, sọ pé, ABC/ETH, tí ń jẹ́ kí o di aláìlò.
  3. Olèjòkò náà báyìí ṣe ìṣòwò díẹ̀ nínú ABC láti yí owó rẹ̀ padà sí i nípa ETH lórí pùlù tí kò ní omi mọ́.
  4. Ọ̀rọ̀ àkọsílẹ̀ ti ìmúlò náà ka ìye owó tí a ti yí padà yìí.
  5. Olèjòkò náà lo ABC tí a ti fi owó rẹ̀ pọ̀ sí i gẹ́gẹ́ bí àkọ́kọ́ láti yá owó púpọ̀ nínú àwọn ohun-èlò míì, tí kò ní ìmúlò, láti ọ̀dọ̀ ìmúlò náà.
  6. Olèjòkò náà san owó ìkànsí náà padà, àti owó ABC
  nṣiṣẹ ara rẹ, ṣugbọn ilana naa ni a fi silẹ pẹlu awọn ohun-ini ti ko niye ati ẹru gbese nla.
• Àpẹẹrẹ Olokiki: Ija Harvest Finance ($34 million ti sọnu), iṣẹlẹ DAI ti Compound.
• Báwo ni Lati Yago Fun Un:
  • Lo Awọn Oracle Ti a Ko Ni Iṣakoso: Lo awọn nẹtiwọọki oracle to lagbara bi Chainlink, eyiti kópa data lati ọpọlọpọ awọn nœdù ati orisun ominira, ti o jẹ ki wọn nira pupọ ati gbowolori lati ṣe atunṣe.
  • Lo Awọn idiyele Apapọ Ti a Fọwọsi Ni Akoko (TWAPs): Lilo apapọ idiyele lori akoko (fún àpẹẹrẹ, iṣẹju 30) dipo idiyele aaye lẹsẹkẹsẹ jẹ ki atunṣe igba kukuru ko ni èrè.
  • Lo Orisun Data Ọpọ: Má ṣe gbẹkẹle lori omi ti DEX kan ṣoṣo fun ikanni idiyele pataki.

3. Iwọn Integer ati Iwọn Iwọn

Awọn kọmputa ni awọn opin lori bi nọmba ṣe le tobi. A uint256 (nọmba alailẹgbẹ) ninu Solidity ni iye ti o pọ julọ ti 2^256 - 1.

• Kini o jẹ?
  • Overflow: Nigbati iṣẹ (bii afikun) ba fa nọmba ti o tobi ju iye ti o pọ julọ lọ, o “yi pada” si nọmba kekere pupọ.
  • Underflow: Nigbati iṣẹ (bii iyokuro) ba fa nọmba ti o wa ni isalẹ odo (fun awọn integers ti ko ni ami, eyiti ko le jẹ odi), o yi pada si nọmba ti o tobi pupọ. nọmba.
• Bá a ṣe n ṣiṣẹ:
  • Àkúnya ti 100 tokens. Olumulo n lo 101. Iṣiro 100 - 101 yóò fa ìkúnà, tó yóò yọrí sí àkúnya ti 2^256 - 1, tó jẹ́ pé ó fún olùmúlò ní àkúnya tó fẹrẹẹ jẹ́ àìmọ́ye.
• Bá a ṣe lè yago fún It:
  • Lo awọn Solidity 0.8.x tabi lẹhinna: Ẹrọ itumọ naa n ṣayẹwo laifọwọyi fun awọn ikolu/ikolu ati pe o n pada awọn iṣowo nibiti wọn ti ṣẹlẹ.
  • Lo SafeMath fun awọn ẹrọ itumọ atijọ: Ile-ikawe OpenZeppelin SafeMath pese awọn iṣẹ fun awọn iṣe aritmetiki to ni aabo ṣaaju v0.8.

4. Àwọn aṣiṣe iṣakoso iwọle