“首次去中心化搶劫”:還原Nomad被攻擊始末

8月2日7時,加密KOL @0xfoobar發推稱,跨鏈互操作性協議Nomad橋正在被黑客攻擊,WETH和WBTC正以每次百萬美元的頻次轉出,合約中仍有1.26億美元可能存在風險。提醒用戶盡快提取資金。最近的一次就有1萬枚以太坊(約合1600萬美元)轉出,Nomad橋還有8000萬美元的USDC正在流出。

Nomad官方團隊稱,已知曉涉及Nomad 代幣橋的事件,目前正在調查中。受該事件影響,Moonbeam稱:Moonbeam 網絡已進入維護模式,以調查網絡上部署的智能合約的安全事件。在此期間,功能將受到限制,用戶將無法執行常規用戶交易和智能合約交互。治理、質押、取消暫停和升級的能力將繼續有效。

截至目前,據defillama數據顯示,Nomad TVL 中超過1.9 億美元的加密貨幣在幾小時內被撤出,錢包中目前僅剩5336美元。 Terra研究員FatMan評論此次攻擊事件稱,這是以真正的加密方式——第一次去中心化的搶劫。

對此,投資機構Paradigm研究員@samczsun試圖還原黑客攻擊的全過程:

1,一切都開始於@officer_cia分享@spreekaway ETH Security Telegram 頻道的推文。儘管當時並不知道發生了什麼事,但從橋上撤離的大量資產來看顯然是一個不好的信號。

2,第一個想法是代幣的小數點配置有誤。畢竟,橋上好像在運行“發送0.01 WBTC,返還100 WBTC”的促銷活動。

“首次去中心化搶劫”:還原Nomad被攻擊始末

3,然而,在Moonbeam 網絡上進行了一些手動挖掘之後,確認雖然Moonbeam 交易確實橋接了0.01 WBTC,但以太坊交易以某種方式橋接了100 WBTC。

4,此外,在WBTC 中橋接的交易實際上並沒有證明什麼。它只是直接調用了`process`。可以說,能夠在不首先證明的情況下處理消息是非常不好的

“首次去中心化搶劫”:還原Nomad被攻擊始末

5,在這一點上,有兩種可能性。要么是在較早的區塊中單獨提交了證明,要么是Replica 合約存在嚴重錯誤。但是,絕對沒有跡象表明最近有任何事情被證明。

6, 這只剩下一種可能性——副本合約存在致命缺陷。但是怎麼做?快速瀏覽表明提交的消息必須屬於可接受的根。否則,第185 行的檢查將失敗。

7,幸運的是,有一種簡單的方法可以檢查這個假設。知道沒有被證明的消息的根是0x00,因為messages[_messageHash] 將未初始化。接下來所要做的就是檢查合同是否會接受它作為根。

8,事實證明,在例行升級期間,Nomad 團隊將可信根初始化為0x00。需要明確的是,使用零值作為初始化值是一種常見的做法。不幸的是,在這種情況下,它具有自動驗證每條消息的微小副作用。

9,這就是黑客如此混亂的原因——你不需要了解Solidity 或Merkle Trees 或類似的東西。你所要做的就是找到一個有效的交易,用你的地址找到/替換對方的地址,然後重新廣播它。

10,例行升級將零哈希標記為有效根,這具有允許在Nomad 上欺騙消息的效果。攻擊者濫用它來複製/粘貼交易,並在瘋狂的混戰中迅速耗盡了橋。

A16z應用安全成員Matt Gleason發推介紹了Nomad 被攻擊的原因:

Nomad 橋以與Qubit 的QBridge 類似的方式獲得。橋的不安全配置導致特定路徑允許發送任何事務。錯誤出現在Replica 的“進程”函數中。

Process 旨在確保消息已被證明,然後處理該消息,這通常應該沒問題。

它使用acceptableRoot 來執行此操作,它將檢查根是否已被證明或在當前時間之前已被確認。

圖片出現這個問題是因為在solidity 中,如果一個映射鍵在此之前沒有被看到,那麼它將默認為零,從而導致嘗試確認根值為零。但是,由於它們初始化時使用的是0 的confirmed Root ,這意味著零在技術上是一個已確認的根。

因此,系統會接受任何以前從未見過的消息,並將其當作真實消息來處理,這意味著你所需要做的就是要求所有的橋的錢,你就會得到它。

Paradigm工程師@ParadigmEng420發推提醒用戶如果在Nomad 、Evmos、Moonbeam、Milkomeda有任何資金,需要交換出游牧資產,並使用不同的跨鏈橋,盡快回到以太坊或另一個鏈。他還指出,Nomad 暫停了中繼器,並試圖使用觀察者審查所有橋接交易,但是,這可能沒什麼幫助,因為漏洞利用是在合同方面而不是在基礎設施方面。

OKEX下載,歐易下載,OKX下載

okex交易平台app下載

Total
0
Shares
Related Posts