前言
8月17日,BSC鏈上的XSURGE協議遭到閃電貸攻擊,損失超過500萬美元。對此,知道創宇區塊鏈安全實驗室對攻擊流程和代碼細節進行了全盤梳理。
全盤梳理
基礎信息
-攻擊tx:0x7e2a6ec08464e8e0118368cb933dc64ed9ce36445ecf9c49cacb970ea78531d2-攻擊合約:
0x1514AAA4dCF56c4Aa90da6a4ed19118E6800dc46
-SurgeToken:
0xE1E1Aa58983F6b8eE8E4eCD206ceA6578F036c21
Frog Nation前CFO 0xSifu將逾800萬枚UST兌換為MIM:5月9日消息,Etherscan鏈上信息顯示,Frog Nation前CFO 0xSifu將801.8萬枚UST兌換為穩定幣MIM。[2022/5/9 3:00:20]
攻擊流程
這里有個小細節,代幣轉移流程中的順序是按照事件先后順序來顯示的,而重入之后的買操作引起的事件會在賣操作引起的事件之前,所以在流程中看到的每一個單獨的重入攻擊中是SURGE的買入發生在賣出之前。
Redacted Cartel推出提供veRBN、veFXS、veBAL賄賂市場的V2版:金色財經消息,DeFi項目Redacted Cartel(BTRFLY)宣布推出V2版本,V2帶來了一個允許veRBN、veFXS、veBAL賄賂(bribe)的市場Hidden Hand。在Hidden Hand中,用戶可將擁有投票權的資產委托給HiddenHand,然后Hidden Hand會將投票權出價賣給外部需要的協議,之后HiddenHand再將獎勵分配給用戶、Redacted Treasury和BTRFLY持有者。[2022/4/12 14:20:03]
漏洞原理
漏洞點在于SurgeToken合約中的sell()函數,其中對調用者msg.sender的BNB轉賬采用的call()函數,并且在轉賬之后才更新代幣總量_totalSupply,是典型的重入漏洞場景。
Xfers發行與新加坡元掛鉤的穩定幣XSDG:金色財經報道,總部位于新加坡的支付公司Xfers宣布發行與新加坡元(SGD)掛鉤的穩定幣XSDG。XSDG是Xfers StraitsX計劃的一部分,將在Zilliqa和以太坊區塊鏈上啟動。該穩定幣此前據稱將符合FATF的轉移規則(Travel Rule)。但StraitsX負責人Aymeric Salley表示,該穩定幣主要涉及新加坡金融管理局的PSN01指南。[2020/10/6]
雖然\nsell()函數使用了nonReentrant修飾防止了重入,但purchase()函數并沒有。重入轉回BNB給合約,觸發\nfallback函數調用purchase(),由于_totalSupply尚未減去賣出量,而導致可買入相較正常更多的SURGE代幣。
聲音 | Fxstreet分析師:短期技術修正可能讓BTC回到8300美元:據Fxstreet分析師Tanya Abrosimova的觀點,當前強烈的看漲情緒主導了市場,但BTC也很容易出現短期看跌修正,如果出現修正,前高點8300美元將作為支撐,隨后是8150美元。不過隨著反彈的繼續,BTC的下一個看漲目標為9500美元和9800美元。[2019/5/27]
復現
價格分析
sell()函數賣出過程中,輸入tokenAmount與輸出amountBNB的關系:
purchase()函數買入過程中,輸入bnbAmount與輸出tokensToSend的關系:
在重入過程中,sell()函數賣出后獲得的BNB通過重入打回SurgeToken合約傳入purchase()函數故令sell()函數的輸出amountBNB與purchase()函數的輸入bnbAmount相等,可得到整個利用流程中輸入與輸出的關系:
若要實現套利,需要輸出大于輸入,則有:
最后得到:
也就是說重入套利過程中調用sell()賣出的代幣量必須在代幣總量的12.383%以上
模擬演示
為方便調試,將SurgeToken合約中的mint()函數可見性改為public,并為構造函數增加payable修飾,在部署時傳入10^15wei。
SurgeToken合約初始化的代幣總量為10^9,根據前面推導出的結論,為攻擊合約鑄幣200000000,則攻擊合約擁有大約SURGE代幣總量16%的代幣。
攻擊合約調用Attack()函數攻擊,查看攻擊合約的代幣余額已變為209549307,獲利9549307。
總結
XSURGE協議被攻擊的本質原因在于sell()函數中存在重入漏洞,導致可通過purchase函數買入較多的SURGE代幣而獲利。
簡而言之,典型的重入漏洞場景,教科書級的案例。
這幾天,全球股市的暴跌是大家關注的焦點。這件事發生在這個節點對所有投資市場的投資者是一個很大的考驗。表面上看整個暴跌的直接原因是恒大的暴雷。恒大的暴雷實際上代表中國房地產狂飆突進時代的正式終止.
1900/1/1 0:00:00今年的市場在Scaling與多鏈的的主題下百花齊放,異彩紛呈,關于選擇與支持何種擴容路徑的討論與爭議此起彼伏,從未停歇.
1900/1/1 0:00:00撰文:Footprint分析師Sabrina 日期:2021年11月 數據來源:DashboardofCeloNetwork11月10日晚間.
1900/1/1 0:00:00“鏈上相城驅動未來”2021相城區區塊鏈產業創新發展論壇是蘇州市相城區政府聯合零識區塊鏈等發起的年度行業論壇.
1900/1/1 0:00:00“波卡知識圖譜”是我們針對波卡從零到一的入門級文章,我們嘗試從波卡最基礎的部分講起,為大家提供全方位了解波卡的內容,當然這是一項巨大的工程,也充滿了挑戰.
1900/1/1 0:00:00本文探討了去中心化自治組織(DAO)的興起。DAO是一個沒有中央領導的實體。決策是自下而上的,由圍繞區塊鏈上執行的一組特定規則組織的社區進行管理.
1900/1/1 0:00:00