空手套白狼:Popsicle 被黑分析

2021-08-05 00:08:01

2021 年 08 月 04 日,據慢霧區消息,跨鏈收益率平臺 Popsicle Finance 的 Sorbetto Fragola 產品遭受黑客攻擊,慢霧安全團隊第一時間介入分析,並將結果分享如下。

攻擊背景

在本次攻擊中,攻擊者通過創建 3 個攻擊合約來完成對 Sorbetto Fragola 的攻擊,以下是本次攻擊涉及的具體地址:

攻擊者:

H1:0x3A9D90eD069021057d9d11E78F142F2C4267934A

H2:0xf9E3D08196F76f5078882d98941b71C0884BEa52

攻擊合約:

C1:0xdFb6faB7f4bc9512d5620e679E90D1C91C4EAdE6

C2:0x576cf5f8ba98e1643a2c93103881d8356c3550cf

C3:0xd282f740bb0ff5d9e0a861df024fcbd3c0bd0dc8

Sorbetto Fragola:

0xc4ff55a4329f84f9Bf0F5619998aB570481EBB48

攻擊對象

通過官方的介紹我們可以知道被攻擊的 Sorbetto Fragola 產品主要是用於幫助用戶管理 Uniswap V3 頭寸,以避免用戶在 Uniswap V3 做市的頭寸超出所選定的價格範圍。用戶可以在 Sorbetto Fragola 中存入提供流動性對應的兩種代幣,Sorbetto Fragola 會給到用戶 Popsicle LP (PLP) 憑證,用戶使用此憑證可以獲取獎勵並取回抵押的流動性資金,同時此憑證也是可以隨意轉移給其他用戶的。

攻擊核心

此次攻擊的核心在於,Sorbetto Fragola 中通過用戶持有的 PLP 憑證數量來參與計算用戶所能獲得的獎勵,但 PLP 憑證是可以隨意轉移給其他用戶的,但其憑證轉移的過程中沒有進行獎勵結算轉移等操作。這就導致了只要持有 PLP 憑證就可以立即獲取獎勵。最終造成同個 PLP 憑證卻能在同個時間節點給多個持有者帶來收益。接下來我們對整個攻擊細節進行詳細分析。

攻擊細節

攻擊首先通過 H1 地址創建了攻擊合約 C1、C2 與 C3,隨後攻擊者通過 H2 地址調用了攻擊合約 C1 开始進行具體的攻擊,交易為:

0xcd7dae143a4c0223349c16237ce4cd7696b1638d116a72755231ede872ab70fc。

通過分析此交易我們可以發現,其先從 AAVE 中利用閃電貸借出了 30,000,000 個 USDT、13,000 個 WETH、1,400 個 WBTC、30,000,000 個 USDC、3,000,000 個 DAI、200,000 個 UNI,為後續在 Sorbetto Fragola 中提供流動性獲得 PLP 憑證做准備。

空手套白狼:Popsicle 被黑分析

隨後攻擊者調用 Sorbetto Fragola 合約的 deposit 函數存入提供流動性對應的兩種代幣 (這裏以攻擊者首次存入的 WETH 與 USDT 代幣為例),其會先通過 checkDeviation 與 updateVault 修飾器分別檢查價格與更新獎勵。價格檢查主要是針對價格是否出現大波動被操控等情況,這裏不做展开。而獎勵更新就與本次攻擊密切相關了,我們切入分析:

空手套白狼:Popsicle 被黑分析

可以看到其調用了 _updateFeesReward 函數進行具體的更新操作,我們跟進此函數:

空手套白狼:Popsicle 被黑分析

空手套白狼:Popsicle 被黑分析

空手套白狼:Popsicle 被黑分析

空手套白狼:Popsicle 被黑分析

從上圖我們可以很容易的發現其先通過 positionLiquidity 函數獲取 tickLower 與 tickUpper 範圍內合約所持有的流動性數量。然後通過 _earnFees 函數從 Uniswap V3 Pool 中收取提供流動性獎勵。之後再通過 _tokenPerShare 函數計算每個 PLP 憑證所能分得的流動性獎勵。最後通過 _fee0Earned 與 _fee1Earned 函數來計算用戶所持有的 PLP 憑證數量可以獲得多少獎勵,並使用user.token0Rewards 與 user.token1Rewards 變量進行記錄,如下圖所示:

空手套白狼:Popsicle 被黑分析

但由於此時攻擊者剛進行充值操作,還未獲得 PLP 憑證,因此其 user.token0Rewards 與 user.token1Rewards 變量最終記錄的自然是 0。

看到這裏你可能已經意識到問題所在了,既然 user.token0Rewards 與 user.token1Rewards 變量記錄的獎勵是根據用戶持有的 PLP 憑證進行計算的,且 PLP 憑證是可以轉移的,那么是否只要持有 PLP 憑證再去觸發此變量記錄獎勵就可以讓我們獲得獎勵。答案自然是肯定的。我們繼續看 deposit 函數:

空手套白狼:Popsicle 被黑分析

在獎勵更新之後通過 liquidityForAmounts 函數計算出在目標價格區間內用戶提供資金所佔的流動性然後調用 Uniswap V3 Pool  mint 函數注入流動性。隨後通過 _calcShare 計算出 Sorbetto Fragola 所需要鑄造給用戶的 PLP 憑證數量。

在攻擊者獲得 PLP 憑着後也正如我們所想的那樣將 PLP 憑證轉移給其他地址,並調用 Sorbetto Fragola 合約 collectFees 函數來進行獎勵記錄。

空手套白狼:Popsicle 被黑分析

空手套白狼:Popsicle 被黑分析

