以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads

黑客事件頻發 請收下這篇Crypto防盜指南_BSP

Author:

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

黑暗森林中的攻擊手法和防范措施。

本文來自 Medium,原文作者:Kofi Kufuor,由 Odaily 星球日報譯者 Katie 辜編譯。

黑客今年從加密應用程序中竊取了 20 多億美元。國慶期間,行業又經歷了 TokenPocket 閃兌服務商被盜(損失超 2100 萬美元)和 BNB  Chain 跨鏈 橋 BSC Token Hub 遭攻擊(損失約 5.66 億美元)的加密盜竊事件。

隨著加密生態系統的發展,安全攻防戰只會越演越烈。因此,本文將:

提出加密安全事件的分類法;

列舉出迄今為止讓黑客最賺錢的攻擊手段;

回顧當前用于防止黑客攻擊的工具的優缺點;

討論加密安全的未來。

加密應用生態系統由互操作協議組成,由智能合約支持,依賴于鏈和互聯網的底層基礎設施。此堆棧的每一層都有其獨有的漏洞。我們可以根據利用的堆棧層和使用的方法對加密黑客進行分類。

對基礎設施層的攻擊利用了加密應用程序的底層系統中的弱點:依賴用于達成共識的區塊鏈、用于前端的互聯網服務和用于私鑰管理的工具。

安全團隊:針對Wintermute損失1.6億美元黑客事件,建議項目方移除相關地址管理權限:金色財經報道,2022年9月20日,據Beosin EagleEye監測顯示,Wintermute在DeFi黑客攻擊中損失1.6億美元,Beosin 安全團隊發現,攻擊者頻繁的利用0x0000000fe6a...地址調用0x00000000ae34...合約的0x178979ae函數向0x0248地址(攻擊者合約)轉賬,通過反編譯合約,發現調用0x178979ae函數需要權限校驗,通過函數查詢,確認0x0000000fe6a地址擁有setCommonAdmin權限,并且該地址在攻擊之前和該合約有正常的交互,那么可以確認0x0000000fe6a的私鑰被泄露。結合地址特征(0x0000000),疑似項目方使用Profanity工具生成地址。該工具在之前發的文章中,已有安全研究者確認其隨機性存在安全缺陷(有暴力破解私鑰的風險),導致私鑰可能泄漏。

Beosin 安全團隊建議:1.項目方移除0x0000000fe6a地址以及其他靚號地址的setCommonAdmin/owner等管理權限,并使用安全的錢包地址替換。2.其他使用Profanity工具生成錢包地址的項目方或者用戶,請盡快轉移資產。Beosin Trace正在對被盜資金進行分析追蹤。[2022/9/20 7:08:40]

這一層的黑客利用了智能合約語言(如 Solidity)的弱點和漏洞,例如可重入性(reentrancy)和實現委托調用(delegatecall)的危險,這些可以通過遵循安全規范來規避。

CremaFinance:找到了黑客在黑客事件中使用的可疑discord賬戶:金色財經報道,CremaFinance在社交媒體上稱,根據合作伙伴提供的線索,我們找到了黑客在黑客事件中使用的可疑discord賬戶。我們正在與有關方面接觸,以獲得更多可能有助于偵查的信息。

金色財經此前報道,CremaFinance被黑客攻擊損失約880萬美元。[2022/7/4 1:50:09]

這類攻擊利用單個應用程序業務邏輯中的錯誤。如果黑客發現了一個錯誤,他們可以利用這個錯誤觸發應用程序開發者沒有預料到的行為。

例如,如果一個新的 DEX 在決定用戶從交易中獲得多少錢的數學方程中出現了錯誤,那么這個錯誤就可以被利用,使用戶從交易中獲得比本應可能獲得的更多的錢。

協議邏輯級攻擊還可以利用用于控制應用程序參數的治理系統。

許多知名的加密黑客利用了多個應用程序之間的交互。最常見的是黑客利用一個協議中的邏輯錯誤,利用從另一個協議借來的資金來擴大攻擊規模。

通常,用于生態系統攻擊的資金是通過閃電貸(flashloan)借來的。在執行閃電貸時,你可以從 Aave  和 dYdX  等協議的流動性池中借到你想要的金額。

