智能合約史上最大規模攻擊手法曝光，盤點黑客團伙作案細節_ONC

本文來自：安比實驗室&AnChain

用戶唯一可以操縱的就是msg.sender字段，我們是否可以將msg.sender作為Nonce來挖礦呢？答案顯然是可以的，智能合約的地址是根據發起者賬戶+nonce決定的，于是有了第1代方法：創建合約用戶-------------------->新合約用戶-------------------->新合約用戶-------------------->新合約用戶-------------------->新合約但是這種方式需要用戶持續部署合約，消耗的礦工費代價非常大，且成功率極低，每次都是以1/1000的中獎概率在嘗試。由于第1代驚人的失敗率，顯然無法利用，于是有了第2代攻擊方法：這種方法的主要思想是，合約創建的新合約地址由合約地址+nonce確定：部署合約|------------------|hash(caddr,nonce)用戶---------->|循環創建合約，|------->新合約|直到攻擊成功或到達終|------->新合約|止條件才停止，可能需|------->新合約|要部署大量合約。|------->新合約|-----------------|這種方式類似于挖礦，固定區塊頭部，不斷修改nonce來試探能否成功獲得獎勵，但是問題在于，如果在循環第1000次才發現合法的nonce，那么意味著之前部署的999個合約都屬于浪費Gas的操作。那么如何更高效地尋找合法的nonce呢？我們回想比特幣挖礦，一個挖礦任務中，不僅有nonce，還有extraNonce。在比特幣區塊的Coinbase字段中，有一個自由修改的區域，修改這個區域會導致MerkleRoot被修改，從而實現Header被修改，具有nonce的效果，因此被稱作extraNonce。為什么需要引入extraNonce呢？原因在于nonce為32bit數字，搜索范圍只有2^32，礦機幾乎一瞬間就遍歷完了，通過不斷修改extraNonce來擴大本地搜索范圍，我們甚至可以不修改nonce只修改extraNonce來挖礦。也許黑客也想到了這一點，他們通過提前部署1000個代理合約來實現有1000個extraNonce的效果。至此，攻擊方法升級到了第3代：部署合約用戶-------------------------------------->管理合約C調用合約C，預先創建代理合約(extraNonce)用戶-------------------------------------->1000個代理合約調用合約C，循環嘗試可以成功攻擊的代理合約用戶-------------------------------------->部署合約(嘗試攻擊)顯而易見，這種攻擊方式同時實現了2個效果：提升了攻擊成功率減少了攻擊合約部署數量，大大減少了Gas消耗。彩蛋2黑客預先創建的合約數量與中獎概率

zkSync發布支持智能合約驗證的新插件Hardhat:金色財經報道，以太坊Layer2擴容方案zkSync官推宣布發推出一款支持智能合約驗證的新插件Hardhat。據悉，hardhat-zksync-verify插件允許開發人員從終端和編程兩種方式驗證部署在zkSync2.0上的智能合約。[2023/1/4 9:51:03]

前文提到黑客預先部署1000個代理合約，這個數字有什么講究呢？if((seed-((seed/1000)*1000))<airDropTracker_)seed經由一系列以太坊鏈上環境以及多次Hash運算得出。Hash結果對1000取余數，可以得到0～999的偽隨機數。我們假設哈希輸出結果是均勻的，并且哈希是抗碰撞的，那么平均每次中獎的概率為1/1000。模擬結果：

公式運算結果：盡管更多合約能夠提供更高的中獎概率，但是需要考慮到Gas消耗與GasLimit等因素，不宜過大。安比實驗室認為黑客選擇部署1000個合約，是根據概率代碼1/1000想當然做出的判斷。彩蛋3黑客可能利用了空投概率計算的另一個bug

以太坊技術服務商Open Zeppelin開源智能合約安全注冊表，提供聯系人緊急通知及通信服務:11月9日消息，以太坊技術服務商Open Zeppelin宣布開源智能合約安全注冊表（SmartContractSecurityRegistry），該安全注冊表將識別智能合約屬性和在安全事件發生時尋找緊急聯系人，降低漏洞被利用的可能性，并且為去中心化項目間提供與適當聯系人通信的方式。

注冊表中的信息包括重要的聯系地址，如電子郵件地址或Telegram，Open Zeppelin表示不會因為安全以外的任何原因而聯系這個名單上的任何人。項目可以通過添加以下信息加入注冊表：項目標識符、項目名稱、Github組織、安全聯系人電子郵件、部署的網絡，以及使用Open Zeppelin的庫部署智能合約的地址。[2021/11/9 6:41:28]

