THE:深入理解重入攻擊漏洞

前言

智能合約的概念于1995年由NickSzabo首次提出，它是一種旨在以信息化方式傳播、驗證或執行合同的計算機協議，它允許在沒有第三方的情況下進行可信交易，這些交易可追蹤且不可逆轉。然而智能合約也并非是安全的，其中重入(Re-Entrance)攻擊漏洞是以太坊中的攻擊方式之一，早在2016年就因為TheDAO事件而造成了以太坊的硬分叉。漏洞概述

在以太坊中，智能合約能夠調用其他外部合約的代碼，由于智能合約可以調用外部合約或者發送以太幣，這些操作需要合約提交外部的調用，所以這些合約外部的調用就可以被攻擊者利用造成攻擊劫持，使得被攻擊合約在任意位置重新執行，繞過原代碼中的限制條件，從而發生重入攻擊。重入攻擊本質上與編程里的遞歸調用類似，所以當合約將以太幣發送到未知地址時就可能會發生。簡單的來說，發生重入攻擊漏洞的條件有2個：調用了外部的合約且該合約是不安全的外部合約的函數調用早于狀態變量的修改下面給出一個簡單的代碼片段示例：

上述代碼片段就是最簡單的提款操作，接下來會給大家詳細分析重入攻擊造成的原因。漏洞分析

在正式的分析重入攻擊之前，我們先來介紹幾個重點知識。01轉賬方法

由于重入攻擊會發送在轉賬操作時，而Solidity中常用的轉賬方法為<address>.transfer()，<address>.send()和<address>.gas().call.vale()()，下面對這3種轉賬方法進行說明：<address>.transfer()：只會發送2300gas進行調用，當發送失敗時會通過throw來進行回滾操作，從而防止了重入攻擊。<address>.send()：只會發送2300gas進行調用，當發送失敗時會返回布爾值false，從而防止了重入攻擊。<address>.gas().call.vale()()：在調用時會發送所有的gas，當發送失敗時會返回布爾值false，不能有效的防止重入攻擊。02fallback函數

云南省委宣傳部副部長：深入推進區塊鏈與各行業領域的深度融合:8月25日，云南省委宣傳部副部長、省新聞出版（版權）局局長楊潤，市委常委、市委宣傳部部長徐曉梅率隊到五華區調研“區塊鏈 ”大文創產業建設情況。云南省區塊鏈中心成立了產業聯盟，數十家國內外企業加入，以商招商的產業氛圍日漸濃厚。中心成立一年以來，以成熟領先的區塊鏈技術助力數字云南發展。上線云南區塊鏈平臺，為企業快速部署應用提供極大便利。楊潤表示，五華區要按照“以應用換市場、以市場換產業”思路，以區塊鏈技術應用為突破口，強化政策引領，加大招商引資力度，引進國內外優秀企業落地園區，聚焦場景應用，深入推進區塊鏈與各行業領域的深度融合，把五華區打造成區塊鏈技術應用試驗場、產業發展聚集區。（五華區委宣傳部）[2021/8/30 22:46:23]

接著我們來講解下fallback回退函數。回退函數(fallbackfunction)：回退函數是每個合約中有且僅有一個沒有名字的函數，并且該函數無參數，無返回值，如下所示：

回退函數在以下幾種情況中被執行：調用合約時沒有匹配到任何一個函數；沒有傳數據；智能合約收到以太幣。03漏洞代碼

下面的代碼就是存在重入攻擊的，實現的是一個類似于公共錢包的合約，所有的用戶都可以使用deposit()存款到Reentrance合約中，也可以從Reentrance合約中使用withdraw()進行提款，當然了所有人也可以使用balanceof()查詢自己或者其他人在該合約中的余額。

吉林省法院深入推進區塊鏈技術創新應用:3月2日消息，近日，吉林省法院就今年該省法院網絡安全和信息化建設工作進一步作出部署。其中，部署內容包括整合各類數據資源，實現對法院信息資源的海量存儲、科學分類、多元檢索、深入分析。深入推進區塊鏈技術創新應用，全面加快9個業務場景的創新應用研發。（吉林日報）[2020/3/2]

首先使用一個賬戶(0x5B38Da6a701c568545dCfcB03FcB875f56beddC4)扮演受害者，將該合約在RemixIDE點擊Deploy按鈕進行部署。

在部署合約成功后在VALUE設置框中填寫5，將單位改成ether，點擊deposit存入5個以太幣。

點擊wallet查看該合約的余額，發現余額為5ether，說明我們的存款成功。

而下面的代碼則是針對上面存在漏洞的合約進行的攻擊：

動態 | ZB 創新智庫深入歐洲愛沙尼亞進行調研訪問:ZB 創新智庫正在持續深入歐洲各國進行區塊鏈調研，本周到訪愛沙尼亞的首都蒂蘭，深入了解行業最新發展動態。北歐小國愛沙尼亞在區塊鏈開發方面引領歐洲大陸。愛沙尼亞是歐洲第一個對數字經濟發展采取激進政策的國家，憑借其現已知名的電子居留計劃，該國為數字經濟和區塊鏈公司頒發了最多的許可證。 據 Bitcoin.com 網站報道，截至 2018 年 11 月，愛沙尼亞發放的許可證已經超過 900 張。

