我竟騙了我自己？—— BurgerSwap 被黑分析_FOR

By：慢霧安全團隊

據慢霧區消息，2021年05月28日，幣安智能鏈(BSC)DeFi項目BurgerSwap被黑，損失達330萬美元。慢霧安全團隊第一時間介入分析，并將結果分享如下：

攻擊細節分析

BurgerSwap是一個仿UniswapAMM項目，但是和Uniswap架構有所區別。BurgerSwap架構總體分成。其中Delegate層管理了所有的Pair的信息，并負責創建lpPlatForm層。然后lpPlatForm層再往下創建對應的Pair合約。在整個架構中，lpPlatForm層充當了Uniswap中Router的角色，負責將計算交易數據和要兌換的代幣轉發到Pair合約中，完成兌換。

本次事件的根本正是出在這種架構的問題上。通過一步步分析攻擊者的交易行為，我們來還原整個攻擊過程的核心：

Optimism主網Bedrock升級將于6月7日進行，屆時需停機2至4小時:5月16日消息，以太坊二層解決方案Optimism發推文稱：“OP主網升級到Bedrock的官方日期已經確定：UTC時間6月6日16:00（北京時間6月7日00:00），升級將需要OP主網停機2-4小時。升級當天，停機期間將無法進行交易、充值和提款，OP主網鏈將停止運行。節點運營商需為Bedrock啟動一個全新的節點部署。”

據悉，Bedrock是由OP Labs開發的新一代去中心化Rollup基礎架構，旨在為Layer2網絡提供模塊化、簡單性和以太坊等效性。[2023/5/16 15:05:02]

本次攻擊開始于Pancake的閃電貸，攻擊者從Pancake中借出了大量的WBNB，然后將這些WBNB通過BurgerSwap兌換成Burger代幣。在完成以上的操作后，攻擊者使用自己控制的代幣(攻擊合約本身)和Burger代幣通過Delegate層創建了一個交易對并添加流動性，為后續攻擊做準備。

Aavegotchi：關停GHST Bonding Curve的正式鏈上投票預計將于3月8日發起:金色財經報道，Aavegotchi官方發文宣布，隨著AGIP64和AGIP65的順利通過（注：這兩項投票均為在Snapshot上預先進行的非正式鏈下投票），即將在Aragon上發起關于關停GHST Bonding Curve并分配其內部DAI儲備的正式鏈上投票。

Aavegotchi解釋稱，由于GHST Bonding Curve的智能合約部署在以太坊主網之上，因此在正式投票啟動之前，以太坊主網上必須擁有足夠的GHST——具體數字為創建投票時GHST總供應量的8%。為此，Aavegotchi將通過對游戲內NFT給予經驗激勵的方式來鼓勵GHST持有者將其代幣從Polygon遷移至以太坊主網。

Aavegotchi預計投票將于UTC時間3月8日02:00發起，屆時將要求至少12%的GHST供應量已遷移至以太坊，以保證投票可以輕松觸及最低票數要求。如果屆時未能完成該要求，投票將延遲24小時并嘗試再次發起，直到滿足要求。[2023/3/2 12:37:26]

在完成代幣的創建和準備之后，攻擊者立馬通過PaltForm層的swapExactTokensForTokens函數發起了兌換，兌換路徑為

Paxos鑄造了與此前銷毀數量相同的PAXG，并轉入新地址:金色財經報道，據派盾監測，在FTX攻擊地址將11,184.18枚PAXG銷毀后，Paxos又鑄造了相同數量的PAXG并轉入新地址。[2022/12/23 22:03:18]

接下來進行了最關鍵的一次操作。

由于先前攻擊者在創建交易對的時候使用的是自己控制的代幣，在代幣兌換過程中，_innerTransferFrom函數會調用攻擊者控制的代幣合約，于是攻擊者可以_innerTransferFrom函數中重入swapExactTokensForTokens函數。為什么攻擊者要這樣做呢？

通過對PlatForm層的swapExactTokensForTokens函數進行代碼分析，我們不難發現，合約在調用_innerTransferFrom函數時首先計算了用戶的兌換數據，然后在_innerTransferFrom函數的操作后使用預先計算的數據來轉發到底層進行真正的代幣兌換。從這個函數層面來看，就算攻擊者重入了swapExactTokensForTokens函數，底層調用的swap函數也是獨立的，咋一看并沒有什么問題，但是鏈上的一個行為引起了慢霧安全團隊的注意：