黑客仍然需要更高效地攫取利潤，他們甚至“發現”了Fomo3D空投規則在這種攻擊方式下暴露出的缺陷。攻擊合約需要在最開始獲取空投獎勵信息，作為后續操作的依據。因此，攻擊合約會先依次調用游戲合約的兩個查詢接口，分別是0xd87574e0airDropPot_()和0x11a09ae7airDropTracker_()。Fomo3D空投獎勵的airDropTracker_計算方式為如下方法：if(_eth>=100000000000000000){airDropTracker_++;if(airdrop()==true){...}}Fomo3D判斷是否能中空投獎勵使用了如下方法：if((seed-((seed/1000)*1000))<airDropTracker_)return(true);根據我們分析，0x820d后期更新的攻擊合約直接去除了對airDropTracker_的判斷，但這樣做其實有利有弊。如果你了解細節，猜出了黑客的用意，或者知曉這種做法的優缺點，歡迎添加小安同學微信，她會把你加入到「SECBIT智能合約安全技術討論」的群里。尾聲下一個是誰？

以太坊擴容團隊計劃為以太坊式智能合約提供全面支持:以太坊擴容團隊FuelLabs計劃在2021年下半年為以太坊式智能合約提供全面支持。另外，Fuel還發布v1.5預覽頁面，將實現無托管原子交換、擴展消費者硬件和支持所有ERC20代幣，且無新穎的密碼學和協議代幣。另外，每秒交易量將可達到4300TPS，每筆交易的gas費用約為384Gwei。[2020/11/10 12:10:40]

8月14日，BAPT-LW20黑客團隊的0x820d再次部署了兩個新版攻擊合約，這一次他們將炮筒又對準了另一款一天前新部署的不知名合約。望著大屏幕上AnChain.ai態勢感知態勢感知平臺不斷閃爍的紅點，安比實驗室和AnChain.ai都很清楚，區塊鏈世界里的戰役還遠遠沒有結束。2009年，中本聰創造了一個虛擬的去中心化新世界。這仿佛是一片流著奶和蜜糖的應許之地，人們歡呼雀躍，蜂擁而至。但與所有的生態系統一樣，新世界有生命，就有捕食者。有交易者，就有黑客。區塊鏈上的應用在進化，攻擊者也同樣，我們給大家展示的是區塊鏈世界不為人知的另一面，暗流涌動。意料之外，也在意料之中。BAPT-LW20&BAPT-F3D大事件時間表：

動態 | Stratis在微軟.NET上推出首個智能合約:據Cointelegraph報道，區塊鏈開發公司Stratis Group Ltd已經推出了微軟.NET架構上的第一份智能合約。新推出的Cirrus Sidechain Masternodes和分層智能合約產品旨在使企業能夠使用C語言開發智能合約。據稱，這將允許企業在一個基礎通用區塊鏈上部署智能合約。[2019/7/4]

2018/07/06Fomo3D游戲合約上線2018/07/08Zethr核心開發者Etherguy發現并利用空投漏洞2018/07/20Fomo3D游戲在國內走紅2018/07/20BAPT-LW20黑客團隊地址開始活躍2018/07/21BAPT-LW20團隊第一次成功利用Fomo3D空投漏洞2018/07/23BAPT-LW20團隊攻擊山寨游戲?鼠會RatScam2018/07/23Pe?ter在Reddit爆料Fomo3D空投漏洞2018/07/24安比實驗室發布Fomo3D及山寨版游戲空投漏洞預警2018/07/24BAPT-LW20黑客團隊攻擊FoMoGame2018/07/26BAPT-LW20黑客團隊部署新版攻擊合約0x54832018/08/06類Fomo3D游戲LastWinner上線2018/08/07LW游戲開始火爆2018/08/07BAPT-LW20黑客團隊開始攻擊LW游戲2018/08/09以太坊未確認交易數創年內新高2018/08/10凌晨AnChain.ai態勢感知系統發出預警2018/08/10安比實驗室與AnChain.ai聯手開展調查2018/08/10BAPT-LW20黑客團隊轉移舊合約中資金，使用新版合約繼續開展攻擊2018/08/11完成BAPT-LW20攻擊時間線復原2018/08/12完成BAPT-LW20攻擊手法復原2018/08/13針對更多攻擊源分析2018/08/13完成BAPT-F3D和BAPT-LW20攻擊數據全景分析，黑客獲利超5000Ether2018/08/14BAPT-LW20黑客團隊再次部署新版攻擊合約，開始攻擊一個不知名合約2018/08/17BAPT-LW20黑客團隊奪取LW最終大獎7754Ether2018/08/17安比實驗室完成BAPT-LW20攻擊事件報告

英特爾與Enigma合作 確保其隱私智能合約安全:據coindesk消息，英特爾正與區塊鏈創業公司Enigma合作，幫助確保其隱私增強型智能合約的安全。Enigma的協議將集成智能合約技術及英特爾系統。[2018/6/21]

Tags：ONCNCEAPTTRAIONChainBrickchain FInanceAAPTXtraBYtes

加密貨幣