作者DarkerDuck (達克鴨)
看板DigiCurrency
標題[分析] DAO攻擊簡單解釋
時間Sun Jun 19 04:20:14 2016
這兩篇寫得還不錯,可以讓局外人稍微了解一下
https://www.bikeji.com/t/4027#reply3
DAO 提現bug
簡述
惡意用戶通過一個合約地址而不是普通的用戶地址(不含智能合約)參與DAO,之後通過
Split(DAO概念裡的退出、提現),利用這個合約地址反複調用DAO的提現方法,在餘額
減少N的情況下提現k*N的提現。
攻擊表現
[DAO項目]的合約地址0xbb9bc244d798123fde783fcc1c72d3bb8c189413上可以看到大量到
地址[0x304a554a310c7e546dfe434669c62820b7d83490]的內部交易[
https://etherscan.io/txsInternal?a=0xbb9bc244d798123fde783fcc1c72d3bb8c189413&p=3
]
(內部交易:Internal transaction是指合約執行過程中產生的交易,比如在合約內給用
戶轉賬)
目前DAO還有餘額7,930,715.340858306 Ether ($137,915,139.78),黑客地址
3,641,694.241898506 Ether ($63,583,981.46)
原理
DAO合約記錄著用戶的餘額,提現時候的偽代碼如下:
// msg.sender為交易發送方的地址,這裡就是提現的用戶
if (balance[msg.sender]>=withdrawRequest) { //檢查是否有足夠的錢
msg.sender.send(withdrawRequest); //給用戶轉賬
balance[msg.sender] -= withdrawRequest; //在記錄中扣除相應的數額
}
合約在執行這裡的msg.sender.send(withdrawRequest)時會產生一個內部交易,這個交易
很簡單,就是從這個合約轉賬withdrawRequest給提現用戶地址。但是以太坊所有交易在
轉賬的同時會執行交易接收方地址的合約。通常提現的地址是個普通用戶,所在的地址沒
有智能合約,而這裡,黑客從一個自己寫的合約發送提現申請,當這個地址收到錢時就會
執行黑客合約裡定義的默認操作。
//黑客合約的默認操作
function defaultAction() {
//設定DAO合約的地址
address DAO = 0xbb9bc244d798123fde783fcc1c72d3bb8c189413;
if (attackMode) { //是否開啟了攻擊模式
DAO.withdraw(200); //遞歸調用DAO的提現操作
}
}
這樣當黑客發起提現時,以太坊的執行過程如下: 執行到msg.sender.send這行,觸發黑
客合約執行,繼續調用DAO的提現,再次執行到msg.sender.send,注意這裡的代碼是在
msg.sender.send執行後完才扣除用戶在DAO裡記錄的餘額,因此再次執行時用戶的餘額還
是不變的...... 只要DAO合約還有錢,黑客給定的手續費足夠,黑客不終止,這個過程可
以一直進行下去。
這個問題可以在寫合約的時候解決。
-先扣除用戶餘額,再轉賬
-在轉賬給用戶時只給足夠小的手續費(Gas),即使遞歸調用也因為Gas耗盡而結束
-一旦開始提現,鎖定合約的狀態,不允許其他提現操作進行
DAO的開發人員已經考慮了這個問題,但是沒有修復所有有這個漏洞的地方,被黑客所利
用。
目前的解決方案
DAO不能暫停,因此黑客的攻擊還可以繼續下去。黑客地址已經偷取了近三分之一DAO合約
裡的以太幣。目前開發人員號召DAO的用戶否決黑客所用的Split申請,以及廣播大量垃圾
交易阻塞以太坊的網絡,不讓黑客的交易被打包。終極的解決方案是以太坊回滾,會嚴重
影響以太坊的聲望。
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 36.237.84.197
※ 文章網址: https://webptt.com/m.aspx?n=bbs/DigiCurrency/M.1466281216.A.E21.html
1F:推 koucc: 這漏洞尚未補上,雖然理論上任何人現在都能發起這個代碼攻擊 06/19 11:10
2F:→ koucc: 盜走DAO的eth,但過程需要split出一個子DAO則需要獲得投票 06/19 11:11
3F:→ koucc: 同意,在DAO剛運作這幾天我進去看投票項目,充斥著一堆和DAO 06/19 11:12
4F:→ koucc: 無關的表決項目,大家都在亂玩投票,才造成駭客能趁亂通過 06/19 11:13
6F:推 koucc: 最下方那個musical performance的split proposal就是駭客 06/19 11:49
7F:→ koucc: 使用的標的,投贊成票的人只有24個,提案並未通過 06/19 11:50
8F:→ koucc: 所以我不懂的地方是為何一個沒通過的提案也能分出子DAO 06/19 11:51
9F:→ koucc: 駭客是投贊成票的其中一人,他在2天前上傳了#225號合約 06/19 11:54
10F:→ koucc: 雖然上面把原理解釋得很容易,合約代碼卻有1155行 06/19 11:56
12F:→ koucc: 因為駭客提的FUN-SPLT-42 Congo Split都獲得同意通過 06/19 12:20
13F:推 Rasin: 如果那駭客提出控告 ETH會歸誰還不好說 真是越演越精彩... 06/19 15:16