首發 | Pickle Finance損失近2000萬美元攻擊事件分析_BOSON

北京時間11月22日凌晨2點37分，CertiK安全研究團隊通過Skynet發現Pickle Finance項目遭到攻擊，共損失約1975萬枚價值近一億三千萬人民幣DAI。

自9月10日Pickle Finance開始挖礦起，一直沒有什么存在感。

有了食物大軍的大幅漲跌經驗在前，投資者本身對于異軍突起的Pickle項目保持著一定程度的警惕。

但自從9月14日獲得V神親自站臺，酸黃瓜在洶涌的DeFi浪潮中憑借其DeFi新玩法及各種背書，可謂是平地起價完成了10倍的漲幅。

“剛用5美元的價格把手里價值1萬美元的PICKLE賣掉，睡了一覺它的價值就變成了60美元？？？這？？？”

正當各投資者摩拳擦掌預備好入手這一新型食物代幣或是已經深陷其中，11月23日傳來的消息卻令投資者們大驚失色。

LBank藍貝殼于5月3日20:00首發 CSPR(Casper)，開放USDT交易:據官方公告，5月3日20:00，LBank藍貝殼上線 CSPR(Casper)，開放USDT交易，同時并開放充值，資料顯示，Casper網絡是基于CasperCBC規范構建的第一個實時權益證明區塊鏈。Casper旨在加速當今企業和開發人員對區塊鏈技術的采用，同時確保隨著網絡參與者需求的發展，其在未來仍能保持高性能。[2021/5/3 21:19:51]

據Messari數據顯示，自Pickle Finance被黑客攻擊后，其原生代幣PICKLE暴跌50.12％，直至10.17美元，此后稍有回升，截止當前其市值為11.41美元。

下文將為你帶來本次攻擊事件詳情分析。

整個攻擊流程如下：

第一步：攻擊者通過StrategyCmpdDAIV2.getSuppliedUnleveraged()的函數獲得當前在位于地址0xcd892a97951d46615484359355e3ed88131f829d的StrategyCmpdDAIV2合約中有多少可以被取出的DAI數目，這里記為Amount_A。

第二步：攻擊者調用位于0x6847259b2b3a4c17e7c43c54409810af48ba5210地址處的ControllerV4智能合約中的swapExactJarForJar()函數，并在調用時傳入1號和2號臟jar，Amount_A以及0,[],[]作為參數。

LBank藍貝殼于4月9日16:50首發 BOSON:據官方公告，4月9日16:50，LBank藍貝殼首發BOSON(Boson Protocol)，開放USDT交易，4月9日16:00開放充值，4月12日16:00開放提現。上線同一時間開啟充值交易BOSON瓜分10,000 USDT。

LBank藍貝殼于4月9日16:50開啟充值交易BOSON瓜分10,000 USDT。用戶凈充值數量不少于1枚BOSON ，可按凈充值量獲得等值1%的BOSON的USDT空投獎勵；交易賽將根據用戶的BOSON交易量進行排名，前30名可按個人交易量占比瓜分USDT。詳情請點擊官方公告。[2021/4/9 20:02:26]

swapExactJarForJar()函數

其中1號臟jar和2號臟jar由于是攻擊者自己部署的，符合IJar接口的智能合約，因此其中的token()函數的邏輯實現以及其他函數都是由攻擊者自己決定的。因為Pickle Finance swapExactJarForJar()函數沒有對傳入的jar是否為官方的智能合約地址進行驗證，因此該步驟得以成立。

LBank藍貝殼于4月10日01:00首發 BOSON，開放USDT交易:據官方公告，4月10日01:00，LBank藍貝殼首發BOSON(Boson Protocol)，開放USDT交易，4月9日23:00開放充值，4月12日16:00開放提現。上線同一時間開啟充值交易BOSON瓜分10,000 USDT。

LBank藍貝殼于4月10日01:00開啟充值交易BOSON瓜分10,000 USDT。用戶凈充值數量不少于1枚BOSON ，可按凈充值量獲得等值1%的BOSON的USDT獎勵；交易賽將根據用戶的BOSON交易量進行排名，前30名可按個人交易量占比瓜分USDT。詳情請點擊官方公告。[2021/4/7 19:54:33]

swapExactJarForJar()函數中傳入的jar可以定義代幣的類型

調用withdrawForSwap()函數 

隨著swapExactJarForJar()函數的執行，當執行到上圖289行的位于swapExactJarForJar()函數中的withdrawForSwap()函數時，經過一系列函數調用，最終執行位于0xcd892a97951d46615484359355e3ed88131f829d的deleverageToMin()函數以及deleverageUntil()函數，將當前StrategyCmpdDAIV2中可以被取出的代幣(Amount_A)轉移到位于0x6949bb624e8e8a90f87cd2058139fcd77d2f3f87地址的PickleJar智能合約中。

LBANK藍貝殼于3月22日18:00首發 DORA，開放USDT交易:據官方公告，3月22日18:00，LBANK藍貝殼首發DORA(Dora Factory)，開放USDT交易，現已開放充值。

