比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads
首頁 > 酷幣 > Info

CHA:DoDo Research:從合約層面解析跨鏈橋機制設計弱點_Chain

Author:

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

近期BNB跨鏈橋受攻擊,導致近$570M損失。這一事件再次把跨鏈橋的安全性問題推上熱議。根據Messari8月的研報數據,過去一年內共有8起跨鏈橋攻擊事件,構成將近$2B美金的資產損失。

Dr.DODO今天通過深度分析PolyNetwork,Multichain及BNB橋事件,從合約層面展示跨鏈橋機制設計弱點。

首先,讓我們簡要回顧跨鏈橋的基本概念,以及設計機制分類。

不同的公鏈如同孤立的無需許可的計算機,具有不同的共識機制,相互之間無法直接通訊。跨鏈橋的存在就是為了使信息能夠不被篡改地從一個計算機傳遞到另一個計算機上。

跨鏈橋的核心是解決一個共識問題:跨鏈橋如何確定源鏈上的狀態已發生改變,進而在目標鏈上鑄造等量的資產?

不同的跨鏈橋對這個共識問題有不同解決方案,如采用中心化的橋,委員會,PoS機制,輕客戶端等。而不同的解決方案在信息傳遞的安全性,成本,延遲性上有所取舍。

Sui開發團隊:5月15日起將有15個游戲合作伙伴在Sui上線游戲:金色財經報道,Sui開發團隊Mysten Labs宣布,5月15日起將有15個游戲合作伙伴在Sui區塊鏈上線游戲,包括Worlds Beyond、LuckyKat:Cosmocadia和Aether Games:Cardsof Ethernity等。Sui合作的游戲公司包括Orange Comet、Netmarble等。[2023/5/6 14:46:36]

詳細分析可以參考此前文章《跨鏈漫談:深度解析16個跨鏈方案權衡》:

接下來,我們進一步的把跨鏈流程進行拆解,了解跨鏈具體涉及到哪些步驟,這樣在討論不同攻擊的時候,我們可以更好的理解出錯的點在哪里。

跨鏈流程:

1.當源鏈用戶發起一個狀態改變,如一筆交易;此事件將由源鏈驗證者進行驗證出塊。

2.此時跨鏈橋去監聽此跨鏈事件,下載并對進行驗證、簽名。

3.接下來被驗證簽署后的事件被傳輸至目標鏈。

4.由目標鏈上的驗證者進行驗證出塊。

馬斯克宣布推特上的創作者現在可以將他們的內容貨幣化:金色財經報道,特斯拉首席執行官馬斯克宣布,推特上的創作者現在可以將他們的內容貨幣化。最新的以用戶為中心的改革——允許用戶在全球范圍內通過推特上的所有形式的帖子獲利——旨在提高粉絲的參與度,并在社交媒體平臺上創造新的收入來源。[2023/4/29 14:34:24]

5.由此,源鏈上發起的狀態改變得以在目標鏈被執行。

講述跨鏈橋機制分類的文章已經很多,我們在此按驗證方法把跨鏈橋分為:

-外部性驗證:PoS

-樂觀性驗證

-本地驗證:輕客戶端

按資產轉移方式把跨鏈橋分為:

-燃燒+鑄造

-鎖定+鑄造

-在源鏈/目標鏈部署流動性池

zkSync Era總鎖倉量突破1億美元:4月2日消息,據官方消息,zkSync Era總鎖倉量(TVL)已突破 1 億美元。[2023/4/2 13:40:41]

PolyNetwork攻擊案例分析

簡單來說,PolyNetwork的工作機制是作為中間鏈去接收發送鏈的區塊頭,相當于所有它連接的鏈的輕客戶端。

比如,當Ontology上發起一筆交易,區塊頭會被送到PolyNetwork上。區塊頭含有stateroothash,當交易與證明到達PolyNetwork,這上面的keepers就可以進行驗證。若合法,PolyNetwork會自己發送一個event,目標鏈的relayer聽到后,會轉發到目標鏈的EthCrossChainManager合約上。

在了解PolyNetwork工作機制之后,我們來看受攻擊的合約。

首先,LockProxy是控制資產的合約。其次,EthCrossChainManager(CCM)的優越性有兩點:

FTX需為破產律師支付至多每小時2165美元的費用:12月23日消息,周三晚間,FTX向特拉華州聯邦法官遞交了申請,要求批準其向特別法律顧問支付每小時1575美元至2165美元的工資。這一薪資水平已超過FTX新CEO John Ray,其每小時薪資為1300美元。

破產專家表示,像FTX這樣復雜的案件的法律費用總額可能超過1億美元。(yahoo)[2022/12/23 22:02:22]

1)只有它能調用LockProxy進行unlock或者burn資產。

2)CCM掌管著CrosschainData,合約保存著PolyNetwork的keeper公鑰名單。

也就是說,當跨鏈交易的數據發到CCM之后,合約可以從這個數據中恢復出一些簽名的地址。

然后它會拿這些地址和它自己存的keeper名單做對比,看看是不是有2/3的keeper在這些地址里面。如果有,就認為發送過來的數據是合法的。

Coinbase成立Coinbase Institute:金色財經消息,Coinbase宣布成立Coinbase Institute,這是一個以研究為基礎的全球加密原生智庫,使命是加速新穎的研究,并匯集跨學科最優秀的人才,推動去中心化、Web3和金融未來的進步。

Coinbase Institute將圍繞四個核心開展工作,1.發布嚴謹、前沿的加密和web3研究;2.與思想領袖、學者、政策制定者和加密社區進行協作討論;3.與學術機構和智庫建立合作伙伴關系,加速早期研究和技術創新;4.建立一個跨學科的內部團隊,以提高公眾對加密和Web3的認知。

