摘要:重入攻擊本質上與編程里的遞歸調用類似,當合約將以太幣發送到未知地址時就可能會發生,威脅以太坊智能合約的安全性。知道創宇區塊鏈安全實驗室?從轉賬方法、fallback 函數、漏洞代碼、源碼分析四個方面入手,深入分析攻擊原因,詳解?The?DAO 事件。
智能合約(英文:Smart contract )的概念于 1995 年由 Nick Szabo 首次提出,它是一種旨在以信息化方式傳播、驗證或執行合同的計算機協議,它允許在沒有第三方的情況下進行可信交易,這些交易可追蹤且不可逆轉。
然而智能合約也并非是安全的,其中?重入 (Re-Entrance) 攻擊?漏洞是以太坊中的攻擊方式之一,早在 2016 年就因為 The DAO 事件而造成了以太坊的硬分叉。
在以太坊中,智能合約能夠調用其他外部合約的代碼,由于智能合約可以調用外部合約或者發送以太幣,這些操作需要合約提交外部的調用,所以這些合約外部的調用就可以被攻擊者利用造成攻擊劫持,使得被攻擊合約在任意位置重新執行,繞過原代碼中的限制條件,從而發生重入攻擊。重入攻擊本質上與編程里的遞歸調用類似,所以當合約將以太幣發送到未知地址時就可能會發生。
簡單的來說,發生重入攻擊漏洞的條件有 2 個:
調用了外部的合約且該合約是不安全的
外部合約的函數調用早于狀態變量的修改
下面給出一個簡單的代碼片段示例:
上述代碼片段就是最簡單的提款操作,接下來會給大家詳細分析重入攻擊造成的原因。
共為2020 | Block.one首席執行官:區塊鏈深入數據,更好為用戶服務:金色財經現場報道,2020年6月21日,由金色財經主辦的共為2020·區塊鏈創新應用論壇在深圳拉開帷幕。Block.one首席執行官Brendan Blumer、金色財經CEO安鑫鑫就《Block.one、EOSIO和區塊鏈未來》進行現場連線。Block.one首席執行官Brendan Blumer指出:大家看到周圍的事物往往只是表面,但往下深挖是很大的數據庫。比如現在社交媒體上有很多廣告,這些廣告下面是數據,很多公司用算法和技術方法把廣告推送到我們身邊。區塊鏈技術可以深入其中,提高更好的透明度,看是否為用戶服務,讓用戶能更好的掌控。[2020/6/21]
在正式的分析重入攻擊之前,我們先來介紹幾個重點知識。
轉賬方法
由于重入攻擊會發送在轉賬操作時,而 Solidity 中常用的轉賬方法為
<address>.transfer(),<address>.send() 和 <address>.gas().call.vale()(),下面對這 3 種轉賬方法進行說明:
<address>.transfer():只會發送 2300 gas 進行調用,當發送失敗時會通過 throw 來進行回滾操作,從而防止了重入攻擊。
<address>.send():只會發送 2300 gas 進行調用,當發送失敗時會返回布爾值 false,從而防止了重入攻擊。
<address>.gas().call.vale()():在調用時會發送所有的 gas,當發送失敗時會返回布爾值 false,不能有效的防止重入攻擊。
聲音 | 陳思劼:區塊鏈等技術不斷深入應用,推動產業發生深刻變革:12月13日下午,第一財經2019杰出商界領軍者高峰論壇在上海舉行。上海第一財經傳媒有限公司總經理陳思劼在會上致辭。陳思劼表示:新一輪的科技革命正在悄然到來,眾多產業被新科技激發活力,比如人工智能、大數據、區塊鏈和云計算等技術,在行業不斷深入應用,推動產業發生深刻變革。新技術的發展在新經濟時代勢不可擋,企業的創新升級勢在必行。[2019/12/13]
fallback 函數
接著我們來講解下 fallback 回退函數。
回退函數 (fallback function):回退函數是每個合約中有且僅有一個沒有名字的函數,并且該函數無參數,無返回值,如下所示:
function() public payable{???
? ? ? ...
}
回退函數在以下幾種情況中被執行:
調用合約時沒有匹配到任何一個函數;
沒有傳數據;
智能合約收到以太幣(為了接受以太幣,fallback 函數必被標記為 payable)。
漏洞代碼
下面的代碼就是存在重入攻擊的,實現的是一個類似于公共錢包的合約,所有的用戶都可以使用 deposit() 存款到 Reentrance 合約中,也可以從 Reentrance 合約中使用 withdraw() 進行提款,當然了所有人也可以使用 balanceof() 查詢自己或者其他人在該合約中的余額。
聲音 | 天津市委常委:區塊鏈等科技同經濟等深入協同,城市建設步入城市化3.0的時代:據環球網報道,以“科技賦能城市與區域治理創新”為主題的天津論壇2019于19日在天津拉開帷幕。天津市委常委、教委工委書記于立軍表示,智慧是城市的靈魂,是城市的精氣神,當前新一輪科技革命和產業變革不斷推進,特別是人工智能、區塊鏈和云科技同經濟、社會、文化、生態深入協同,城市建設步入了城市化3.0的時代。[2019/10/20]
首先使用一個賬戶 (0x5B38Da6a701c568545dCfcB03FcB875f56beddC4) 扮演受害者,將該合約在 Remix IDE?點擊 Deploy 按鈕進行部署。
在部署合約成功后在 VALUE 設置框中填寫 5,將單位改成 ether,點擊 deposit 存入 5 個以太幣。
點擊 wallet 查看該合約的余額,發現余額為 5 ether,說明我們的存款成功。
而下面的代碼則是針對上面存在漏洞的合約進行的攻擊:
聲音 | 中國科學院院士王小云:密碼技術將深入融合5G、區塊鏈、人工智能等數字經濟領域:據中國國際貿易促進委員會四川省委員會官網消息,7月29日,第四屆中國網絡與信息安全大會在成都隆重召開。中國科學院院士王小云在題為《密碼技術與數字經濟高質量發展》的報告中指出,目前我國及世界已經進入到大數據應用和數字經濟高速發展的新時期,但是信息的惡意獲取、篡改、偽造和濫用,使得數字經濟的安全問題日趨嚴重。而密碼技術作為保障數字經濟高質量發展的一個重要技術手段,將深入融合5G、區塊鏈、人工智能、衛星性、物聯網、智慧城市等眾多數字經濟領域,助推智慧社會高速發展。[2019/7/31]
使用另外一個賬戶 (0xAb8483F64d9C6d1EcF9b849Ae677dD3315835cb2) 扮演攻擊者,復制存在漏洞的合約地址到 Deploy 的設置框內,點擊 Deploy 部署上面的攻擊合約。
部署成功后先調用 wallet() 函數查看攻擊合約的余額為 0。
何璽:高層對區塊鏈有過深入研究:就《人民日報》第17版財經周刊刊登了整版3篇關區塊鏈的專題報道,圍觀者眾。資深媒體評論人,酷科技創始人何璽巴比特專欄發文稱,由此可見高層已經對區塊鏈技術有過深入的研究,并達成了“共識”,即把區塊鏈技術定為了“兵家必爭之地”、是“戰略機遇”、更是“國家戰略”。[2018/2/27]
攻擊者先存款 1 ether 到漏洞合約中,這里設置 VALUE 為 1 ether,之后點擊攻擊合約的 deposit 進行存款。
再次調用合約的 wallet 函數查看漏洞合約的余額,發現已經變成了 6 ether。
攻擊者 (0xAb8483F64d9C6d1EcF9b849Ae677dD3315835cb2) 調用攻擊合約的 attack 函數模擬攻擊,之后調用被攻擊合約的 wallet 函數去查看合約的余額,發現已經歸零,此時回到攻擊合約查看余額,發現被攻擊合約中的 6 ether 已經全部提款到了攻擊者合約中,這就造成了重入攻擊。
源碼分析
上面講解了如何進行重入攻擊已經漏洞原因,這里梳理了漏洞源碼和攻擊的步驟,列出了關鍵代碼。
2016 年 6 月 17 日,TheDAO 項目遭到了重入攻擊,導致了 300 多萬個以太幣被從 TheDAO 資產池中分離出來,而攻擊者利用 TheDAO 智能合約中的 splitDAO() 函數重復利用自己的 DAO 資產進行重入攻擊,不斷的從 TheDAO 項目的資產池中將 DAO 資產分離出來并轉移到自己的賬戶中。
下列代碼為 splitDAO() 函數中的部分代碼,源代碼在 TokenCreation.sol 中,它會將代幣從 the parent DAO 轉移到 the child DAO 中。平衡數組 uint fundsToBeMoved = (balances[msg.sender] * p.splitData.splitBalance) ?/ p.splitData.totalSupply 決定了要轉移的代幣數量。
下面的代碼則是進行提款獎勵操作,每次攻擊者調用這項功能時 p.splitData 都是一樣的(它是 p 的一個屬性,即一個固定的值),并且 p.splitData.totalSupply 與 balances[msg.sender] 的值由于函數順序問題,發生在了轉賬操作之后,并沒有被更新。
paidOut[_account] += reward 更新狀態變量放在了問題代碼 payOut 函數調用之后。
對 _recipient 發出 .call.value 調用,轉賬 _amount 個 Wei,.call.value 調用默認會使用當前剩余的所有 gas。
通過上面對重入攻擊的分析,我們可以發現重入攻擊漏洞的重點在于使用了 fallback 等函數回調自己造成遞歸調用進行循環轉賬操作,所以針對重入攻擊漏洞的解決辦法有以下幾種。
使用其他轉賬函數
在進行以太幣轉賬發送給外部地址時使用 Solidity 內置的 transfer() 函數,因為 transfer() 轉賬時只會發送 2300 gas 進行調用,這將不足以調用另一份合約,使用 transfer() 重寫原合約的 withdraw() 如下:
先修改狀態變量
這種方式就是確保狀態變量的修改要早于轉賬操作,即 Solidity 官方推薦的檢查-生效-交互模式 (checks-effects-interactions)。
使用互斥鎖
互斥鎖就是添加一個在代碼執行過程中鎖定合約的狀態變量以防止重入攻擊。
使用?OpenZeppelin 官方庫
OpenZeppelin 官方庫中有一個專門針對重入攻擊的安全合約:
https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/security/ReentrancyGuard.sol
參考文獻
1. 以太坊的幾次硬分叉:
https://zhuanlan.zhihu.com/p/111446792
2. 以太坊智能合約安全漏洞 (1):重入攻擊:
https://blog.csdn.net/henrynote/article/details/82119116
3.?區塊鏈的那些事 — THE DAO 攻擊事件源碼分析:
https://blog.csdn.net/Fly_hps/article/details/83095036
區塊鏈已經火熱了好幾年,產業區塊鏈被認為是區塊鏈目前最大的價值所在,但區塊鏈將在哪些領域起作用?怎么起作用呢?今天,我們就來聊一聊區塊鏈技術的三大應用場景.
1900/1/1 0:00:00人民網首爾6月11日電(楊帆) 韓國金融委員會稱,今年第一季度虛擬貨幣總交易額已超去年全年。據悉,韓國主要虛擬貨幣交易平臺超過10家,但實名交易的僅有4家.
1900/1/1 0:00:00薩爾瓦多可謂是地球上最貧窮的地區,而笨鳥總是先飛,薩爾瓦多成為最先接受比特幣的地區似乎是不可避免的.
1900/1/1 0:00:002015 年 7 月,以太坊正式上線。在過去的幾年時間里,基于以太坊的去中心化應用程序 (dApps) 生態系統已經取得了驚人的發展,比如: 0x 的第一個場外交易市場于 2017 年推出;Un.
1900/1/1 0:00:00原文標題:中國支付清算協會關于加強行業信息共享有效防范支付風險的提示近期,中國支付清算協會(以下簡稱“協會”)組織部分會員單位召開行業風險信息及特約商戶信息共享聯防工作座談會.
1900/1/1 0:00:00最近NFT持續火熱,但隨之而來的問題是NFT到底有什么投資價值?從鑄造和發行的角度來說,NFT 是一種數字代幣,可以代表某個基礎資產的所有權,所以它是一種所有權的象征.
1900/1/1 0:00:00