資料顯示，Dora Factory 是基于波卡的 DAO 即服務基礎設施，基于 Substrate 的開放、可編程的鏈上治理協議平臺，為新一代去中心化組織和開發者提供二次方投票、曲線拍賣、Bounty 激勵、跨鏈資產管理等可插拔的治理功能。同時，開發者可以向這個 DAO 即服務平臺提交新的治理模塊，并獲得持續的激勵。[2021/3/22 19:07:06]

 deleverageToMin()函數以及deleverageUntil()函數

StrategyCmpdDAIV2智能合約向PickleJar智能合約轉移代幣的內部交易截圖

首發 | 螞蟻礦機S17真機圖首次曝光 采用雙筒風扇及一體機設計 ?:繼正式宣布在4月9日現貨銷售后，比特大陸即將發布的新品螞蟻礦機S17又有了新動態。據悉，螞蟻礦機S17真機圖今天在網上首次曝光。

從曝光的圖片來看，螞蟻礦機S17延續上一代產品S15的雙筒風扇設計，且采用一體機的機身設計。有業內人士認為，采用雙筒設計可有效縮短風程，礦機出入風口的溫差變小，機器性能將得到很大改善。

此前比特大陸產品負責人在接受媒體采訪時表示，新品S17較上一代產品相比，無論是在能效比還是單位體積的算力等方面，均有較大提升。[2019/4/3]

PickleJar智能合約中的earn()函數

第三步：調用位于0x6949bb624e8e8a90f87cd2058139fcd77d2f3f87地址的PickleJar智能合約中的earn()函數(如上圖所示)。

總共調用三次，目的是將位于當前PickleJar中的pDAI數目的DAI，從0x6b175474e89094c44da98b954eedeac495271d0f地址轉移到位于0x6847259b2b3a4c17e7c43c54409810af48ba5210地址處的ControllerV4智能合約中，并在887行通過調用ControllerV4合約中的earn()函數(如下圖所示)，在下圖152行中通過deposit()函數。

從而實現調用0xcd892a97951d46615484359355e3ed88131f829d的StrategyCmpdDAIV2合約中的deposit()函數，將PickleJar中的pDAI數目的cDAI鑄造給StrategyCmpdDAIV2。

ControllerV4智能合約中的earn()函數

StrategyCmpdDAIV2合約中的deposit()函數

第四步：再次調用位于0x6847259b2b3a4c17e7c43c54409810af48ba5210地址處的ControllerV4智能合約中的swapExactJarForJar()函數，并在調用時傳入3號和4號臟jar，以及0，0, CurveProxyLogic智能合約地址,0x20作為參數。

此處0x20是一個注入參數，目的是為了與CurveProxyLogic智能合約地址配合，執行位于0x6186e99d9cfb05e1fdf1b442178806e81da21dd8地址的CurveProxyLogic智能合約中的add_liquiditya()函數。

3號臟jar：

0xa2da08093a083c78c21aeca77d6fc89f3d545aed

4號臟jar：

0xa445e12d69e8bd60290f6935d49ff39ba31c6115

CurveProxyLogic智能合約地址: 0x6186e99d9cfb05e1fdf1b442178806e81da21dd8

swapExactJarForJar()函數使用CurveProxyLogic智能合約地址和注入參數來執行指定函數

CurveProxyLogic智能合約中的add_liquiditya()函數

在此步驟之后，在第三步中存儲在StrategyCmpDAIV2被從StrategyCmpDAIV2智能合約中轉移到ControllerV4智能合約處。

至此所有可以被取出的代幣被以cDai的形式存儲在ControllerV4智能合約中，并且攻擊者擁有取出cDAI的資格。

第五步，攻擊者調用位于地址0x5d3a536e4d6dbd6114cc1ead35777bab948e3643的CErc20Delegator智能合約中的redeemUnderlying()函數，內部調用了位于0xbb8be4772faa655c255309afc3c5207aa7b896fd地址處的CErc20中的redeemUnderlying(),redeemUnderlyingInternal()以及redeemFresh()函數。

最終將所有獲得的cDAI轉換成DAI，提出所有DAI并完成攻擊。

CErc20Delegator中的redeemUnderlying()函數

CErc20中的redeemUnderlying()函數

CErc20中redeemUnderlyingInternal()函數

多次的DeFi攻擊事件，表明了一個事實：“已審計”并不意味著其擁有了安全保證。

Pickle Finance在10月或更早通過的安全審計，并不代表其新增的智能合約均得到了實時的安全檢測。

高收益伴隨著高風險，此次漏洞的爆發同樣也是一個警示。

完備的安全保障=安全審計+實時檢測+資產保障=CertiK審計服務+CertiK實時檢測安全預言機+CertiK快速掃描+CertiKShield去中心化資產保障資金池

如您有審計需求，歡迎搜索微信[certikchina]關注CertiK官方微信公眾號，點擊公眾號底部對話框，留言免費獲取咨詢及報價！  

Tags：JARDAIBOSONSONJarvisText2VidAIBOSON幣

比特幣價格今日行情