比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > MEXC > Info

首發 | Harvest.Finance攻擊事件分析_USD

Author:

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

流動性挖礦(YieldFarming)是近期DeFi領域中的最熱話題,以各種食物為主題的流動性挖礦似乎每日都能湊成一桌饕餮盛宴,大爆炸式地將新的DeFi概念灌輸給投資者與用戶。

每天新的流動性挖礦項目都會出現,同時舊項目也在退出人們的視野。對于這些項目“新人哪聞舊人哭”的快速交替,身為以建立區塊鏈健康安全生態為己任的CertiK,希望給大家帶來更有價值的問題和答案:當我們在討論流動性挖礦項目安全性的時候,討論點和關注點都應該是什么?

安全這個話題難以簡單概述,非細致的講解不能窺探一二。

本文在此以Harvest.Finance為例,分析作為流動性挖礦項目其存在的安全風險。

Harvest.Finance,它的名字非常直觀的說明了其設計意圖——流動性挖礦。

該項目的代碼已經開源,網站社區等也一應俱全。盡管Harvest.Finance的審計報告已公布,其項目中被審計部分的安全性目前可以被信任,但是這并不能說明Harvest.Finance的整體安全性得到了保障。

首發 | 歐科云鏈推出“天眼方案”推動鏈上安全系統再升級:8月28日,區塊鏈產業集團歐科云鏈宣布推出區塊鏈“天眼方案”,主要通過鏈上數據追蹤系統研發、對外技術支持、凝聚企業眾力等途徑,全面助力區塊鏈安全提升和產業平穩健康發展。

據了解,在“天眼方案”下,歐科云鏈集團將打造鏈上數據追蹤系統,通過溯源數字資產、監控非法交易等手段,全力遏制洗錢等非法行為;協助執法機關辦案,并為打造法務等區塊鏈系統提供技術支持;為聯盟鏈和基于各類業務的鏈上數據提供區塊鏈+大數據的解決方案。[2020/8/28]

CertiK安全研究團隊從該項目智能合約出發,發現了該項目中存在與其他類似流動性挖礦項目同樣的問題:治理中心化,即許多關鍵操作只允許項目管理者來進行,沒有任何對項目限制者的限制手段,例如:

圖1:DelayMinter.sol

參考鏈接:

https://github.com/harvest-finance/harvest/blob/master/contracts/DelayMinter.sol

首發 | 嘉楠耘智宣布與Northern Data在AI、區塊鏈等高性能計算領域達成戰略合作:據官方消息,2020年2月17日,嘉楠耘智宣布與區塊鏈解決方案及數據中心服務提供商Northern Data AG達成戰略合作。本次合作的內容涵蓋AI、區塊鏈及數據中心運維等高性能計算領域。

嘉楠耘智擁有豐富的高性能計算專用ASIC芯片研發經驗。Northern Data AG則專注于區塊鏈和數據中心等高性能計算基礎設施的建設。通過本次戰略合作,雙方將在AI、區塊鏈等新興領域進一步釋放增長潛能。[2020/2/19]

圖2:Governable

參考鏈接:

https://github.com/harvest-finance/harvest/blob/master/contracts/Governable.sol

圖3:Storage.sol

首發 | 此前18000枚BTC轉賬是交易所Bithumb內部整理:北京鏈安鏈上監測系統發現,北京時間10月24日,17:07分發生了一筆18000枚BTC的轉賬,經分析,這實際上是交易所Bithumb的內部整理工作,將大量100到200枚BTC為單位的UTXO打包成了18筆1000枚BTC的UTXO后轉入其內部地址。通常,對各種“面值”的UTXO進行整數級別的整理,屬于交易所的規律性操作。[2019/10/24]

參考鏈接:

https://github.com/harvest-finance/harvest/blob/master/contracts/Storage.sol

圖1中第102行起的函數executeMint()的功能是進行鑄幣操作,由于onlyGovernance的限制,使得只有于onlyGovernance許可的地址可以執行該函數,而onlyGovernance的定義來自于圖2中14行與圖3中27行的代碼,最終從圖3的28行可以看到所謂的“Governance”其實僅是指項目擁有者本身,并不是如名稱所暗示指代一個管理委員會。

