比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

Popsicle Finance 雙花攻擊分析_TOKE

Author:

Time:1900/1/1 0:00:00

北京時間 2021 年 8 月 4 日早上 6 點(區塊 12955063),Popsicle Finance 項目下的多個機槍池被攻擊,損失金額超過兩千萬美元,是迄今為止 DeFi 領域發生的損失數額最大的單筆攻擊之一。通過分析攻擊交易及項目代碼我們發現,此次攻擊是一個利用項目的記賬漏洞進行多次提取的攻擊(Double-Claiming Rewards)。下面我們通過代碼和攻擊流程分析此次攻擊。

Popsicle Finance 是一個涉及多個鏈的機槍池(Yield Optimization Platform)。

用戶首先調用 deposit 函數向機槍池存入一定的流動性,并獲得 Popsicle LP Token (以下簡稱 PLP Token)作為存款的份額證明。Popsicle Finance 會將用戶提供的流動性存入 Uniswap 等底層池子并獲得收益。

用戶還可以調用 withdraw 函數,根據用戶持有的 PLP Token 所代表的流動性份額,從機槍池取回流動性。Popsicle Finance 會將 PLP Token 對應的流動性從 Uniswap 等底層池子中取回給用戶。

美國潮玩巨頭Funko Pop Digital推出DC漫畫旗下《少年泰坦》NFT:金色財經報道,美國潮玩巨頭Funko Pop Digital宣布推出《少年泰坦》(Teen Titans)NFT,發行時間為2023年1月31日,總計4.3萬枚,分為普通、罕見、稀有和史詩四個級別。少年泰坦是美國DC漫畫旗下的超級英雄團隊,其歷史幾乎與正義聯盟(Justice League)同樣久遠,并且出現過許多衍生組織。[2023/1/24 11:27:30]

最后,用戶在機槍池中存的流動性會隨著時間產生一定的收益(Yield),會累計在合約的用戶狀態中。用戶可以調用 collectFees 函數取回部分存款獎勵。

本次攻擊的核心函數正是 collectFees 函數。下面我們逐步分析其代碼。首先獲得存儲在 userInfo 中的用戶狀態。其中用戶狀態中的 token0Rewards 和 token1Rewards 是由于用戶存款而累積的獎勵。

數據:Popsicle Finance黑客攻擊事件損失超過2000萬美元:據BlockSec安全團隊統計,在Popsicle Finance黑客攻擊事件中,攻擊者共計獲利超過2000萬美元,其中包括2560 WETH、96.2 WBTC、16萬DAI、539萬USDC、498萬USDT、1.05萬UNI,攻擊者在獲利后將全部資產轉成ETH,并拆分成小額用TornadoCash實施分散洗錢。

據此前報道,跨鏈收益率提升平臺Popsicle Finance團隊成員表示,Popsicle Finance遭到黑客攻擊,目前僅有Sorbetto Fragola一款產品受到影響。團隊將在幾周內修復漏洞并對受損用戶進行賠償。此前Popsicle Finance曾與跨鏈交易平臺Multichain.xyz以及Tether合作推出跨鏈USDT封裝代幣fUSDT。[2021/8/4 1:33:49]

接下來計算該合約中,對應機槍池的 Token 對的 Balance。如果在合約中有足夠的 Balance,就按金額將 Reward 支付給用戶;否則會調用 pool.burnExactLiquidity 從底層 pool 取回流動性返回給用戶。

最后,會將記錄在 userInfo 中的 Rewards 狀態進行更新。看到這里,機槍池的代碼實現還是比較符合邏輯的。但是在函數開頭我們發現了 updateVault modifier,這個函數會在 collectFees 的函數體之前運行,漏洞也許在 updateVault 相關的函數中。

LollipopSwap創始人:中心化交易所對DeFi感到恐懼,笨拙地借機推廣平臺幣:Defi項目LollipopSwap創始人在Medium表示,中心化交易所對于DeFi感到恐懼,并嘗試通過挖礦模式推銷他們的平臺幣和平臺穩定幣。據悉,Lollipopswap已于9月8號9點正式開放新的流動性挖礦池,包括DAI-ETH、UMA-ETH、COMP-ETH、LEND-ETH、YFI-ETH、SUSHI-ETH、LINK-ETH和BAND-ETH。[2020/9/10]

