原文標題:《DAOrayaki|從100個攻擊事件分析加密攻擊類型、工具、防范方法和未來預測》
撰文:KofiKufuor
編譯:DAOctor
加密安全啟示錄
黑客今年從加密應用程序中竊取了超過2B美元。DAOrayaki去中心化編輯委員會撰寫此文時,又發生兩起黑客攻擊事件:Rabbywallet、Solana生態去中心化金融平臺Mango。隨著加密生態系統的發展并吸引更多的惡意行為者,問題只會變得更糟。有些事情必須改變。是時候退后一步,反思過去的錯誤,并改變我們在這個行業中處理安全性的方式。
在這篇文章中,我們將:
提出一個對加密貨幣黑客進行分類的框架
概述迄今為止最有利可圖的黑客所使用的方法
回顧目前用于防止黑客的工具的優勢和劣勢
討論加密貨幣安全的未來
1、加密貨幣黑客攻擊分類框架
加密應用生態系統由可互操作的協議組成,由智能合約提供支持,依賴于主鏈和互聯網的底層基礎設施。
由于堆棧的每一層都有其獨特的漏洞。我們可以根據被利用的堆棧層和使用的方法對加密黑客進行分類。
基礎設施
對基礎設施層的攻擊利用了支持加密應用程序的底層系統的弱點:它依賴于達成共識的區塊鏈、用于前端的互聯網服務以及用于私鑰管理的工具。
智能合約語言
這一層的黑客利用了Solidity等智能合約語言的弱點。智能合約語言中存在眾所周知的漏洞,例如可重入性和錯誤的委托調用實現的危險,可以通過遵循最佳實踐來緩解這些漏洞。
CZ回顧2022年:過去一年造訪33國,Binance任何時間都有100%儲備金:12月28日消息,Binance 首席執行官 CZ 近期回答社區提問并回顧了即將過去的 2022 年。CZ 首先特別澄清自己肯定不是中本聰,他透露自己在過去一年中造訪了 33 個國家和當地監管機構。CZ 還表示,即使所有用戶同時發起提款 Binance 也不會破產,Binance 每一個加密貨幣在任何時間點都有 100% 儲備金,所以用戶可以隨時隨地取現。
在談到如何規避類似 FTX 的風險時,CZ 稱 Binance 首先要確保不會陷入 FTX 那種境地,任何人轉移數十億美元用戶資金都無法進行風控,永遠不要觸碰用戶的東西,保持公開透明,不要走捷徑。[2022/12/28 22:12:26]
有趣的事實:用于執行6000萬美元TheDAO黑客攻擊的漏洞實際上是由LeastAuthority在對以太坊的安全審計中發現的。有趣的是,如果在發布前已經修復,事情會有多不同。
協議邏輯
此類攻擊利用單個應用程序的業務邏輯中的錯誤。如果黑客發現錯誤,可以使用它來觸發應用程序開發人員無意的行為。
例如,如果一個新的去中心化交易所在確定用戶從exchange中獲得多少的數學方程式中存在錯誤,則可以利用該錯誤從exchange中獲得比本應可能的更多的錢。
協議邏輯級攻擊還可以利用現有的治理系統來控制應用程序的參數。
生態系統
許多最具影響力的加密黑客利用了多個應用程序之間的交互。最常見的變體是黑客利用從另一個協議借來的資金利用一種協議中的邏輯錯誤來擴大攻擊規模。
通常,用于生態系統攻擊的資金是通過快速貸款借入的。在執行閃電貸款時,只要資金在同一筆交易中歸還,您就可以從Aave和dYdX等協議的流動資金池中借入盡可能多的資金,而無需提供抵押品。
YGG發布首年回顧報告:打金成員已獲得超1000萬美元收入:7月30日消息,P2E游戲公會Yield Guild Games(YGG)在其官方博客發布第一年回顧報告,其中披露打金成員已獲得超過1000美元收入,YGG專注于為打金成員提供價值,已將YGG及其區域subDAO合作伙伴生態系統定位為該領域的明確領導者,截至2022年5月全球已有近3萬名成員從中受益。YGG表示,未來12個月將是探索、測試、學習和建設的時期,并將繼續與合作伙伴和社區站在一起。[2022/7/30 2:47:51]
2、數據分析
從2020年起,我們采集了100個最大的加密黑客數據集,被盜資金總計5B美元。
生態系統攻擊最常發生。占樣本組的41%。協議邏輯漏洞導致的損失最大。
數據集中最大的三次攻擊,即Roninbridge攻擊、PolyNetwork黑客和Binancebridge黑客,對結果產生了巨大的影響。
如果排除前三種攻擊,則基礎設施黑客攻擊是損失資金影響最大的類別。
3、黑客如何執行
基礎設施攻擊
在樣本組中61%的基礎設施漏洞利用中,私鑰被未知方式破壞。黑客可能已經通過網絡釣魚電子郵件和虛假招聘廣告等社交攻擊獲得了對這些私鑰的訪問權限。
動態 | EOSIO黑客馬拉松一周年 Block.one發推回顧及展望:Block.one今日發推回顧全球黑客馬拉松一周年,總結失敗的原因,同時展望未來,匯報BuiltOnEOSIO項目的進展情況。
回顧:Block.one于2018年舉辦了EOS全球黑客馬拉松系列賽。該旅程從香港開始,到悉尼、倫敦、前往舊金山的 “非洲虛擬活動”,最終在開普敦進行總決賽。
展望:文中更新了四個項目的發展情況。
1. GeneOS: 是一個基于區塊鏈的數據所有權,市場和基因組大數據安全計算平臺,將其項目推進到2020年第一季度的beta版,并很快推出了試點計劃。
2. Smartpress: 不僅繼續開發其Web應用程序,該應用程序允許任何人將應用程序與EOSIO智能合約無縫集成。
3. Chestnut: 致力于通過提供易于使用且具有安全功能的帳戶來改善區塊鏈應用程序的用戶體驗,正在為2020年的首發做積極準備。
4. NouGit團隊:繼續深耕編程(代碼)協作。[2019/12/12]
智能合約語言攻擊
重入攻擊是智能合約語言級別上最流行的攻擊類型。
在重入攻擊中,易受攻擊的智能合約中的函數調用惡意聯系人的函數。或者,當易受攻擊的合約向惡意合約發送代幣時,可以觸發惡意合約中的功能。然后,在合約更新其余額之前,該惡意函數會在遞歸循環中回調易受攻擊的函數。
例如,在SirenProtocolhack中,提取抵押代幣的功能很容易被重入并被反復調用,直到所有抵押品都被耗盡。
夜間信息回顧 | 三星證實Galaxy S10內置加密私鑰安全存儲功能:1.加密社區對彭博社有關比特幣價格飆升的觀點表示質疑
2.比特幣期貨收于3900美元上方
3.亞馬遜開發可在60秒內創建區塊鏈網絡的工具
4.FBI向BitConnect受害者征集信息
5.Facebook首席執行官:考慮將區塊鏈技術用于身份驗證
6.三星證實Galaxy S10內置加密私鑰安全存儲功能
7.加密貨幣總交易量達到300天高點
8.日本加密貨幣業界公開資產余額,賬戶數明顯下降
9.凌晨以來BTC出現超10筆大額轉賬[2019/2/21]
協議邏輯攻擊
協議層上的大多數漏洞都是特定應用程序獨有的,因為每個應用程序都有獨特的邏輯。
訪問控制錯誤是樣本組中最常出現的問題。例如,在PolyNetworkhack中,「EthCrossChainManager」合約具有任何人都可以調用以執行跨鏈交易的功能。
該合約擁有「EthCrossChainData」合約,因此如果您將「EthCrossChainData」設置為跨鏈交易的目標,則可以繞過onlyOwner()審查。
剩下要做的就是制作正確的消息來更改哪個公鑰被定義為協議的「保管人」,奪取控制權并耗盡資金。普通用戶永遠無法訪問「EthCrossChainData」合約上的功能。
注意:在許多情況下,多個協議使用相同的技術被黑客入侵,因為團隊分叉了一個存在漏洞的代碼庫。
例如,CREAM、HundredFinance和VoltageFinance等許多Compound分叉成為重入攻擊的受害者,因為Compound的代碼在允許交互之前沒有檢查交互的效果。這對Compound來說效果很好,因為他們審查了他們支持的每個新代幣的漏洞,但分叉團隊并沒有做這樣的努力。
精選 | 九月區塊鏈聲音回顧:1.經合組織(OECD)秘書長:區塊鏈不是一種政策或監管而是一種工具。
2.央行主管金融時報:區塊鏈技術與央行數字貨幣存在三大分歧。
3.中國信通院:當前區塊鏈技術的發展趨勢體現在五個方面,面臨四大挑戰。
4.薩摩亞中央銀行:加密貨幣發起人將被視為金融機構,加密貨幣不是法幣。
5.中關村區塊鏈產業聯盟理事長元道:通證發行與IC0融資沒有必然關系。
6.清華大學邢春曉:要抓住區塊鏈帶來的科技革命和產業變革機遇。
7.中國政法大學許曉東:哈希值校驗是可信時間戳和區塊鏈技術的基礎環節。
8.孟巖:對實體經濟的通證化道路提出四點建議。
9.中國農行私人銀行部副總裁:利用區塊鏈等技術加快實施數字化轉型。
10.伯克利大學經濟學教授:穩定幣并不能解決所有問題。
11.肖風:穩定幣技術在未來一年將會迅猛發展。
12.中國旅游研究院產業所副所長:區塊鏈未來會改變在線旅游的格局。
13.余額寶創始人周杰:通證經濟才是區塊鏈的血液。
14.螞蟻金服副總裁蔣國飛:更看好公鏈技術。[2018/9/30]
生態系統攻擊
98%的生態系統攻擊都使用了閃電貸。
Flashloan攻擊通常遵循以下公式:使用貸款進行大規模掉期,從而推高AMM上的代幣價格,而AMM將其用作價格饋送。然后,在同一筆交易中,使用膨脹的代幣作為抵押,獲得遠高于其真實價值的貸款。
4、何時執行黑客攻擊
數據集不夠大,無法從時間分布中得出有意義的趨勢。但我們可以看到,不同類型的攻擊在不同的時間更頻繁地發生。
2021年5月是生態系統攻擊的歷史新高。2021年7月的協議邏輯攻擊最多。2021年12月發生的基礎設施攻擊最多。很難判斷這些集群是否是巧合,或者它們是否是一個成功的成功案例,激勵同一演員或其他人專注于特定類別。
智能合約語言級別的漏洞利用是最罕見的。該數據集始于2020年,當時該類別中的大多數漏洞利用已經廣為人知,并且很可能很早就被發現。
隨著時間的推移,被盜資金的分布有四個主要峰值。2021年8月有一個高峰,這是由PolyNetwork黑客驅動的。2021年12月,由于大量基礎設施黑客攻擊導致私鑰遭到破壞,例如8ightFinance、Ascendex和VulcanForged,又出現了另一次高峰。然后,由于Ronin黑客攻擊,我們看到了2022年3月的歷史新高。最后的峰值是由BNBbridge被攻擊引起的。
5、黑客在哪里執行
根據托管資金被盜的合約或錢包的鏈來分割數據集。以太坊的黑客數量最多,占樣本組的45%。幣安智能鏈以20%位居第二。
造成這種情況的因素有很多:
以太坊和BSC的鎖定總價值最高,因此對于這些鏈上的黑客來說,獎金的規模更大。
大多數加密開發人員都知道Solidity,這是以太坊和BSC上選擇的智能合約語言,并且有更復雜的工具支持該語言
以太坊被盜的資金量最大,BSC位居第二。以太坊、BSC和Polygon上的資金被盜的黑客在一次事件中排名第三。這主要是因為PolyNetwork攻擊事件。
涉及跨鏈橋或多鏈應用的黑客對數據集有巨大影響。盡管只占事件的10%,這些黑客占了25.2億美元的被盜資金。
6、我們如何防止黑客入侵
對于威脅堆棧的每一層,我們可以使用一些工具來及早識別潛在的攻擊向量并防止攻擊發生。
基礎設施
大多數大型基礎設施黑客攻擊都涉及黑客獲取敏感信息,例如私鑰。遵循良好的運營安全(OPSEC)實踐并進行經常性威脅建模可降低發生這種情況的可能性。擁有良好OPSEC流程的開發人員團隊將:
識別敏感數據
識別可能的威脅
識別現有安全防御中的漏洞和弱點
確定每個漏洞的威脅級別
創建并實施計劃以減輕威脅
智能合約語言和協議邏輯
模糊測試
像Echidna這樣的模糊測試工具可以測試智能合約如何對大量隨機生成的交易做出反應。這是檢測特定輸入產生意外結果的邊緣情況的好方法。
靜態分析
靜態分析工具,如Slither和Mythril,自動檢測智能合約中的漏洞。這些工具對于快速挑出常見的漏洞是很好的,但它們只能抓住一組預定義的問題。如果智能合約有一個不在工具規范中的問題,它將不會被看到。
形式驗證
形式驗證工具,如Certora,會將智能合約與開發人員編寫的規范進行比較。該規范詳細說明了代碼應該做什么及其所需的屬性。例如,開發貸款應用程序的開發人員會指定每筆貸款都必須有足夠的抵押品支持。
如果智能合約的任何可能行為不符合規范,正式驗證者將識別該違規行為。
形式化驗證的弱點是,測試只和規范一樣好。如果所提供的規范沒有考慮到某些行為,或者過于寬松,那么驗證過程將無法捕獲所有的錯誤。
審計和同行評審
在審計或同行評審中,一個受信任的開發者小組將測試和評審項目的代碼。審計員會寫一份報告,詳細說明他們發現的漏洞以及如何修復這些問題的建議。
讓第三方專家審查合約是識別原團隊所遺漏的漏洞的一個好方法。然而,審計師也是人類動物,不可能發現所有的東西。另外,還必須對此信任,如果審計師發現了問題,他們會告訴你,而不是自己去利用它。
生態系統攻擊
令人沮喪的是,盡管生態系統攻擊是最常見和最具破壞性的變體,但工具箱中并沒有多少工具適合防止這些類型的攻擊。
自動化安全工具專注于一次發現一個聯系人中的錯誤。審計通常無法解決如何利用生態系統中多個協議之間的交互。
Forta和TenderlyAlerts等監控工具可以在發生可組合性攻擊時發出預警,以便團隊采取行動。但在閃電貸攻擊期間,資金通常在單筆交易中被盜,因此任何警報都來得太晚,無法防止巨額損失。
威脅檢測模型可用于在內存池中查找惡意交易,其中交易位于節點處理之前,但黑客可以通過使用flashbots等服務將交易直接發送給礦工來繞過這些檢查。
7、加密安全未來預測
1)我相信最好的團隊將從將安全視為基于事件的實踐轉變為一個持續的實踐過程。他們將:
對主代碼庫的每個添加運行靜態分析和模糊測試。
在每次重大升級時運行形式驗證。
使用響應操作設置監控和警報系統。
讓一些團隊成員專門負責制定和維護安全自動化和攻擊響應計劃。
安全性不是一組要填寫和擱置的復選框。安全工作不應在審計后結束。在許多情況下,例如Nomadbridgehack,漏洞利用是基于審計后升級中引入的錯誤。
2)加密安全社區應對黑客攻擊的流程將變得更有條理和精簡。每當發生黑客攻擊時,貢獻者就會涌入渴望提供幫助的加密安全群組聊天,但缺乏組織意味著重要的細節可能會在混亂中丟失。我看到未來其中一些群聊會轉變為更結構化的組織:
使用鏈上監控和社交媒體監控工具快速檢測主動攻擊。
使用安全信息和事件管理工具來協調工作。
獨立的工作流,有不同的渠道來溝通白黑客工作、數據分析、根本原因理論和其他任務。
撰文:WillWang肖小跑,墻裂壇前陣子的新聞:“Tiffany”升級成了“NFTiff”。現實世界主動擁抱虛擬世界,讓在虛擬世界中持有CryptoPunkNFT的人,有資格買到一款由現實世界.
1900/1/1 0:00:00作者:einpresswireSnoopDogg(Dr.Bombay)與CordellBroadus(ChampMedici)將在新加坡線下畫廊第一次向世人展示其NFT藝術收藏.
1900/1/1 0:00:00鏈捕手消息,據TheBlock報道,比特幣礦業流動性DeFi協議BlockGreen完成370萬美元種子輪融資,PeterThiel的FoundersFund領投.
1900/1/1 0:00:00鏈捕手消息,ConsenSys和去中心化社區BanklessDAO宣布計劃開發世界上第一個DAOlationship.
1900/1/1 0:00:00鏈捕手消息,BNBChain官方橋BinanceBridge遭遇黑客攻擊,BNBChain官方發推表示,由于活動異常,已經暫停BNBChain的運行.
1900/1/1 0:00:00鏈捕手消息,據中國新聞網援引臺灣《中央社》報道,臺灣一個以28歲林姓男子為首的吸金集團,涉嫌以每月獲利4%高報酬話術,吸引被害人投資虛擬貨幣,2年來經手金流破億元(新臺幣,下同).
1900/1/1 0:00:00