前言
北京時間2021年8月10日,跨鏈橋項目PolyNetwork遭遇攻擊,損失超過6億美金。雖然攻擊者在后續償還被盜數字貨幣,但是這仍然是區塊鏈歷史上涉及金額最大的一次攻擊事件。由于整個攻擊過程涉及到不同的區塊鏈平臺,并且存在合約以及Relayer之間的復雜交互,對于攻擊的完整過程和漏洞的根本原因,現有分析報告并未能梳理清楚。
整個攻擊分為兩個主要階段,包括修改keeper簽名和最終提幣。對于第二階段,由于keeper簽名已經被修改,因此攻擊者可以直接構建惡意提幣交易,具體可以參見我們之前的報告。然而對于修改keeper簽名的交易是如何最終在目標鏈執行的,目前并沒有詳細的文章闡明。而這一步是攻擊的最核心步驟。
本報告從修改keeper簽名交易入手(Ontology鏈上交易0xf771ba610625d5a37b67d30bf2f8829703540c86ad76542802567caaffff280c),分析了背后的原理和漏洞的本質。我們發現以下幾個原因是Keeper能被修改的原因:
源鏈上(Ontology)的relayer沒有對上鏈的交易做語義校驗,因此包含修改keeper惡意交易可以被打包到polychain上
目標鏈上(以太坊)上的relayer雖然對交易做了校驗,但是攻擊者可以直接調用以太坊上的EthCrossChainManager合約最終調用EthCrossChainData合約完成簽名修改
攻擊者精心夠著了能導致hash沖突的函數簽名,從而調用putCurEpochConPubKeyBytes完成對簽名的修改
CoinDesk將在Polygon上發行新的DESK代幣:金色財經報道,CoinDesk宣布將在重新推出其社交代幣DESK,并在Consensus 2022中投入使用。6 月 9 日至 12 日在德克薩斯州奧斯汀舉行的活動的參加者將能夠通過在注冊時領取徽章、參觀參展商攤位或加入 CoinDesk 重新啟動的 Discord 等方式來獲取 DESK 。DESK 可在活動中兌換一系列獎勵。
DESK 將基于 Polygon 發行,且不是完全去中心化的代幣,CoinDesk 可能會調整 DESK 的供應量。在 Consensus 2022 之后,CoinDesk 計劃將 DESK 作為一項參與獎勵計劃擴展至更廣泛的受眾,包括未來的活動參與者、新聞服務和研究報告的讀者、電視觀眾和播客聽眾等。[2022/5/24 3:36:56]
涉及交易和合約
整個過程中的交互流程如下:
Ontology交易->OntologyRelayer->PolyChain->EthereumRelayer->Ethereum
以太坊
0x838bf9e95cb12dd76a54c9f9d2e3082eaf928270:EthCrossChainManager
0xcf2afe102057ba5c16f899271045a0a37fcb10f2:EthCrossChainData
0x250e76987d838a75310c34bf422ea9f1ac4cc906:LockProxy
CargoX宣布推出基于Polygon的區塊鏈文檔傳輸平臺:官方消息,CargoX宣布推出區塊鏈文檔傳輸平臺,并借助以太坊側鏈擴容方案Polygon進行交易,支持60多種類型的文檔,其中包括財務信用證,合同,證書和其他可能需要轉移的文檔。[2021/5/21 22:30:08]
0xb1f70464bd95b774c6ce60fc706eb5f9e35cb5f06e6cfe7c17dcda46ffd59581:修改keeper的交易
Ontology
0xf771ba610625d5a37b67d30bf2f8829703540c86ad76542802567caaffff280c:修改keeper的交易
Poly
0x1a72a0cf65e4c08bb8aab2c20da0085d7aee3dc69369651e2e08eb798497cc80:修改keeper的交易
攻擊流程
整個攻擊大致可以分為三個步驟。第一個步驟是在Ontology鏈生成一條惡意交易(0xf771ba610625d5a37b67d30bf2f8829703540c86ad76542802567caaffff280c),第二個步驟是修改以太坊EthCrossChainData合約中的keeper簽名,第三個步驟構造惡意交易發起最終攻擊和提幣。
步驟一
攻擊者首先在Ontology發起了一筆跨鏈交易,里面包含了一個攻擊payload:
動態 | ChainSafe 發布用于 Polkadot 驗證人簽名算法的 Go 語言實現 Go-Schnorrkel:加拿大科技公司 ChainSafe 發布使用 sr25519 簽名算法的 Go 語言實現 Go-Schnorrkel。ChainSafe 表示,Go-Schnorrkel 由 ChainSafe 工程師 Elizabeth 編寫,Go-Schnorrkel 是 ChainSafe Gossamer 開發的重要一步,Gossamer 是 Polkadot 運行時環境的第二個實現,驗證人將使用 Gossamer 執行簽名職責,并通常在 Gossamer 生態系統內簽署交易。Go-Schnorrkel 包括分層密鑰派生功能,允許用戶從種子密鑰對創建多個密鑰對,同時還包括用于從助記詞創建密鑰對的 substrate-bip39。Go-Schnorrkel 于近期完成升級,完成一個可驗證的隨機函數(VRF)功能的實現,該功能將幫助節點用來證明可以為特定插槽創作特定區塊。ChainSafe 同時表示,感謝 Cosmos 的研究員 Sunny Aggarwal 在 substrate-bip39 中提供幫助。[2020/1/25]
可以看出交易包含了精心設計的函數名,目的在于通過造成哈希沖突的方式調用putCurEpochConPubKeyBytes函數。關于哈希函數沖突的細節在網絡上已有很多討論,可以參考.
動態 | 近5000枚BTC轉入Poloniex交易所,價值4014.34萬美元:Whale Alert數據監測,北京時間11月21日08:52, 4999.98枚BTC從1M3Y4d開頭的未知地址轉入Poloniex交易所地址,按當前價格計算,價值約4014.34萬美元,交易哈希為:ad41be400222aaec3523b191147b8e0689424982d38a6a9aa7d0b7bce7feac9d。[2019/11/21]
隨后,該筆交易被OntologyRelayer接收,注意這里并沒有很嚴格的校驗。該交易會通過Relayer在PolyChain成功上鏈。EthereumRelayer會感知到新區塊的生成。
然而,這筆交易被EthereumRelayer拒絕了。原因在于EthereumRelayer對目標合約地址有校驗,只允許LockProxy合約作為目標地址,而攻擊者傳入的是EthCrossChainData地址。
因此,攻擊者攻擊之路在此中斷。但如前所述,包含惡意payload的攻擊交易已經在PolyChain成功上鏈,可被進一步利用。
步驟二
攻擊者手動發起交易,調用EthCrossChainManager合約中的verifyHeaderAndExecuteTx函數,將之前一步保存在PloyChain區塊中的攻擊交易數據作為輸入。由于該區塊是polychain上的合法區塊,因此可以通過verifyHeaderAndExecuteTx中對于簽名和merkleproof的校驗。然后執行EthCrossChainData合約中的putCurEpochConPubKeyBytes函數,將原本的4個keeper修改為自己指定的地址。
公告 | Poloniex暫時禁用ZEC錢包:據官方消息,由于ZEC錢包維修,Poloniex暫時禁用ZEC錢包,并爭取于下周初恢復使用。[2019/7/21]
步驟三
在keeper被修改之后,攻擊者直接調用目標鏈上的verifyHeaderAndExecuteTx函數,最終調用至Unlock函數,大量地轉移資金,給項目方帶來了嚴重的損失。具體的攻擊細節可參考我們之前的報告。
Relayer代碼分析
在本攻擊過程中,Ontology方和以太坊方均有Relayer負責將來自Ontology的交易在polyChain上鏈,以及將polychain上的交易放到以太坊。這兩個Relayer是由Go語言實現的服務進程。
然而我們發現,這兩個Relayer都缺乏有效的校驗。這導致
攻擊者可以在Ontology構造一條惡意的跨鏈交易,并且成功打包到polychain上。
雖然在以太坊的Relayer具有校驗功能,但是攻擊者可以直接同以太坊上的鏈上合約進行交互,直接執行惡意的函數。
OntologyRelayer完全信任來自Ontology上的跨鏈交易
PolyNetwork的?ont_relayer(https://github.com/polynetwork/ont-relayer)?負責監聽Ontology鏈上的跨鏈交易并將其打包入傳入PolyChain.
注:
在OntologyRelayer中,Side指OntologyChain;Alliance指PolyChain.
CrossChainContractAddress是Ontology鏈上原生編號為09的智能合約.
上圖中,OntologyRelayer啟動時開啟三個Goroutines分別負責監聽OntologyChain和PolyChain的跨鏈交易,以及對PolyChain上的跨鏈交易做狀態檢查。在本報告中,我們只關注69行的監聽Side的代碼邏輯。
在上圖中,OntologyRelayer調用Ontology鏈提供的RPC接口(第215行,調用SDK函數GetSmartContractEventByBlock)獲取區塊中觸發的智能合約事件;然后在第228和232行表明OntologyRelayer只監聽OntologyChain上由CrossChainContractAddress觸發的makeFromOntProof事件;
上圖中,在處理OntologyChain上的跨鏈交易時,OntologyRelayer總共做了五次校驗,分別是兩次向OntologyChain發送的RPC請求校驗(check1和check4),以及三次參數是否為空的校驗(check2,check3,和check5)。這五次校驗都屬于常規校驗,并未對來自OntologyChain上的跨鏈交易做語義上的校驗;第167和171行取出了在目標鏈上執行所需要的交易參數信息;第183行向PolyChain發送交易;
OntologyRelayer在構造了PolyChain上的交易后便向PolyChain發起RPC請求發送交易(第164行,函數調用SendTransaction);
這個名為ProcessToAliianceCheckAndRetry的Goroutine也僅僅是做了重發失敗交易的工作,仍然未對來自OntologyChain上的跨鏈交易做任何語義上的校驗。
至此,我們可以看出ont-relayer監聽所有來自OntologyChain由CrossChainContractAddress觸發的makeFromOntProof事件,并未對其做任何語義上的校驗,便向PolyChain轉發了交易。而任何人向Ontology發送的任何跨鏈交易都會觸發CrossChainContractAddress的makeFromOntProof事件,所以OntologyRelayer會將所有來自Ontology上的跨鏈交易都轉發到Polychain上。
EthereumRelayer中的無效校驗
EthereumRelayer?負責監聽PolyChain并將目標鏈為Ethereum的跨鏈交易轉發到Ethereum上。
EthereumRelayer啟動一個Goroutine來監控PolyChain;
EthereumRelayer監聽所有PolyChain上目標鏈為Ethereum的跨鏈交易;EthereumRelayer會校驗跨鏈交易的目標合約是否為config.TargetContracts中指定的合約之一,如果不是則不會發送這筆跨鏈交易到Ethereum上。
雖然EthereumRelayer對PolyChain上的跨鏈交易做了部分校驗,比如限制了目標合約,但是與PolyChain不同,任何人都可以向Ethereum上的EthCrossChainManager合約發送交易。換句話說,EthereumRelayer在這里做的校驗沒有實際的意義,只要包含惡意payload的跨鏈交易被成功打包進了PolyChain,那么任何人都可以直接使用已經打包好的區塊數據將payload發送到以太坊EthCrossChainManager合約并執行。
攻擊者正是利用了上述兩個缺陷,完成了攻擊流程中的步驟一和步驟二。
寫在最后
通過對整個攻擊流程的完整梳理和詳盡分析,我們認為Relayer的不完整校驗是攻擊得以發生的根本原因。其它方面則更多地屬于比較精彩的攻擊技巧。總而言之,跨鏈的校驗和鑒權是跨鏈系統安全的關鍵所在,值得社區付出更多的努力。
Tags:ChainHAICHAAINbankquickchainzoschainXenchainVikingsChain
上周,一則消息引發了NFT市場不小的波動。佳士得工作人員NoahDavis在CryptoPunk的Discord群組中透露,佳士得將拍賣CryptoPunks、BoredApeYachtClub.
1900/1/1 0:00:00拜登政府最近正在通過一項一萬億美金的基礎建設法案,其中有一些條款涉及到加密貨幣行業。Compound的首席顧問律師JakeChervinsky在推特上對此做了一些總結和提醒,簡單翻譯了一下,下面.
1900/1/1 0:00:00期待已久的EIP1559的升級,也被稱為倫敦硬分叉。倫敦升級為以太坊區塊鏈引入了大約5個新的重大變化.
1900/1/1 0:00:00今天,越來越多的企業開始探討數字化轉型,希望借助新技術保障企業可持續發展并能夠對外部的商業機會有更深刻的洞察。而這股企業數字化浪潮早在全球疫情大爆發以前就開始興起并一直延續至今.
1900/1/1 0:00:0008-09-2021 周報摘要: 1、?BTC和ETH交易所儲備余額繼續下行,提幣趨勢仍在延續,買盤不斷增加的需求是促進幣價上行的主要動力.
1900/1/1 0:00:00Coinbase首席執行官BrianArmstrong今日發推表示,有幾個關鍵時刻決定了加密的未來.
1900/1/1 0:00:00