比特幣行情 比特幣行情
Ctrl+D 比特幣行情
ads

DEFI:安全專家為你解讀DeFi典型漏洞及其安全風險

Author:

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

自DeFi興起以來,在短短9個月時間內迅速風靡全球。BSC憑借低廉的gas和高速壯大的生態應用建立起了日漸完整的生態系統,成功成為了領先的公鏈平臺之一。

數據來源:https://bscscan.com/

如今每天,都有數百個項目在BSC上進行數千萬的交易。

圖片來自https://twitter.com/BinanceChain/status/1395060714390315008

但是鏈上交易的熱度將另外一個隱患帶到了我們面前——安全隱患。

目前可被黑客所利用的不同級別漏洞越來越多。

CertiK安全專家將這些漏洞分為四大類,下文將為各位讀者帶來DeFi相關安全風險講解。

智能合約中,某些功能受到函數修改器(modifier)的保護——只有特定的操作者才能調用特定的功能。

在大多數情況下,這些功能是用于修改合約配置或管理智能合約中持有的資金。因此如果攻擊者破壞了管理密鑰,他們可以完全控制智能合約,調用該功能從而竊取用戶資產。

?密鑰泄露的原因

第一種可能性是計算機木馬程序。?

攻擊者可以使用木馬程序來竊取存儲在計算機上的私鑰,或者進行網絡釣魚攻擊,以誘騙用戶將其私鑰發送給攻擊者。

比特幣安全專家:中本聰的大量比特幣容易成為量子計算機的目標:金色財經報道,比特幣安全專家Andreas Antonopoulos表示,中本聰的大量比特幣將很容易成為量子計算機的容易的目標。他表示,投資者應該密切關注中本聰的比特幣財富,如果這些休眠的比特幣開始移動,這很可能不是中本聰所為。[2020/12/22 16:02:12]

對DeFi合約來說,往往是幾個人共享一個管理密鑰。

這就意味著如果有內部人員心懷不軌,那么他可以調用管理功能將項目的代幣轉移到自己的錢包地址中。

這里有兩個案例:2021年3月5日,PAIDNetwork因其私鑰管理不當而遭受“鑄幣”攻擊,經推測攻擊者很可能是通過網絡釣魚攻擊從管理員的計算機中竊取了密鑰。

PAID代幣合約位于可升級代理服務器之后,這意味著代幣合約可以被代理服務器的所有者替換。

這類惡意代碼有鑄幣功能,攻擊者銷毀6000萬個PAID代幣,然后為自己鑄造了5900萬枚代幣。

當時2,501,203美元的PAID代幣在Uniswap上被出售,代幣價格也從2.8美元暴跌為0.3美元。

2021年4月19日,EasyFi創始人聲稱該黑客為獲取管理密鑰對管理員進行了針對性的攻擊。298萬個EASY代幣被從EasyFi官方錢包中轉移到了幾個未知錢包中。

比特幣安全專家:比特幣“熔斷機制”只能應對短期問題:比特幣安全專家Andreas Antonopoulos在最近的一個播客節目中參與了關于在比特幣上實施“circuit breaker(熔斷機制)”的討論。其中一種觀點認為,市場下跌不是因為工作時間太長,也不是因為熔斷機制,而是因為人們在試圖重新平衡風險時感到恐慌。Antonopoulos指出,熔斷機制是具有短期影響的短期措施,也只能應對短期問題:“我們沒有看到的是,具備對長期問題的長期影響的措施很難解決,真正的問題是,‘短期措施實際上會破壞長期市場嗎’?我認為這才是真正的問題所在。”(AMBCrypto)[2020/3/23]

因此安全存儲私鑰對于項目安全的重要性可見一斑,管理者切忌將未加密的管理員密鑰存儲在電腦設備上,或將其無防備的放置于Metamask熱錢包中。

CertiK安全專家建議管理者使用硬件錢包創建賬戶。

如果多人團隊的每位管理者均使用硬件錢包,一旦其中一位管理者試圖進行特權交易,也需獲取大部分成員的簽署同意,這樣可以防止攻擊者僅獲取一個密鑰訪問權時就可以調用所有特權功能。

代幣合約應盡可能避免鑄造新代幣的功能。如果需要鑄造新代幣,應使用DAO合約或時間鎖合約,而非EOA帳戶。

編碼錯誤

聲音 | 比特幣安全專家:加密市場的波動性源自小規模市場和有限流動性:據cointelegraph消息,比特幣安全專家Andreas Antonopoulos最近在接受采訪時表示,加密市場的波動性源于目前加密市場的小規模和有限的流動性。當它向下波動時,會產生恐慌的情緒和損失。當它呈現向上波動時,會導致FOMO(追漲)跡象。而投資者對技術層面內容知之甚少,不過也有一些投資者會在整個周期中嘗試更多地了解該技術,為下一周期的用戶打造更堅實的基礎。周期性的繁榮-蕭條模式是該技術行為的一部分,對于沒有經驗的投資者來說是危險的,但它也提供了開發基礎設施和技術的每個階段所需的資金。[2019/6/5]