螞蟻集團在滬宣布升級隱私協作平臺FAIR:金色財經消息，在今日上海2022世界人工智能大會（WAIC）上，螞蟻鏈隱私協作平臺FAIR宣布整體架構升級，平臺開放性和大規模計算性能得到進一步增強。

據悉，隱私協作平臺FAIR是由螞蟻數科螞蟻鏈團隊開發，他深度融合了隱私計算和區塊鏈這兩項技術的優勢，來解決數據流轉過程中“可用不可見”，以及多方協作之間的數據權屬和真實性等問題。[2022/9/2 13:05:18]

我們驚訝地發現，在重入的兌換過程中，兌換的數量竟然沒有因為滑點的關系而導致兌換數量的減少。這究竟是什么原因呢？看來關鍵是底層的Pair合約的問題了。我們又進一步分析了底層調用的Pair合約，代碼如下：

通過分析Pair的代碼，我們再次驚訝地發現在swap的過程中，合約竟然沒有在兌換后根據恒定乘積公式檢查兌換后的數值！！也就是說，Pair合約完全依賴了PlatForm層的數據進行兌換，導致了本次事件的發生。由于Pair層本身并不做恒定乘積的檢查，在重入的過程中，PlatForm層的兌換數據預先進行了計算，在_innerTransferFrom函數完成后，Pair的更新數據也沒有反映到PlatForm層中，導致重入交易中的兌換產生的滑點并不影響下一次的兌換，從而造成了損失。用圖來看的話大概如下：

數據：幣安鑄造了140,515,619枚BUSD:金色財經報道，據Whale Alert數據，幣安鑄造了140,515,619枚BUSD。[2022/8/16 12:27:37]

總結

本次攻擊屬于BurgerSwap架構上的問題，由于Pair層完全信任PaltForm層的數據，并沒有自己再做一次檢查，導致攻擊的發生。最近DeFi安全事件頻發，針對越來越密集的DApp攻擊事件，慢霧安全團隊建議DApp開發者在移植其他協議的代碼時，需充分了解移植協議的架構，并充分考慮移植協議和自身項目的兼容性，且需通過專業安全審計機構的審計后才上線，防止資金損失情況的發生。

攻擊交易參考：

https://bscscan.com/tx/0xac8a739c1f668b13d065d56a03c37a686e0aa1c9339e79fcbc5a2d0a6311e333

往期回顧

代幣閃崩，差點歸零-PancakeBunny被黑簡析

慢霧科技xFireEye，賦能區塊鏈安全

慢霧科技與虎符智能鏈HSC達成戰略合作

CoinEx入駐慢霧區，發布「安全漏洞與威脅情報賞金計劃」

開心做聚合，無奈被攻擊——Rari被黑事故分析

慢霧導航

慢霧科技官網

https://www.slowmist.com/

慢霧區官網

https://slowmist.io/

慢霧GitHub

https://github.com/slowmist

Telegram

https://t.me/slowmistteam

Twitter

https://twitter.com/@slowmist_team

Medium

https://medium.com/@slowmist

幣乎

https://bihu.com/people/586104

知識星球

https://t.zsxq.com/Q3zNvvF

火星號

http://t.cn/AiRkv4Gz

鏈聞號

https://www.chainnews.com/u/958260692213.htm

免責聲明：作為區塊鏈信息平臺，本站所發布文章僅代表作者個人觀點，與鏈聞ChainNews立場無關。文章內的信息、意見等均僅供參考，并非作為或被視為實際投資建議。

本文來源于非小號媒體平臺：

慢霧科技

現已在非小號資訊平臺發布68篇作品，

非小號開放平臺歡迎幣圈作者入駐

入駐指南：

/apply_guide/

本文網址：

/news/10021896.html

免責聲明：

1.資訊內容不構成投資建議，投資者應獨立決策并自行承擔風險

2.本文版權歸屬原作所有，僅代表作者本人觀點，不代表非小號的觀點或立場

上一篇：

1700是以太坊主要的壓力位、短期可以突破嗎？

Tags：SWAPAIRFORHTTArthSwapAI FairyYield Token for BXTBBHTT

BTC