買比特幣 買比特幣
Ctrl+D 買比特幣
ads

ANC:首發 | Harvest.Finance攻擊事件分析_Nova finance

Author:

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

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

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

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

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

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

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

首發 | 火幣集團全球業務副總裁:監管將決定區塊鏈技術和加密貨幣的落地速度:1月21日,火幣集團全球業務副總裁Ciara Sun在達沃斯世界經濟論壇上表示,對區塊鏈和數字貨幣的監管態度,2019年是重要的一年。在美國,到2019年底,針對加密貨幣和區塊鏈政策有21項法案,這些法案包括稅收問題,監管結構,跟蹤功能和ETF批準,哪些聯邦機構監管數字資產等。歐盟(EU)在2020年1月10日實施了一項新法律,要求加密貨幣平臺采取更嚴格的反洗錢做法。瑞士,日本,立陶宛,馬耳他和墨西哥通過法律,要求交易所必須根據KYC和AML準則獲得許可。中國,土耳其,泰國等國家正在計劃自己的中央銀行數字貨幣(CBDC)。而監管將決定區塊鏈技術和加密貨幣的落地速度。[2020/1/22]

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

首發 | 劉堯:百度區塊鏈推出天鏈平臺賦能鏈上業務:12月20日,由CSDN主辦的“2019中國區塊鏈開發者大會”12月20日在北京舉行。百度智能云區塊鏈產品負責人劉堯以《企業區塊鏈賦能產業創新落地》為主題進行了演講,他指出:2020年將是區塊鏈企業落地的元年,為了支持中國區塊鏈的產業落地,百度將區塊鏈進行平臺化戰略升級,依托百度智能云推出天鏈平臺,就是要賦能360行的鏈上業務創新落地。[2019/12/20]

圖1:DelayMinter.sol

參考鏈接:

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

圖2:Governable

參考鏈接:

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

首發 | 《一起來捉妖》中玩家達到22級將會接觸到專屬貓的玩法 ?:今日騰訊上線首款區塊鏈游戲《一起來捉妖》,經金色財經查證,游戲中玩家達到22級將會接觸到專屬貓的玩法,而非此前官方對外宣稱的15級。除了誘貓鈴鐺召喚出的0代貓以及部分通過運營活動獎勵的專屬貓以外,游戲中所有的貓默認都是未上鏈狀態。未上鏈的貓不能出售,也無法進入市場與其他玩家配對;但是你可以使用這些貓與你的QQ/微信好友進行配對,產出新的小貓。使用道具“天書筆”可以將你的貓記錄到區塊鏈。當貓被記錄到區塊鏈以后,這些貓就可以進入市場,通過配對賺取點券,或者出售賺取點券。專屬貓是否上鏈,并不影響它的增益效果。但只有上鏈后,它才能面對全服務器所有的玩家進行繁殖、交易。

?

《一起來捉妖》中的專屬貓玩法,基于騰訊區塊鏈技術,游戲中的虛擬數字資產得到有效保護。此外,基于騰訊區塊鏈技術,貓也可以自由繁殖,并且運用區塊鏈技術存儲、永不消失。[2019/4/11]

圖3:Storage.sol

首發 | 百度推動246家博物館線上藏品上鏈:金色財經訊,近日,百度超級鏈聯合百度百科,基于區塊鏈技術創建 “文博藝術鏈”,推動百科博物館計劃中的246家博物館線上藏品上鏈。基于“文博藝術鏈”,百度將與博物館共同推動線上藏品版權的確權與維護,同時探索線上藏品版權數字化交易方式,為合作的博物館提供更全面的服務和更多的權益。據介紹,此項目將分階段進行,一期將完成線上藏品的入鏈確權,為每一件藏品生產專屬的版權存證證書。讓每一名用戶可以在百度百科博物館計劃的PC端和WAP端的藏品頁查看證書。后續,百度還將推動AI與區塊鏈技術在文博領域的結合應用,用來保障上鏈數據與藏品相匹配,為后續進行藏品圖像版權數字化交易奠定基礎。[2019/1/30]

參考鏈接:

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

金色首發 EOS超級節點競選投票率達6.49%:金色財經數據播報,截止北京時間6月13日15:50,EOS投票率達6.49%。EOS引力區和EOS佳能作為兩個來自中國的超級節點競選團隊暫居第五和第六名。其中EOS引力區的得票總數為903萬,占比2.96%;EOS佳能的得票總數為877萬,占比2.87%。此前異軍突起的EOSflytomars暫居第17位,得票總數為630萬,占比2.07%。目前躋身前30名的超級節點競選團隊中,有八個團隊來自中國。[2018/6/13]

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

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

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

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

套利攻擊是利用價格差進行低買高賣完成的以獲利為目的的交易行為。已經發生過套利攻擊的著名項目有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:USD區塊鏈NCEANCCKUSD價格區塊鏈是什么概念YFDai FinanceNova finance

pepe最新價格
COI:Zcoin 將于 11 月底更名為「Firo」,并同時啟動新一代隱私協議 Lelantus 的主網二進制文件_COIN

鏈聞消息,隱私項目Zcoin宣布將于11月30人進行品牌重塑,更名為「Firo」。Firo將使用與Zcoin相同的區塊鏈.

1900/1/1 0:00:00
KEX:比特幣一路高歌下黑天鵝如影隨形 資產安全“避風港”何在?_ape幣價格今日行情比特幣價格

在過去三周內,比特幣從1.05萬美元飆升至1.31萬美元,在比特幣價格飆升至目前的水平之后,市場情緒轉向了極度興奮的水平。而與比特幣“一路高歌”的價格相隨的是頻繁出現的“黑天鵝”.

1900/1/1 0:00:00
EOS:合約炒幣機器人;BTC鯨魚擁有數量創新高和27號操作思路_比特幣

?? 比特幣鯨魚數量創新高市場看漲聲音頻發在過去三周內,比特幣從1.05萬美元飆升至1.31萬美元,在比特幣價格飆升至目前的水平之后,市場情緒轉向了極度興奮的水平.

1900/1/1 0:00:00
CRYPT:Crypto.com 任命前 Visa 高管 Filomena Ruffa 為拉丁美洲總經理_CryptoMechaKing

鏈聞消息,加密貨幣借記卡公司Crypto.com宣布,已聘請FilomenaRuffa為拉丁美洲總經理,她將負責領導該地區的所有業務并推動戰略業務關系.

1900/1/1 0:00:00
比特幣:智能炒幣機器人:BTC持續突破今年歷史高點之28號操作思路_十年比特幣曲線圖

比特幣飆升再度成為市場焦點!這一次歷史還會重演嗎?比特幣的擁護者表示,隨著這種虛擬貨幣價格飆升至近三年前加密貨幣市場泡沫破裂后的水平,這一次將有所不同.

1900/1/1 0:00:00
區塊鏈:萬向峰會 | 李晨:三位一體的去中心化是DeFi的核心優勢_以太坊

巴比特現場報道,10月27日至28日,由萬向區塊鏈實驗室主辦的第六屆區塊鏈全球峰會在上海舉行。28日下午的“數字金融”分論壇上,HashQuark首席執行官李晨表示,從Uniswap的角度來看,

1900/1/1 0:00:00
ads