Coinbase政策主管Hermine Wong將擔任Coinbase Institute負責人。(CoinDesk)[2022/5/19 3:26:47]

黑客通過bruteforce撞出了CCM中特定的“SolidityfunctionID”,從而得以調用EthCrossChainData的合約,并把其中存的keeper名單里的公鑰匙換成自己的,這樣他就可以任意的給CCM發信息,自己去進行簽署,從而操作lockproxy。

所以上述攻擊出現的問題有兩點:

1)任意的用戶可以進行的遠程調用合約。在這個事件之后,項目方加入了白名單機制,只有指定方可以調用這個非常特別的合約。

2)合約之間的從屬關系,導致關鍵的合約容易被篡改。

Multichain攻擊案例分析

Multichain是可實現跨鏈路由的橋,通過封裝資產“anyToken”,Multichain可實現任意資產的任意跨鏈。首先,當用戶把DAI放到池子里,等量的anyDAI就會被鑄造出來,然后由網絡中的驗證人確定這一事件,在B鏈鑄造出等量的anyDAI,然后燃燒掉A鏈的anyDAI。

受攻擊的合約中,關注下圖標記的1,2,3行:首先,從anyDAI?這個合約拿到它底層資產合約的地址,即DAI。其次,permit()?使用戶通過簽名來允許路由器從用戶地址中提款。最后,safetransferfrom是一個真正的提款動作。

注:簽名了的交易被表示為(v,r,s)

可以看到黑客惡意部署的代幣地址,和無效的簽名。

回顧8.1中的三行代碼,黑客重新部署了anyDAI導致底下OUTPUT的底層資產解析出來是WETH的地址。在此,Multichain在這里的失誤就是它應該檢驗代幣地址是不是來自Multichain的代幣。

第二個微妙的問題就是permit是erc20的一個擴展協議,但是由于比weth出來的時間晚,所以weth沒有支持這個特性。那么如果去調用一個合約的一個不存在的方法,EVM會自動去調用這個合約的fallback方法;然而,fallback方法在這個情況下也沒報錯,所以,permit功能也被成功執行。

而第三行之所以可以執行,我們可以認定因為Multichain之前請求了WETH無限的花費上線,黑客通過濫用了這個approval把WETH從受害者的賬戶轉出。但值得注意的是很多的協議都會使用,以幫助用戶節省gas費用。

BNB橋攻擊案例簡述

Binance事件的黑客用RangeProof偽造Merkleproof證明某些數據存在Merkletree。

Proof理論上難偽造。

BNB橋涉及數據結構IAVL:可理解為等價于以太坊的Merklepatriciatrie,是一種custommerklizedbalancebinarysearchtree,InnerNode分為Left和Right兩個字段。

在這里IAVL的RangeProof存在的重要問題就是它允許Left和Right兩個字段可以同時被填充。而當Left與Right都存在的情況下會忽略Right進行RootHash計算。

擊者基本上通過將信息粘貼到Right字段中的優勢,而這些信息從未得到驗證,也從未影響哈希計算,以使驗證者相信某些Leaf是Tree的一部分。從而,成功地偽造了MerkleProof。

關于BNB橋攻擊中更復雜的合約調用邏輯可以閱讀:

https://mp.weixin.qq.com/s/y9jiMKrGThN8J4agFnFpJw

Tags:CHAChainAINHAImationchainectchainecochainARCHAI

酷幣
ARB:Binance Research:盡管存在中心化的風險,但看好Arbitrum全年保持增長_RBI幣

Binance研究團隊對Arbitrum進行了仔細研究,以下是團隊在研究后發現的情況:只要L1足夠強大,大部分交易就可以在L2上進行,從而實現進一步的可擴展性,并以較低的Gas成本進行快速交易.

1900/1/1 0:00:00
OBI:孫宇晨方回應收購火幣傳聞!_Huobi

火幣易主已成定局,李林時代塵埃落地10月8日,加密交易平臺HuobiGlobal發布公告《HuobiGlobal控股股東完成股份出售》.

1900/1/1 0:00:00
XEN:$XEN 客觀數據匯總_以太坊

XEN作為以太坊上一個現象級的社會實驗,正在持續引發關注與討論。這是以太坊轉PoS之后,第一個單日燒掉超過1000個以太的項目,而且gas趨勢并沒有緩解.

1900/1/1 0:00:00
以太坊:聚焦波哥大 Devcon VI —— 精彩演講編譯_ROL

DevconVI活動已經過半,ECN和社區小伙伴Pablo@Plancker從中挑選了一些精彩演講進行編譯.

1900/1/1 0:00:00
ALEX:Messari:社交代幣能否催化出下一個牛市?_MEGASHIB價格

要點: 吸引散戶的新型代幣分發機制可以催化牛市,而社交代幣就是這樣一種分發機制。由于可發現性、用戶體驗和應用層的問題,WHALE、ALEX和FWB等社交代幣過去未能催化出持續的牛市.

1900/1/1 0:00:00
NFT:2022年Q3加密市場投融資報告:L1重奪關注,藍籌NFT受資本青睞_BAKC Vault (NFTX)

與Q2相比,Q3資本流入加密一級市場總額驟降54%。作者:十文;編輯:郝方舟出品?|?Odaily星球日報2022年,宏觀經濟形勢對全球金融市場構成嚴峻挑戰,加密貨幣市場也難以獨善其身.

1900/1/1 0:00:00
ads