大家一提到DeFi漏洞,往往會認為漏洞必然是很復雜的,其實并非總是如此。

有時一個小小的編碼錯誤,就可以導致數百上千萬美元的資產一朝蒸發。

一些常見的編碼錯誤示例:

1.函數權限,修改器(modifier)缺失

2.錯別字

3.數字位數不正確

4.變量值分配缺失/不正確

有一個非常典型的例子就是UraniumFinance曾發生的受攻擊事件:黑客攻擊了UraniumFinance未受審計的合約,項目因此損失了5700萬美元。

聲音 | 360安全專家:360在區塊鏈領域的合約審計業務未來可能會走向免費化:在2018ISC互聯網安全大會上,360安全專家李佳峰表示:由于區塊鏈安全業務面向有定制業務需求的B端企業,不會像傳統互聯網安全業務面向龐大C端用戶一樣,短時間內實現免費化。[2018/9/6]

管理員在交換前后比較池中兩個代幣余額的乘積時使用了不一致的乘數,這使得攻擊者可以僅用1Wei就從池中換出大量代幣。

Uraniumfinance的代碼:

正確的代碼:

另一個例子是ValueDeFi,被黑客攻擊導致損失了1000萬美元。

此次事件發生的原因在于ValueDeFi合約中的初始化函數缺少“initialized=true”,這意味著任何人都可以將資金池初始化并將自己設置為管理員。

2021年5月5日,攻擊者將資金池初始化,將自己設置為管理員,然后使用“governanceRecoverUnsupported()”函數耗盡了已抵押的代幣。

ValueDeFi中的易受攻擊的代碼:

解決方法:

只需通過適當的同行評審、單元測試和安全審計,這一類型的代碼錯誤往往極易避免。

閃電貸和價格操縱

數字安全專家Neil Blazevic認為區塊鏈技術支撐著加密數字貨幣成為更重要的創新:數字安全專家Neil Blazevic認為區塊鏈技術支撐加密數字貨幣是更為重要的創新。他表示區塊鏈是一種記錄數據的形式,不能被篡改或入侵。它可以用于從律師到土地登記處起草的合同文件。如果非洲的開發商、企業家和政府能夠利用區塊鏈技術,他們可能有機會解決非洲大陸一些最棘手的問題——例如沒有銀行的大眾、數字身份、不受信任的投票系統等等。[2018/1/8]

閃電貸可以在無需提供任何抵押的情況下進行貸款,當然所有操作必須在一個交易區塊內完成。

開發人員可以從Aave或dYdX等協議中借貸,條件是在交易結束之前將流動資金返還到資金池中。

如果資金未能及時返回,則交易將被撤回,從而確保儲備池的安全。

閃電貸的一般運行步驟如下:

1.使用閃電貸借入大量代幣A

2.在DEX上將代幣A交換為代幣B

3.攻擊一個依賴A/B價格的DeFi項目

4.償還閃電貸

上周PancakeBunny遭受了閃電貸攻擊,攻擊者竊取了11.4萬BNB和69.7萬Bunny。

攻擊者利用閃電貸操縱PancakeSwapUSDT-BNBV1池的價格,導致大量的BNB流入BNB-Bunny池,這使得該合約能夠以虛高的BNB/Bunny的價格鑄造Bunny。

PancakeBunny使用了以下函數來計算Bunny的價格:

大量的BNB流入BNB-Bunny池造成變量“reserve0”變得更大,且價格計算公式存在缺陷,因此導致攻擊者非法獲取了69.7萬Bunny。

閃電貸攻擊的受害者很多,包括DeFi領域的一些知名項目:PancakeBunny,HarvestFinance,Yearn,ValueDeFi,AKROPOLIS,CheeseBank,XToken,bZx等等。

從這些實例中不難看出——項目方應著重預防價格被閃電貸惡意操縱。

為了防止這種情況的發生,CertiK安全專家建議①使用時間加權平均價格,因為攻擊者只能在一個區塊中操縱價格,因此平均價格并不會被影響,從而規避相關惡意操縱,②或使用可靠的鏈上價格預言系統,例如Chainlink。

用戶并不與其他第三方協議進行交互。

在PancakeSwap中,用戶可以通過提供流動性以獲得獎勵代幣或將一個代幣交換為另一個代幣。

但其他項目的運作方式并不同。

比如YearnFinance是收集用戶資金并將其放入第三方合約,通過投資用戶代幣以獲取收益的。

第三種情況則是一些項目會從其他項目“借用”代碼。

后兩種情況下,如果第三方代碼的來源安全風險較大,那么所有使用該代碼的項目也會受到攻擊。

