DeFi中的智能合約安全：常見漏洞及其避免方法

在我們深入探討技術漏洞之前，確保您的基礎交易活動在安全的平台上進行始終是明智的。 您可以在 Exbix Markets 頁面查看各種資產的最新價格和變動。

第 2 部分：常見的智能合約漏洞和利用

讓我們來分析導致重大問題的最常見漏洞類別。 在DeFi中的損失。

1. 重入攻擊：經典盜竊

重入攻擊是最著名的智能合約漏洞，2016年 DAO黑客事件 的惡名昭彰的展示，導致損失360萬ETH，並隨之而來的以太坊硬分叉。

• 這是什麼？ 重入攻擊 當一個惡意合約在初始函數執行完成之前調用回呼叫合約時，就會發生這種情況。這可能允許攻擊者在其餘額更新之前重複提取資金。
• 運作方式：
  1. 合約 A 擁有一個 withdraw() 函數，該函數向用戶發送 ETH 並且 然後 更新用戶的內部餘額。
  2. 攻擊者的合約 B 呼叫 withdraw()。
  3. 合約 A 向合約 B 轉送 ETH。
  4. 合約 B 擁有一個 fallback() 函數（接收 ETH），該函數 立即 再次呼叫合約 A 的 withdraw()。
  5. 合約 A 尚未更新攻擊者的餘額，因此它仍然認為合約 B 有權獲得更多的 ETH，並再次發送它。
  6. 這個循環持續進行，直到合約 A 被耗盡，或者交易的燃料耗盡。
• 著名範例： DAO 黑客事件（2016 年）。
• 如何避免：
  • 使用檢查-效果-互動模式： 這是黃金法則。始終：
    1. 檢查 所有條件（例如， require(balances[msg.sender] >= amount);）。
    2. 更新 所有內部狀態變數（效果）（例如， balances[msg.sender] -= 數量；）。
    3. 然後，與其他合約或外部擁有者帳戶（互動）進行互動（例如， msg.sender.call{value: amount}("");）。
  • 使用重入保護： OpenZeppelin 提供了一個 ReentrancyGuard 修飾符，在函數執行期間鎖定該函數，防止遞歸調用。

2. Oracle 操作攻擊

智能合約通常需要現實世界的數據。預言機是提供這些數據的服務。操縱預言機提供的價格數據是主要的攻擊途徑。

• 這是什麼？ 攻擊者在流動性較低的去中心化交易所（DEX）上操縱資產的價格，以 愚弄協議的預言機，使其報告錯誤的價格。
• 運作方式：
  1. 一個借貸協議使用去中心化交易所（DEX）的現貨價格作為其預言機，以確定可以根據抵押品借出多少資金。
  2. 攻擊者利用閃電貸款從一個交易對（例如，ABC/ETH）中抽走流動性，導致其變得非常缺乏流動性。
  3. 攻擊者接著在現在流動性不足的池中交易少量的 ABC，以大幅度影響其對 ETH 的價格。
  4. 協議的預言機讀取了這個被操縱的價格。
  5. 攻擊者利用這個人為抬高的 ABC 作為抵押，從協議中借取大量其他未被操縱的資產。
  6. 攻擊者償還了閃電貸款，而 ABC 的價格
  自我修正，但协议却留下了毫无价值的抵押品和巨额的坏账。
• 著名案例： Harvest Finance 黑客事件（损失 3400 万美元）、Compound 的 DAI 事件。
• 如何避免：
  • 使用去中心化预言机： 使用像 Chainlink 这样强大的预言机网络， 從多個獨立節點和來源聚合數據，這使得操縱變得極其困難且昂貴。
  • 使用時間加權平均價格（TWAPs）： 在一段時間內（例如，30分鐘）使用價格平均值，而不是立即的現貨價格，這樣短期操縱就無利可圖。
  • 使用多個數據來源： 不要 依賴單一去中心化交易所的流動性來獲取關鍵價格資訊。

3. 整數溢出與下溢

計算機對於數字的大小有其限制。在 Solidity 中，uint256（無符號整數）的最大值為2^256 - 1。

• 這是什麼？
  • 溢出： 當一個運算（例如加法）產生的數字超過最大值時，它會“環繞”回一個非常小的數字。
  • 下溢： 當一個運算（例如減法）產生的數字低於零（對於無符號整數而言，它們不能是負數），它會環繞回一個非常大的數字。
  數字。
• 運作原理：
  • 餘額為 100 個代幣。用戶消耗了 101。計算 100 - 101 會出現下溢，導致餘額為 2^256 - 1，有效地使得用戶擁有幾乎無限的餘額。
• 如何避免 它：
  • 使用 Solidity 0.8.x 或更高版本： 編譯器會自動檢查溢出/下溢，並在發生時撤銷交易。
  • 對於舊版編譯器使用 SafeMath： OpenZeppelin 的 SafeMath 庫在 v0.8 之前提供了安全的算術運算函數。

4. 訪問控制漏洞