首發 | 螞蟻礦機S17性能曝光 采用全新散熱技術及全局優化定制方案:金色財經訊,日前,比特大陸即將發布的螞蟻礦機S17性能曝光。據螞蟻礦機S17產品經理朋友圈稱,新品將采用新一代散熱技術及全局優化定制方案。據了解,該散熱技術可能是指芯片的封裝技術,也有可能是機器的散熱結構設計。至于S17產品“全局優化定制”方案未有細節透露。有聲音評價,這或許是為決戰豐水期做出的準備。[2019/3/22]

通過觀察代碼可以了解到,該項目的治理與重要操作的控制權都被項目管理者據有,中心化程度極高,而這一點明顯違背了以去中心化為基本的流動性挖礦項目的本質。

即便項目管理者加入了一個延遲操作的功能,并設置了每一個鑄幣操作都需要提前公布給社區,這依舊無法從根本上解決問題。尤其是當Harvest.Finance項目把延遲的時間期限設置為12個小時,這也違背了大部分人的作息規律。

IMEOS首發 BM表示EOS合約具有整數溢出保護:據金色財經合作媒體IMEOS報道:近日ETH出現多個ERC20智能合約的處理溢出錯誤,BM在推特上發表評論:新的ETH契約Bug可能會破壞整個Token的供應,讓持有者留下無價值Token.這就算為什么代碼不能成為法律,隨即表示EOS erc合約不容易受到這種攻擊。而EOS官方群也有人表示擔憂EOS是否具有整數溢出保護?BM回應:有很多C ++模板類可以封裝類型并檢查溢出。[2018/4/25]

除了項目的治理中心化程度過高的通病,流動性挖礦項目同樣存在被套利攻擊的風險。

套利攻擊是利用價格差進行低買高賣完成的以獲利為目的的交易行為。已經發生過套利攻擊的著名項目有Balancer和bZx。

10月26日Harvest.Finance項目也發生了套利攻擊事件,損失超3380萬美元。

對于此類攻擊,需要弄清兩個問題:

1.發生套利攻擊的條件是什么?

2.為什么Harvest.Finance項目滿足了這些條件?

發生套利事件需要的條件其實非常直觀:可以完成低買高賣。

簡化來說就是可以通過自己的交易或者操作來影響交易物的價格。

這種交易影響價格的手段可以是直接改變,也可以是改變交易物的數目來間接的影響價格。

流動性挖礦項目自身通過交易來鑄幣或者燃燒幣的操作,十分容易滿足改變交易物的操作要求。

一旦套利攻擊者發現了可利用的攻擊點,可以在沒有風險的情況下當即利用閃電貸借取大額資金,將套利攻擊的獲利擴大。

圖4:Harvest.Finance套利攻擊的交易之一

參考鏈接:

https://etherscan.io/tx/0x35f8d2f572fceaac9288e5d462117850ef2694786992a8c3f6d02612277b0877

圖4所示交易是在此次發生于Harvest.Finance項目的套利攻擊的其中一筆交易,攻擊者通過查看該項目智能合約中控制鑄造fUSDC代幣數目的函數,發現鑄造的代幣數目依賴于其參考的Curve項目的計算公式,繼而依靠閃電貸獲得大量初始資金進行套利攻擊。

攻擊者的執行交易的流程大致如下:

1.閃電貸借貸得到大筆USDC和USDT;

2.利用借貸所得USDT通過Curve轉換為USDC,提高USDC價格;

3.將獲得的USDC存入Harvest.Finance項目的USDC儲藏室(vault)中,同時Harvest.Finance會為該存入的行為攻擊者鑄造一定數目的fUSDC(鑄造的數目受Curve影響);

4.?將初始借貸所得的USDC通過Curve轉換為USDT,提高USDT的價格,同時USDC價格降低;