以上是 updateVault 相關函數的實現。過程如下:

首先調用_earnFees 向底層 pool 獲取積累的 Fee;

隨后調用_tokenPerShare 更新 token0PerShareStored 和 token1PerShareStored 參數,這兩個參數代表了池子中每個 share 代表的 token0 和 token1 的數量,即機槍池的每個份額計代表的 Token 對數量;

最后調用fee0Earned 和fee1Earned 更新對應到這個用戶的存款 Rewards (即 user.token0Rewards 和 user.token1Rewards)。

加密貨幣盜竊案逃犯Vukasin Popovic已于巴黎被捕:金色財經報道,根據蒙特利爾周一的公告,竊取價值300萬美元加密貨幣的逃犯Vukasin Popovic已于6月23日在巴黎被捕。據此前報道,Popovic于2月12日被加拿大拘留,后被保釋并在家中使用跟蹤裝置。他于3月21日切斷追蹤裝置逃亡國外以逃避法律程序。[2020/7/21]

以上是fee0Earned 和fee1Earned 函數的實現,兩個函數實現相同,都實現了這樣一個公式(以_fee0Earned 為例):

user.token0Rewards += PLP.balanceOf(account) * (fee0PerShare - user.token0PerSharePaid) / 1e18

也就是說,該函數會在原有的 user.token0Rewards 基礎上,根據用戶擁有的 PLP Token 數量計算應給用戶發放的 Fee 的份額。

但我們注意到這個函數是增量的,也就是說即使用戶并沒有持有 PLP Token (PLP.balanceOf(account) 為 0),該函數仍會返回保存在 user.token0Rewards 中記賬的存款獎勵。

Populous與Komodo達成合作關系:據Populous官方消息,Populous的團隊宣布與去中心化平臺Komodo建立獨家合作伙伴關系。Komodo已建立了自己的去中心化交易所BarterDEX,目前已支持市面上95%的代幣。兩者的戰略合作伙伴關系將使Populous成為Komodo唯一發票折現平臺。[2018/3/27]

因此對于整個合約,我們發現兩個重要的邏輯缺陷:

用戶的存款獎勵是記錄在 user.token0Rewards 和 user.token1Rewards 中的,并不與任何 PLP Token 或其他東西有任何形式的綁定。

用于取回存款收益的 collectFees 函數僅僅依賴于記賬的 user.token0Rewards 和 user.token1Rewards 狀態,即使用戶并未持有 PLP Token,仍可以取出對應的存款獎勵。

我們假想一個攻擊流程:

攻擊者向機槍池中存入一定的流動性,獲得一部分 PLP Token。

攻擊者調用 collectFees(0, 0),后者會更新攻擊者的存款獎勵,即狀態變量 user.token0Rewards 的值,但并沒有真正取回存款獎勵。

攻擊者將 PLP Token 轉給自己控制的其他合約,再調用 collectFees(0, 0) 更新狀態變量 user.token0Rewards。也就是說通過不斷地流轉 PLP Token 并調用 collectFees(0, 0),攻擊者復制了這些 PLP Token 對應的存款獎勵。

最后,攻擊者從以上各個地址調用 collectFees 函數,取回真正的獎勵。此時雖然這些賬戶中并沒有 PLP Token,但由于記賬在 user.token0Rewards 沒有更新,攻擊者因此得以取出多份獎勵。

用現實生活中的例子來描述這個攻擊,相當于我向銀行存錢,銀行給了我一張存款憑證,但這張憑證沒有防偽措施也沒有和我綁定,我把憑證復印了幾份發給不同的人,他們每個人都憑借這個憑證向銀行取回了利息。

通過以上的代碼分析,我們發現了 Popsicle Finance 在機槍池實現上的漏洞。下面我們對攻擊交易進行深入分析,看攻擊者是怎樣利用這個漏洞的。

攻擊者的總體流程如下:

攻擊者創建了三個交易合約。其中一個用于發起攻擊交易,另外兩個用于接收 PLP Token 并調用 Popsicle Finance 機槍池的 collectFees 函數取回存款獎勵。