通過上圖的 PLP 憑證鏈上轉移記錄我們可以看到,在攻擊合約 C1 獲得 PLP 憑證後,將其轉移給了攻擊合約 C2,隨後調用了 collectFees 函數。之後攻擊合約 C2 再將 PLP 憑證轉移給攻擊合約 C3 再次調用了 collectFees。最後攻擊合約 C3 將 PLP 憑證轉移回攻擊合約 C1。我們切入 collectFees 函數進行分析:

空手套白狼:Popsicle 被黑分析

通過上圖我們可以很容易的看出此函數也有 updateVault 修飾器,而經過上面的分析我們可以知道 updateVault 修飾器用於獎勵更新,因此在攻擊合約 C2 持有 PLP 憑證的情況下調用 collectFees 函數觸發 updateVault 修飾器則會根據其持有的 PLP 憑證數量來計算應分得的獎勵,並記入用戶的 token0Rewards 與 token1Rewards 變量。需要注意的是此時對於此類 PLP 憑證持有者緩存的 tokenPerSharePaid 變量是 0,這直接導致了用戶可以獲得 PLP 憑證持有獎勵。

空手套白狼:Popsicle 被黑分析

我們從鏈上狀態的變化也可以看出:

空手套白狼:Popsicle 被黑分析

空手套白狼:Popsicle 被黑分析

隨後攻擊合約 C2 也如法炮制即可獲得獎勵記錄。

最後 PLP 憑證轉移回到攻擊合約 C1,並調用了 Sorbetto Fragola 合約的 withdraw 函數燃燒掉 PLP 憑證取回先前存入的 WETH 與 USDT 流動性。並且攻擊合約 C2、C3 分別調用 collectFees 函數傳入所要領取的獎勵數量以領取獎勵。這樣攻擊者在同個區塊中不僅拿回了存入的流動性還額外獲得多份流動性提供獎勵。

空手套白狼:Popsicle 被黑分析

隨後攻擊者开始利用其他的代幣對如法炮制的薅取獎勵,如下圖所示:

空手套白狼:Popsicle 被黑分析

攻擊流程

1、攻擊者創建多個攻擊合約,並從 AAVE 中利用閃電貸借出大量的代幣;

2、攻擊者使用借來的代幣存入 Sorbetto Fragola 合約中獲得 PLP 憑證;

3、攻擊者利用 Sorbetto Fragola 合約的獎勵結算缺陷問題將獲得的 PLP 憑證在其創建的攻擊合約之間進行轉移並分別調用了 Sorbetto Fragola 合約的 collectFees 函數來為各個攻擊合約紀錄獎勵;

4、攻擊者燃燒 PLP 憑證取回在 Sorbetto Fragola 合約中存入的流動性資金,並通過各個攻擊合約調用 Sorbetto Fragola 合約的 collectFees 函數來獲取紀錄的獎勵;

5、不斷的循環上述操作攻擊各個流動性資金池薅取獎勵;

6、歸還閃電貸獲利走人。

MistTrack 分析過程

慢霧 AML 團隊分析統計,本次攻擊損失了約 4.98M USDT、2.56K WETH、96 WBTC、5.39M USDC、159.93K DAI、10.49K UNI,接近 2100 萬美元。

資金流向分析

慢霧 AML 旗下 MistTrack 反洗錢追蹤系統分析發現,攻擊者 H1 地址首先從 Tornado.Cash 提幣獲取初始資金隨後部署了三個攻擊合約:

空手套白狼:Popsicle 被黑分析

空手套白狼:Popsicle 被黑分析

空手套白狼:Popsicle 被黑分析

攻擊獲利後通過 Uniswap V3 將獲得的代幣兌換成 ETH 再次轉入了 Tornado.Cash:

空手套白狼:Popsicle 被黑分析

目前攻擊者账戶余額僅為 0.08 ETH,其余資金均已通過 Tornado.Cash 進行轉移。

空手套白狼:Popsicle 被黑分析

總結

本次漏洞的核心在於由於獎勵更新記錄缺陷導致同個 PLP 憑證能在同個時間節點給多個持有者都帶來收益。針對此類漏洞,慢霧安全團隊建議在進行憑證轉移前應處理好獎勵結算問題,記錄好轉移前後用戶的獎勵緩存,以避免再次出現此類問題。

鄭重聲明:本文版權歸原作者所有,轉載文章僅為傳播信息之目的,不構成任何投資建議,如有侵權行為,請第一時間聯絡我們修改或刪除,多謝。

推薦文章

Meme修煉手冊:幾點是Meme神盤的黃金時間?

原創 | Odaily星球日報( @OdailyChina ) 作者|南枳( @Assassin_...

星球日報
2 51分鐘前

把握下一個千倍幣,Meme玩家必備掃鏈工具指南

最近一飛衝天的 meme 太多,風起雲湧一飛衝天的 meme 層出不窮。無論是賽道、還是想象空間,...

星球日報
2 51分鐘前

聚光燈外的OTC交易:解讀加密VC們的另類遊戲

當前加密貨幣風投的現狀 最近,Meme 幣的表現超過了許多由風險投資(VC)支持的項目,這引發了市...

星球日報
2 51分鐘前

Matrixport投研:BTC與黃金或將成為2025年機構資產配置的首選

第五次 BTC 牛市正以驚人的速度展开,目前 BTC 現在已經接近 100, 000 美元大關,並...

星球日報
2 52分鐘前

Filecoin:去中心化人工智能的基礎設施

近日,Fast Company 將 Filecoin Network 列入第四屆年度科技領域下一個...

星球日報
2 52分鐘前

pump直播妖魔化:一場由吉尼斯記錄創造者加速的鬧劇

原創 | Odaily星球日報( @OdailyChina ) 作者|南枳( @Assassin_...

星球日報
2 52分鐘前