賣意外險的保險公司也遭受了意外？Cover Protocol漏洞分析_COVER

北京時間12月28日晚，CertiK安全驗證團隊發現CoverProtocol發生代幣無限增發漏洞攻擊。本文為你分析事件詳情始末。

作為幣民如果加密資產不幸被盜，但項目方或者你個人購買了保險，那么也大可放心讓保險公司償還損失的資產。

可還有最差的一種情況：但是如果連保險公司都出了安全事故，受到攻擊了呢？

北京時間12月28日晚，CertiK安全技術團隊發現CoverProtocol發生代幣無限增發漏洞攻擊。

俄羅斯將于下周開始與13家銀行一起對數字盧布進行實際測試:金色財經報道，俄羅斯央行周三宣布，俄羅斯將于下周開始與13家銀行和客戶一起對數字盧布進行實際測試，擴大其數字盧布試點范圍。[2023/8/9 21:34:40]

攻擊者通過反復對項目智能合約進行質押和取回操作，觸發其中包含鑄造代幣的操作，對Cover代幣進行無限增發，導致Cover代幣價格崩盤。

技術分析?

主要攻擊分為以下步驟：?1.攻擊者設置攻擊必要的假代幣。

2.攻擊者使用假代幣，為BalancerPool提供流動性：

①總計向BalancerPool提供了2,573個DAI的流動性

②攻擊者通過向BalancerPool提供流動性，獲得了約132,688個Balancer流動性證明代幣BPT

連連數科赴港IPO，擬在香港成立虛擬資產交易平臺:金色財經報道，6月30日，港交所披露易顯示，連連數字科技股份有限公司向港交所提交上市申請，聯席保薦人為中金公司、摩根大通。連連數科在招股書中提到，其正準備向香港證券及期貨事務監察委員會提交虛擬資產服務提供商牌照申請，以在香港成立虛擬資產交易平臺。

目前連連數科在印尼展業已被授權為第三類支付服務提供商（PJP），從事匯款服務。但依據印尼相關法律，公司不得接受任何作為支付交易處理中資金來源的虛擬貨幣，不得通過使用虛擬貨幣作為資金來源來處理任何支付交易，也不得將任何虛擬貨幣連接到支付交易處理。[2023/7/3 22:15:10]

3.攻擊者向CoverProtocal中的Blacksmith.sol智能合約質押(stake)前一步中所得的所有Balancer流動性證明代幣。質押時，攻擊者調用位于0xe0b94a7bb45dd905c79bb1992c9879f40f1caed5的Blacksmith.sol智能合約中的deposit函數，如圖一所示：

數據：幣安穩定幣儲備已降至65億美元左右，較去年11月下跌75%:金色財經報道，據區塊鏈分析公司Glassnode數據分析顯示，幣安穩定幣儲備已有較大幅度減少，從2022年11月的260多億美元急劇下降到當前的65億美元（降幅高達75%）。這部分降幅主要是由美國證券交易委員會對BUSD的投訴所驅動，導致BUSD發行方Paxos切換至僅限贖回模式。此外，對于Coinbase來說，凈儲備的變化要小得多，穩定幣的余額在本周持平，BTC的余額只減少了2300枚（占總數的0.5%）。[2023/6/14 21:36:38]

圖一：Thedeposit()functioninblacksmith.sol

通過調用deposit函數，攻擊者將得到的BPT流動性證明質押到coverprotocol中。

比特幣期貨電子合約未平倉12817張，較上一日下跌4張:金色財經報道，2023年3月8日芝加哥商業交易所（CME）比特幣成交量報告如下：比特幣期貨電子合約成交6573張，場外成交合約為70張，成交量6643張，未平倉合約12817張，持倉較上一日下跌4張。

比特幣期權合約成交129份，其中看漲合約33份，看跌96份。看漲期權未平倉合約4010張，持倉較上一日上漲108張。看跌期權未平倉合約4085張，持倉較上一日上漲189張。微型比特幣期貨電子合約成交量5568張，未平倉合約9556張，持倉上漲116張。[2023/3/9 12:51:40]

首先通過圖一中118行將當前流動性證明代幣的pool數據讀取到memory，然后調用121行代碼對當前pool的數據進行更新。