我收集了 2020 年以來 100 起規模最大的加密貨幣黑客攻擊的數據集,被盜資金總計 50 億美元。

生態系統受到的攻擊最為頻繁。他們占 41%。

安全公司:年度最大DeFi黑客事件Poly Network遭受攻擊源頭已找到:對于跨鏈互操作協議Poly Network遭受攻擊事件,成都鏈安技術團隊經過深度分析已找到攻擊的源頭。該筆交易對應的跨鏈交易由本體鏈上f771ba開頭的這筆交易發出,并定位到本體鏈上AM2W2L開頭的攻擊者地址。攻擊者在ONT鏈上進行攻擊嘗試發現有效后,通過這筆f771ba開頭的地址交易批量向多個鏈發起更改Keeper的跨鏈消息,然后BSC鏈的relayer 0xa0872c79開頭地址率先處理了該筆跨鏈交易,并將keeper設置為攻擊者指定的以0xa87開頭的地址。

接著Ethereum、Polygon兩條鏈上攻擊者重放了BSC鏈的 relayer所使用的有效簽名。Keeper地址更改為自己的地址后,攻擊者使用自己可控的Keeper發起了提幣交易,轉移了跨鏈池中的資產。此處攻擊成功表明PolyNetwork在對跨鏈交易事件的驗證存在缺陷,導致了惡意的跨鏈消息被接收并在對應的鏈上進行了跨鏈消息所指定的操作。[2021/8/11 1:49:10]

協議邏輯漏洞導致了最多的金錢損失。

金額最大的三個攻擊:Ronin 跨鏈橋攻擊(6.24 億美元),Poly Network 攻擊(6.11 億美元)和 BSC 跨鏈橋攻擊(5.7 億美元)。

美聯邦調查局對推特黑客事件另一策劃者實行搜查令:9月1日,美國聯邦調查局對推特黑客事件的另一名策劃者施行搜查令。調查顯示,該16歲少年(因年齡未受指控,目前命名該少年)當時假扮成推特員工或承包商,以欺騙用戶將登錄憑據輸入假網站然后獲取相關信息,并與事件主要策劃者Graham Ivan Clark合作進行了相關襲擊。此前消息,7月16日凌晨,拜登、奧巴馬等眾多名人推特被黑并發布數字貨幣釣魚騙局。此前已有三名涉嫌參與者Mason Sheppard、Nima Fazeli、Graham Clark被起訴。(cointelegraph)[2020/9/2]

如果排除前三大攻擊,則針對基礎設施的被盜案件是損失資金最多的類別。

在 61% 的基礎設施漏洞中,私鑰是通過未知的方式泄露的。黑客可能通過網絡釣魚郵件和虛假招聘廣告等社會攻擊獲得這些私鑰。

可重入性攻擊是智能合約語言級別上最熱門的攻擊類型。

在可重入攻擊中,易受攻擊的智能合約中的函數調用惡意合約上的一個函數。或者,當易受攻擊的合約向惡意的合約發送代幣時,可以觸發惡意合約中的函數。然后,在合約更新其余額之前,惡意函數在遞歸循環中回調易受攻擊的函數。

推特黑客事件策劃者Graham Clark此前曾進行過游戲道具交易詐騙:推特黑客事件策劃者Graham Clark的朋友向媒體表示,在黑客事件發生前,Clark曾多次進行過游戲道具交易詐騙,即聲稱向其他玩家“出售”Minecraft中的道具,但在收錢后拒不交貨。

注:美國司法部上周五宣布,三名涉嫌參與著名社交網站推特(Twitter)賬戶大規模被盜事件的黑客Mason Sheppard、Nima Fazeli、Graham Clark已被起訴。(Techspot)[2020/8/4]

例如,在 Siren Protocol 黑客攻擊中,提取質押品代幣的函數很容易被重入,并被反復調用(每次惡意合約接收代幣時),直到所有質押品耗盡。

協議層上的大多數漏洞都是特定應用程序獨有的,因為每個應用程序都有唯一的邏輯(除非它是純分叉 )。