5.最終攻擊者將持有額所有fUSDC轉換回USDC,此時因為Curve中的USDC價格降低,導致影響了兌換回USDC的數目增加。

最終攻擊者利用類似操作,完成了14筆利用針對USDC的套利交易,然后利用同樣的思路,針對USDT完成了另外13筆套利交易。

根據官方報告,計算了攻擊者返還給項目的1300萬USDC和11萬USDT之后,總損失超過2億人民幣。

在Harvest.Finance這次的套利攻擊事件中,攻擊者通過影響USDC、USDT代幣的價格來進行套利。

因此,項目代幣價格不能簡單的依賴于其相對數目,而應該穩定建立于實時、有效、可靠的價格提供系統之上。例如目前的chainlink的價格預言機便可以一定程度上解決此類隱患。

當討論一個流動性挖礦項目的安全性時,不應僅僅簡單的查看程序代碼、智能合約的安全,而需要查看更加深層的、邏輯性的漏洞,例如治理中心化以及代幣價格控制邏輯可能導致的套利攻擊風險。

傳統的代碼審計并不適合包括流動性挖礦在內的區塊鏈項目。

面對此類項目,需要有經驗豐富的區塊鏈項目專業審計人員,從傳統代碼審計、邏輯審計、金融模型審計等多角度對項目的安全進行逐步且完備的審核,才可確保項目的安全。

迄今為止,CertiK已為超過200名機構用戶提供了優質服務,保護了超過80億美元的數字資產與軟件系統免受安全損失。

歡迎搜索微信關注CertiK官方微信公眾號,點擊公眾號底部對話框,留言免費獲取咨詢及報價!?

Tags:USDANCNCENANcusd幣多少錢一個Mushu FinanceSyrup FinanceKesef Finance

MEXC
Vitalik Buterin:區塊鏈價值主要來自于穩定幣、擴容、DAO 等不同組成部分之間的互動_VITA

鏈聞消息,以太坊創始人兼萬向區塊鏈實驗室首席科學家VitalikButerin在由萬向區塊鏈實驗室主辦的第六屆區塊鏈全球峰會的演講中表示,以太坊生態系統中不僅僅是一層擴容、二層擴容.

1900/1/1 0:00:00
灰度最新報告:過半受訪美國投資者有興趣購買比特幣,遠高于去年的 36%_DATA

鏈聞消息,數字資產管理公司GrayscaleInvestments與金融市場研究公司8AcrePerspective聯合發布2020年比特幣投資者調查研究報告.

1900/1/1 0:00:00
江蘇發布區塊鏈產業發展計劃 “1 3 N”的產業布局到底是啥?_STO

從江蘇省工信廳獲悉,我省印發《江蘇省區塊鏈產業發展行動計劃》,目標到2023年,全省產業布局合理,集聚效應明顯,產業鏈協同發展,公共服務體系基本建立,區塊鏈產業年均增速不低于15%.

1900/1/1 0:00:00
Litentry 完成百萬美元種子輪融資,FBG、Candaq、Signum 等多家機構參投_ENT

鏈聞消息,波卡生態首個去中心化跨鏈身份協議Litentry完成百萬美元種子輪融資,參與投資機構包括FBGCapital、CandaqGroup、SignumCapital、NGCVentures.

1900/1/1 0:00:00
紅米將于 10月27日14:00 上線Phala(PHA)

親愛的用戶: 紅米將上線PHA/USDT交易對,具體時間安排如下。開放交易時間:10月27日14:00(UTC8)?開放充值時間:10月27日14:00(UTC8)?開放提現時間:10月27日1.

1900/1/1 0:00:00
以太坊2.0如火如荼 上線性能提升500倍 或大幅改造社會經濟?_ETH2.0

毫無疑問,ETH2.0是區塊鏈行業未來3年最大的事件之一。我們可以做這樣的假設,如果ETH2.0能在2017年就上線,那么EOS、Tezos、Tron還有存在的必要嗎?如果ETH2.0能在201.

1900/1/1 0:00:00
ads