CryptoCompare通過Blockdaemon發布質押收益率指數:金色財經報道，數據提供商 CryptoCompare 通過區塊鏈基礎設施平臺 Blockdaemon 推出了一組新的質押收益率指數。兩家公司周三表示，目標是幫助投資者制定更明智的投資策略。根據一份新聞稿， Staking Yield Index Family 將使機構能夠在去中心化金融平臺上獲得 Staking 收益率指標和年度化每日 Staking 獎勵的鏈下敞口。該指數將衡量數字資產產生的年化每日質押收益率，允許機構投資者創建回報和收益率互換產品。

據該公司稱，該指數組將采用五個單獨的指標來衡量表現最佳的權益證明(PoS) 數字資產的年化每日權益收益率：Solana、Avalanche、Cardano、Cosmos 和 Polkadot。（coindesk）[2022/9/29 5:59:58]

圖二：blacksmith.sol中的updatePool()函數

如圖二第75行所示，在updatePool()函數中修改的當前流動性證明代幣的pool數據是一份存儲在storage中的數據，與在deposit()中存儲在memory中當前流動性證明代幣的pool數據是兩份數據。在圖二第84行lpTotal的值代表當前合同中總共存入的流動性證明代幣數目，由于該變量數值較小，因此通過84行公式pool.accRewardsPerToken的數值將會增大，更新過的accRewardsPerToken值存儲在storage中。

圖三：blacksmith.sol中的_claimCoverRewards()函數接下來

如圖三中318行所示，deposit()通過調用_claimCoverRewards()函數，向函數調用者(msg.sender)鑄造一定數目的cover代幣。

鑄造cover代幣的數目與pool.accRewardsPerToken，CAL_MULTIPLIER以及miner.rewardWriteoff三個變量相關。

請注意這里pool.accRewardsPerToken的數值是使用了存放在memory中的pool數據，并非使用圖二中update()函數更新之后的數值。

同時，通過圖1中deposit函數得知，miner.rewardWriteoff的數值更新是在_claimCoverRewards()函數執行完成之后發生。

因此原本設計上應使用更新過的miner.rewardWriteoff的數值計算需要鑄造cover代幣的數目，這里錯誤的使用了未更新過的miner.rewardWriteoff的數據，導致實際鑄造cover代幣數目比應鑄造代幣數目增多，最終導致了代幣增發。

質押成功之后，攻擊者通過調用blacksmith.sol智能合約中的withdraw()函數,將質押的BPT取回，同時取得額外鑄造的cover代幣，完成攻擊。

通過對比執行deposit()函數和執行withdraw()函數之后的代幣結余表，我們可以發現通過這一組deposit和withdraw函數調用之后，攻擊者可以獲得約704個COVER代幣。

deposit()之后：

withdraw()之后：

攻擊者通過反復執行deposit和withdraw函數，可以使Blacksmith函數無限鑄造代幣，并將代幣轉到自己的地址中，由此獲利。攻擊發生后，截止發稿時，cover官方已經將blacksmith遷移到安全版本：

有漏洞的blacksmith地址：

0xe0b94a7bb45dd905c79bb1992c9879f40f1caed5

臨時修復后的blacksmith地址:

0x1d5fab8a0e88020309e52b77b9c8edf63c519a26

臨時修復后的blacksmith合同臨時禁止了一切質押和取回操作，以此阻止攻擊者繼續實行攻擊。?

本次攻擊最初攻擊者共獲利440萬美金，約合人民幣2900萬人民幣。

有其他攻擊者利用該漏洞發動類似攻擊，例如Grap.finance項目官方參與了利用該漏洞的攻擊，獲利4350個ETH代幣。

在攻擊發生后幾個小時，Grap.finance項目官方通過Twitter聲稱對本次攻擊負責，并表示已將所有的獲利退回給了CoverProtocol。

安全建議

為了確保數字資產不因任何非技術原因遭受損失，項目方應及時為項目產品購買保險，增加項目方和投資者的安全保障方案，確保其因受到攻擊所造成的損失可以被及時補償。

Tags：COVERCOVVERITHcover幣總量CovestingInverse ProtocolLithium Finance

波場