訪問控制錯誤是樣本組中最常見的重復出現的問題。例如,在 Poly Network 黑客事件中,“EthCrossChainManager” 合約有一個任何人都可以調用的功能來執行跨鏈交易。

注意:有很多情況下,多個協議使用相同的技術會被黑客攻擊,因為團隊分叉了一個有漏洞的代碼庫。

例如,許多 Compound  分叉,如 CREAM、Hundred Finance 和 Voltage Finance 都成為了重入性攻擊的受害者,因為 Compound 的代碼在允許交互之前無需檢查交互的效果。這對 Compound 來說很有效,因為他們審查了他們支持的每個新代幣的漏洞,但制作分叉的團隊并沒有這么做。

98% 的生態系統攻擊中都使用了閃電貸。

閃電貸攻擊通常遵循以下公式:使用貸款進行大規模交易,推高貸款協議用作喂價( price feed)的 AMM 上的代幣價格。然后,在同一筆交易中,使用膨脹的代幣作為質押品,獲得遠高于其真實價值的貸款。

根據失竊的合約或錢包所在的鏈對數據集進行分析。以太坊的黑客數量最多,占樣本組的 45%。幣安 智能鏈(BSC)以 20% 的份額位居第二。

造成這種情況的因素有很多:

以太坊和 BSC 擁有最高的 TVL(在應用程序中存入的資金),所以對這些鏈上的黑客來說,獎勵的規模更大。

大多數加密貨幣開發人員都知道 Solidity,這是以太坊和 BSC 上的智能合約語言,而且有更復雜的工具支持該語言。

以太坊的被盜資金最多(20 億美元)。BSC 位居第二(8.78 億美元)。

涉及跨鏈橋或多鏈應用程序(例如多鏈交易或多鏈借貸)對數據集產生了巨大的影響。盡管這些黑客事件只占總數的 10%,但卻竊取了 25.2 億美元的資金。

對于威脅堆棧的每一層,我們都可以使用一些工具來早期識別潛在的攻擊載體并防止攻擊的發生。

大多數大型基礎設施黑客攻擊都涉及黑客獲取諸如私鑰等敏感信息。遵循良好的操作安全(OPSEC)步驟并進行經常性的威脅建模可以降低這種情況發生的可能性。擁有良好 OPSEC 流程的開發團隊可以:

識別敏感數據(私鑰、員工信息、API 密鑰等);

識別潛在的威脅(社會攻擊、技術利用、內部威脅等);

找出現有安全防御的漏洞和弱點;

確定每個漏洞的威脅級別;

制定并實施減輕威脅的計劃。

1. 模糊測試工具

模糊測試工具,如 Echidna,測試智能合約如何對大量隨機生成的交易做出反應。這是檢測特定輸入產生意外結果的邊緣情況的好方法。

2. 靜態分析

靜態分析工具,如 Slither 和 Mythril,自動檢測智能合約中的漏洞。這些工具非常適合快速找出常見的漏洞,但它們只能捕獲一組預定義的問題。如果智能合約存在工具規范中沒有的問題,也不會被發現。

3. 形式化驗證

形式化驗證工具,如 Certora,將比較智能合約與開發人員編寫的規范。該規范詳細說明了代碼應該做什么以及所需的屬性。例如,開發人員在構建一個貸款應用程序時,會指定每筆貸款都必須有足夠的質押品支持。如果智能合約的任何可能行為不符合規范,則形式化驗證者將識別該違規行為。

形式化驗證的缺點是測試只和規范保持一樣的標準。如果所提供的規范沒有說明某些行為或過于寬松,那么驗證過程將無法捕獲所有的錯誤。

4. 審計和同行評審

在審計或同行評審期間,一組受信任的開發人員將測試和評審項目代碼。審計員將撰寫一份報告,詳細說明他們發現的漏洞,以及如何修復這些問題的建議。

讓專業的第三方評審合約是發現原始團隊遺漏的漏洞的好方法。然而,審核員也是人,他們永遠不會捕抓到所有漏洞。此外要信任審計員,如果審計員發現了問題,他們會告訴您,而不是自己利用它。

5. 生態系統攻擊