通過閃電貸從 AAVE 借出大量流動性。攻擊者選擇了 Popsicle Finance 項目下的多個機槍池,向 AAVE 借出了對應這些機槍池的六種流動性。

進行Deposit-Withdraw-CollectFees循環。攻擊者一共進行了8 次循環,分別攻擊了 Popsicle Finance 項目下的多個機槍池,取出了大量流動性。

向 AAVE 歸還閃電貸,并將獲利通過 Tornado Cash 洗錢。

本次攻擊交易主要由數個 Deposit-Withdraw-CollectFees 循環構成,每一個循環的示意圖如上圖所示。根據我們的分析,邏輯如下:

攻擊者首先將閃電貸借來的流動性存入機槍池中,獲得一定量的 PLP Token。

攻擊者將 PLP Token 轉給攻擊合約 2。

攻擊合約 2 調用機槍池的 collectFees(0, 0) 函數,設置合約 2 對應的 user.token0Rewards 和 user.token1Rewards 狀態。

攻擊合約 2 將 PLP Token 轉給攻擊合約 3。

和攻擊合約 2 的操作類似,攻擊合約 3 調用機槍池的 collectFees(0, 0) 函數,設置合約 2 對應的 user.token0Rewards 和 user.token1Rewards 狀態。

攻擊合約 2 將 PLP Token 轉回攻擊合約,后者調用機槍池的 withdraw 函數 Burn 掉 PLP Token,取回流動性。

攻擊合約 2 和攻擊合約 3 調用 collectFees 函數,用虛假的 tokenRewards 狀態取回了存款獎勵。

根據我們的以太坊交易追蹤可視化系統(https://tx.blocksecteam.com/)給出的交易調用圖如下,其中部分重要交易用紅字進行標注:

本次攻擊一共獲利:2.56k WETH,96.2 WBTC,160k DAI,5.39m USDC,4.98m USDT,10.5k UNI,獲利共計超過 20,000,000 美元。

在此次攻擊之后攻擊者通過首先通過 Uniswap 和 WETH 將攻擊獲得的其他 token 全部換成 ETH,然后通過多次使用 Tornado.Cash 將 ETH 洗白。

Tags:TOKKENTOKETOKENitokenwallet轉trc20需要手續費嗎DOKENKanga Exchange Tokensaittoken

以太坊最新價格
伊朗負責法律事務的副總統表示 伊朗并未禁止加密貨幣兌換_COI

伊朗負責法律事務的副總統表示,目前的法規并不禁止數字貨幣兌換。據當地媒體報道,該部門已在與 ICT 行業協會的通信中表明了其立場,該協會想知道哪些規則適用于加密貨幣交易.

1900/1/1 0:00:00
區塊鏈如何改變游戲發展方向_區塊鏈

“游戲設計不僅僅是一門技術性的技藝,它是21世紀的思維和領導方式;玩游戲也不僅僅是為了消遣,它是21世紀攜手工作、實現真正變革的方式.

1900/1/1 0:00:00
以太坊經濟體系大變革:從DeFi質押到燃燒機制再到POS機制_DEF

以太坊在上一輪牛市中憑借智能合約和ICO異軍突起,成為當年最大的黑馬,但隨著以EOS為代表的公鏈競爭以及ICO大潮的消退,以太坊在熊市中回歸于平淡.

1900/1/1 0:00:00
中幣(ZB)研究院:區塊鏈新政出臺 全球加密貨幣加速合規_數字貨幣

8月4日,北京市委辦公廳、北京市人民政府辦公廳印發《北京市關于加快建設全球數字經濟標桿城市的實施方案》(下稱《方案》),《方案》指出,要超前布局區塊鏈.

1900/1/1 0:00:00
淺談 NFT 投資邏輯及生態布局_OIN

前言 如今,越來越多的NFT平臺和項目如雨后春筍般涌現,并且也備受投資機構矚目。例如總部位于紐約的OpenSea,該平臺在今年三月在Andreessen Horowitz (a16z)領投的一輪.

1900/1/1 0:00:00
民生銀行App接入數字人民幣 支持開通建行錢包_APP

移動支付網訊:近日,據網友透露,民生銀行手機銀行App加入了“數字人民幣”入口,用戶可通過該入口實現數字人民幣錢包的開立.

1900/1/1 0:00:00
ads