假如項目的開發人員不熟悉他們使用的第三方代碼,一旦代碼存在漏洞,所導致的后果將是災難性的。

2021年5月8日,ValueDeFivSwapAMM的非50/50池被攻擊,損失總額約為1100萬美元。

為了實現非50/50池,ValueDeFi從屬于Bancor協議的“BancorFormula.sol”中復制了“power()”函數。

在power()函數的用法說明中,已寫明該函數并不支持“_baseN<_baseD”的情況。

但ValueDeFi并未注意到此注釋,因此攻擊者成功利用此漏洞,通過往函數中傳入特定的參數來用少量的代幣A交換代幣B。

ValueDeFi的代碼:

DeFi領域中還有許多其他類似的情況。

2021年5月8日,一名攻擊者通過利用集成在RariCapitalV2中的AlphaHomoraV1的ibETH池Bank合約的功能,從RariCapitalEthereumPool中消耗了大約2600個ETH。

BearnFinance使用BUSD的提款金額在其“BvaultsStrategy”合約中提取ibBUSD,從而讓攻擊者輕易轉移了池中10,859,319枚BUSD。

這類問題較難檢測,因此項目管理者應謹慎與任何第三方協議進行交互,更不應盲目地復制并部署開發人員不了解的代碼。

CertiK安全專家建議:

1.開發人員在集成第三方協議并將部署到生產運行過程中之前,應充分了解其及其分支項目的運行情況。

2.開發人員應在項目上線前,先將其部署在測試網上進行測試并及時檢查交易記錄中的異常情況。

總體而言,盡管項目難以保證100%的安全,但是以下幾點可以盡可能提高項目的安全性:

1.安全存儲管理員密鑰

2.避免簡單的編碼錯誤

3.參考可靠的鏈上價格

4.進行安全審計并做好審計前的準備

對于終端用戶來說,在使用個人資產與項目進行交互之前,有時很難找到有關項目的詳細信息。

為了方便用戶獲取項目的安全性信息,CertiK開發了全球首個公開透明展示區塊鏈項目安全數據的安全排行榜。

通過查看公開的安全數據,終端用戶可以實時了解項目安全情況。

https://www.certik.org

除以上防范方式以外,所有項目均應意識到安全審計的重要性。

那么審計前為了充分利用發揮安全審計的作用,應該如何準備資料和代碼?

以下有幾個小tips,詳情可以訪問:

1.定義審計的確切范圍并設定審計目標

2.制作全面的審計代碼文檔

3.確保良好的代碼質量

4.審計前測試代碼

5.凍結代碼并在審核之前指定代碼的commithash

本文主要內容來自幣安智能鏈聯合CertiK安全專家共同主持的視頻直播。

Tags:DEFIANCDEFEFIDeFi11Scorpion FinanceMy DeFi PetWorld of Defish

萊特幣最新價格
比特幣:中國監管的出拳,礦工們何去何從?

作者:茉莉 原文標題:《「兩只手」伸向比特幣源頭》中國計劃出清比特幣挖礦產業時,北美一些企業和資本開始蠢蠢欲動。比特幣的全網算力又一次出現了滑坡,半個月下降了19%.

1900/1/1 0:00:00
COM:中幣開放GTC和THETA提幣業務

尊敬的中幣用戶: ????中幣現已開放GTC和THETA提幣業務。感謝您對中幣的支持與信任! 中幣運營團隊 2021年5月28日 中幣(ZB) 早行情:BTC 現報57226美元:據中幣(ZB).

1900/1/1 0:00:00
KEX:BKEX Global 關于上線 BAAS( Baasid)的公告

尊敬的用戶:???????????BKEXGlobal即將上線BAAS,詳情如下:上線交易對:BAAS/USDT?幣種類型:ERC20充值功能開放時間:2021年5月28日14:00交易功能開放.

1900/1/1 0:00:00
BTC:馮楚昊:BTC、ETH連陰回落 空頭承壓警惕二次破位

BTC:比特幣本周反彈沖擊企穩40000失敗后承壓回落,隔日延續下跌,下方觸及關鍵支撐位35000關口,日線報收大陰線,而在隔日穩重筆者重點強調過短線36500支撐位.

1900/1/1 0:00:00
NFT:肖颯:NFT的法律內涵與外延

NFT似乎是中國法項下最有可能合規開展的涉通證業務,各方給予厚望。一方面投機者等待機會炒作一把,賺快錢;另一方面傳統文化藝術圈亟待技術迭代升級為3.0.

1900/1/1 0:00:00
比特幣:警惕對比特幣價格和人民幣匯率的夸張預測

核心觀點 1、比特幣對傳統貨幣體系的批評并不正確,對社會而言比特幣本身的缺點可能大于優點,比特幣會繼續演化并具備存在價值,未來將主要面對來自央行法定數字貨幣的競爭.

1900/1/1 0:00:00
ads