盡管生態系統攻擊是最常見和最具破壞性的類型,現有工具中沒有很多工具適合防止這類攻擊。自動安全工具專注于每次在一個合約中查找錯誤。審計通常無法解決如何利用生態系統中多個協議之間的交互。

像 Forta 和 tenerly Alerts 這樣的監視工具可以在發生組合性攻擊時提供早期警告,以便團隊采取行動。但在閃電貸攻擊中,資金通常在單筆交易中被盜,因此任何預警都太晚了,無法防止巨大損失。

威脅檢測模型可以用來發現內存池中的惡意交易,在節點處理它們之前,交易就存在于內存池中,但黑客可以通過使用 flashbot 等服務直接將交易發送給礦工,從而繞過這些檢查。

我對加密安全的未來有兩個預測:

1. 我相信最好的團隊將從把安全視為基于事件的實踐(測試->同行評審->審核)轉變為將其視為一個連續的過程。他們將:

對主代碼庫中的每一個新增代碼執行靜態分析和模糊處理;

對每一次重大升級都進行正式驗證;

建立具有響應動作的監視和警報系統(暫停整個應用程序或受影響的特定模塊);

讓一些團隊成員制定和維護安全自動化和攻擊響應計劃。

安全工作不應在審計后結束。在許多情況下,例如 Nomad 跨鏈橋黑客攻擊,其漏洞是基于審計后升級中引入的錯誤。

2. 加密安全社區應對黑客攻擊的過程將變得更有組織和精簡。每當黑客攻擊發生時,貢獻者就會涌入加密安全群組聊天,渴望提供幫助,但缺乏組織意味著重要細節可能會在混亂中丟失。我認為在未來,這些群聊將轉變成更有條理的組織形式:

使用鏈上監控和社交媒體監控工具,快速檢測主動攻擊;

使用安全信息和事件管理工具協調工作;

采取獨立的工作流程,使用不同的渠道溝通黑白客的工作、數據分析、根本原因和其他任務。

Odaily星球日報

媒體專欄

閱讀更多

金色財經Maxwell

金色薦讀

FastDaily

中國金融雜志

巴比特資訊

元宇宙之道

吳說Real

Tags:BSPNBSBSC0X0BSPAY價格nbs幣前景MoonTrustBSC0X0價格

加密貨幣
zkSync 2.0:首個兼容EVM的zkRollup_ZKS

我能否將你比作夏天? 你有著更強的可擴展性和安全性。狂風摧殘著五月新萌芽的意志, 夏天總是倏忽而逝.

1900/1/1 0:00:00
迪士尼藝術家全球獨家首發「Fairyspell精靈女孩」數字頭像_NFT

2020年被稱為“人類社會虛擬化的臨界點”,無數青年人在虛擬世界中進行開放式探索,通過創造性的游玩尋找與現實世界的連通.

1900/1/1 0:00:00
以太坊MEV黑暗森林發展史:從Gas戰爭到PBS_MEV

原文作者:pseudotheos 原文編譯:DeFi 之道Domothy 和我合著了這篇文章.

1900/1/1 0:00:00
如何劃分民事責任:NFT發售平臺跑路 買家藏品失蹤_數字貨幣

今年4月以來,曾經迅速火到匪夷所思的元宇宙數字藏品行業正持續經歷斷崖式降溫。周歲即夭折,正是騰訊旗下幻核——數字藏品發售平臺的命運,也給這個新興賽道澆了一頭冰水.

1900/1/1 0:00:00
以太坊新質押模型并不能代表 ETH 可被視為證券_以太坊

來源:老雅痞 1. 簡介 在以太坊過渡到權益證明共識機制(「合并」)之后,不同的評論家認為,以太坊的新質押模式可能導致其原始Token以太坊(ETH)被視為美國證券法下的證券.

1900/1/1 0:00:00
王思聰入局 五天產生近75萬個簽 能為數字藏品帶來第二春嗎?_MINT

近日,一家名為“名堂MintTang”的數藏平臺正式上線,其發售的第一款產品自10月9日開放預約至9月13日公布中簽結果,在短短五天內,共產生了74.8萬個簽號.

1900/1/1 0:00:00
ads