據 ZB 創新智庫當地調研顯示，近期這個數字現在已翻了一番。目前在愛沙尼亞獲得數字資產許可證已變得較為困難，2019 年 5 月 3 日愛沙尼亞政府財政部對數字資產許可程序進行修改，增加了一系列正式義務，將處理時間從 30 天延長至 90 天，并確定了在愛沙尼亞注冊成立公司或分支機構的要求。[2019/12/12]

使用另外一個賬戶(0xAb8483F64d9C6d1EcF9b849Ae677dD3315835cb2)扮演攻擊者，復制存在漏洞的合約地址到Deploy的設置框內，點擊Deploy部署上面的攻擊合約。

聲音 | 國家金融與發展實驗室理事長：數字貨幣尤其是Libra 需要深入研究:據新浪財經消息，近日，國家金融與發展實驗室理事長李揚在第八屆中國國際金融交易?博覽會中對臉書計劃推出的數字貨幣（Libra）發表看法：數字貨幣標志著金融進入新時代，這是最新科技對傳統中央銀行、傳統金融調控體系、傳統貨幣體系的挑戰，要理解數字貨幣尤其是Libra，需要深入研究，特別是從貨幣經濟學的基礎來研究。[2019/6/25]

部署成功后先調用wallet()函數查看攻擊合約的余額為0。

攻擊者先存款1ether到漏洞合約中，這里設置VALUE為1ether，之后點擊攻擊合約的deposit進行存款。

再次調用合約的wallet函數查看漏洞合約的余額，發現已經變成了6ether。

攻擊者(0xAb8483F64d9C6d1EcF9b849Ae677dD3315835cb2)調用攻擊合約的attack函數模擬攻擊，之后調用被攻擊合約的wallet函數去查看合約的余額，發現已經歸零，此時回到攻擊合約查看余額，發現被攻擊合約中的6ether已經全部提款到了攻擊者合約中，這就造成了重入攻擊。

動態 | 報告：隨著區塊鏈技術的深入應用 引發的網絡安全問題將逐漸增多:據齊魯網6月11日消息，今天下午，《2018年山東省互聯網網絡安全報告》在濟南發布。報告提到，隨著區塊鏈技術的深入應用，引發的網絡安全問題將逐漸增多，以數字加密貨幣為基礎的黑產交易、網絡勒索等行為出于不可控狀態，挖礦惡意軟件持續猖獗。[2019/6/11]

04源碼分析

上面講解了如何進行重入攻擊已經漏洞原因，這里梳理了漏洞源碼和攻擊的步驟，列出了關鍵代碼。

相關案例

2016年6月17日，TheDAO項目遭到了重入攻擊，導致了300多萬個以太幣被從TheDAO資產池中分離出來，而攻擊者利用TheDAO智能合約中的splitDAO()函數重復利用自己的DAO資產進行重入攻擊，不斷的從TheDAO項目的資產池中將DAO資產分離出來并轉移到自己的賬戶中。下列代碼為splitDAO()函數中的部分代碼，源代碼在TokenCreation.sol中，它會將代幣從theparentDAO轉移到thechildDAO中。平衡數組uintfundsToBeMoved=(balances*p.splitData.splitBalance)/p.splitData.totalSupply決定了要轉移的代幣數量。

下面的代碼則是進行提款獎勵操作，每次攻擊者調用這項功能時p.splitData都是一樣的，并且p.splitData.totalSupply與balances的值由于函數順序問題，發生在了轉賬操作之后，并沒有被更新。

paidOut+=reward更新狀態變量放在了問題代碼payOut函數調用之后。

對_recipient發出.call.value調用，轉賬_amount個Wei，.call.value調用默認會使用當前剩余的所有gas。

解決辦法

通過上面對重入攻擊的分析，我們可以發現重入攻擊漏洞的重點在于使用了fallback等函數回調自己造成遞歸調用進行循環轉賬操作，所以針對重入攻擊漏洞的解決辦法有以下幾種。01使用其他轉賬函數

在進行以太幣轉賬發送給外部地址時使用Solidity內置的transfer()函數，因為transfer()轉賬時只會發送2300gas進行調用，這將不足以調用另一份合約，使用transfer()重寫原合約的withdraw()如下：

02先修改狀態變量

這種方式就是確保狀態變量的修改要早于轉賬操作，即Solidity官方推薦的檢查-生效-交互模式(checks-effects-interactions)。

03使用互斥鎖

互斥鎖就是添加一個在代碼執行過程中鎖定合約的狀態變量以防止重入攻擊。

04使用OpenZeppelin官方庫

OpenZeppelin官方庫中有一個專門針對重入攻擊的安全合約：https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/security/ReentrancyGuard.sol

參考文獻

1.以太坊的幾次硬分叉：https://zhuanlan.zhihu.com/p/1114467922.以太坊智能合約安全漏洞(1)：重入攻擊：https://blog.csdn.net/henrynote/article/details/821191163.區塊鏈的那些事—THEDAO攻擊事件源碼分析：https://blog.csdn.net/Flyhps/article/details/83095036

Tags：區塊鏈THEALLDAO區塊鏈技術發展現狀和趨勢togetherbnb為什么恐怖Green Whale ChallengeVitaDAO

KuCoin