買以太坊 買以太坊
Ctrl+D 買以太坊
ads

NET:前沿:TEE 在跨鏈橋中的應用_WOR價格

Author:

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

作者:Middle.X

感謝Ronnie@BoolNetwork、Aki@Darwinia參與本文內容的探討,本文部分內容原載于《?PAKA跨鏈研究報告?》,點擊查看完整報告。

在眾多的跨鏈安全事故中,私鑰泄露是其中一個重要類型。典型的案例是今年3月份AxieInfinity官方橋RoninBridge遭遇的情況和6月份Harmony官方橋HorizenBridge遭遇的情況,二者都因為跨鏈橋的驗證人節點私鑰泄露而導致重大損失。

由于驗證人節點需要用程序來對跨鏈事件執行簽名,這使得私鑰不得不暴露在網絡中,極易成為黑客攻擊的目標。然而這樣的問題,其實通過用TEE來管理節點私鑰就可以很大程度上避免。TEE還能以多種方式被應用于跨鏈橋,能夠在優化跨鏈橋的安全性和性能上都發揮積極作用。

TEE全稱為可信執行環境,它對于我們的日常生活而言并不陌生,手機上的指紋驗證就是在TEE中運行的。

TEE是在給定設備上運行的與主操作系統隔離的計算環境,就像一塊飛地。這種隔離是通過硬件強制實現的。在TEE中運行程序的過程是隱蔽的,外界不可感知,這減少了TEE遭受黑客攻擊的可能性。程序在TEE中運行完成后,輸出的計算結果會被附上一個由設備生成的簽名,該簽名將被設備供應商遠程驗證,并生成遠程驗證證明。遠程驗證證明能夠向外界證實該程序在TEE中被完整的執行,沒有被篡改和干預。正因為如此,TEE可以運行具有高安全性要求的應用程序,例如加密密鑰管理、生物特征認證、安全支付處理等。

我們將結合pNetwork、Avalanche、BoolNetwork、LCP的案例來說明TEE在跨鏈橋中的具體應用。

pNetwork

pNetwork是有ProvableThings團隊開發的一個跨鏈橋,于2020年3月推出,是一座Wrap橋,Wrap資產被稱為pTokens。

Wrap橋的基本模型是Lock-Mint和Burn-Unlock,pNetwork通過一個TEE節點組成的網絡來負責驗證源鏈上的Lock和Burn行為,并在目標鏈上執行Mint和Unlock。

任意擁有TEE設備的主體可以質押200$PNT,即可成為pNetwork的TEE節點。pNetwork中的TEE節點網絡將負責對跨鏈消息進行共識簽名。在初始化時,TEE節點集需要共同參與秘鑰的計算,以生成公鑰和私鑰碎片,其中公鑰只有一個,處于公開狀態,私鑰碎片則是在本地生成后,存入TEE中“密封”。即便是TEE節點的運行者也無法知道私鑰碎片。

北京市發布第四批市級重大應用場景:圍繞區塊鏈等前沿技術:金色財經報道,北京市發布第四批市級重大應用場景,總投資90億元,圍繞區塊鏈等前沿技術應用,擬實現關鍵領域“卡脖子”技術應用從0到1突破,典型應用場景項目包括政務服務區塊鏈應用等。[2022/12/26 22:08:57]

TEE節點除了需要運行Enclave內的程序,還需在Enclave外運行接入鏈的全節點,以便于Encalve內的輕節點查詢區塊頭。

pTokens之旅

從Token到pToken的過程如下:

用戶調用源鏈智能合約的Lock函數,發起Lock交易T,將Token存入源鏈托管地址,在交易備注字段中提供他們想要收款的目標鏈地址;

TEE節點監聽到交易后,進一步獲取交易T所在區塊的區塊頭N的所有Lock交易,向Enclave中傳入,同時也會將區塊頭N及這些Lock交易的默克爾路徑傳入;

Enclave中的輕節點程序首先驗證區塊頭N,然后用區塊頭N驗證所有Lock交易;

一旦通過驗證,Enclave就會簽名一批Mint交易,為所有目標地址Mint對應數量的pToken;

各Enclave相互進行加密通訊,以合成完整的簽名,并提交這些Mint交易;

交易被廣播到目標鏈,被目標鏈確認后,用戶的目標地址就獲得了pToken。

從pToken到Token的過程如下:

用戶調用源鏈智能合約,發起Burn交易T,將pToken發送到銷毀地址,備注字段中寫明目標鏈上的收款地址;

TEE節點監聽到交易后,進一步獲取交易T所在區塊的區塊頭N的所有Burn交易,向Enclave傳入,同時也會將區塊頭N及這些Burn交易的默克爾路徑傳入;

Enclave中的輕節點程序首先驗證區塊頭N,并用區塊頭N驗證這些Burn交易;

一旦驗證通過,Enclave就會簽名一批Unlock交易,從托管地址中向所有目標地址轉出對應數量的Token;

各Enclave相互進行加密通訊,以合成完整的簽名,并提交這些Unlock交易;

浙江:在區塊鏈等重點前沿科技領域超前布局:12月22日,浙江省政府新聞辦舉行浙江省國家數字經濟創新發展試驗區建設新聞發布會,介紹相關情況并回答記者提問。發布會現場,發言人表示,下一步浙江將發展壯大一批數字產業。做強云計算等新興產業,壯大集成電路等基礎產業,在區塊鏈等重點前沿科技領域超前布局,打造集成電路等標志性產業鏈,建設3-5個世界級產業集群,數字經濟核心產業增加值年均增長12%以上。(浙江發布)[2020/12/22 16:05:18]

交易被廣播到目標鏈,被目標鏈確認后,用戶的目標地址就獲得了Token。

由于私鑰在Enclave中保管,且驗證和簽名的過程也在Enclave中進行,惡意攻擊者攻擊網絡在經濟上和實踐上都不方便。此外,pTokenNetwork還鼓勵TEE節點采用不同廠商的設備,不同廠商的TEE設備的具體原理可能是不同的,多元化廠商的TEE節點將進一步提高攻擊者的攻擊難度,因為攻擊者需要攻破多個廠商的TEE設備才有可能實施攻擊。

因此,采用TEE節點組成的MPC網絡,相比非TEE節點組成的MPC網絡,增加了一層安全保護。此外,pNetwork選擇將代碼開源,開源代碼明確了Encalve當中進行的每個過程,而遠程證明中包含程序的哈希根,任何人都可以驗證Enclave中執行的代碼與pNetwork公開的代碼的一致性,這是進一步的安全聲明,因為排除了程序編寫者作惡的可能性。

2021年10月,pNetworkV2發布,該版本將pNetwork拓展為了一座AMB橋。

pNetworkV2延續了V1的核心特性,依舊使用TEE節點組成的MPC網絡來驗證跨鏈消息,但V2版本將不局限于資產跨鏈相關的消息。

AvalancheBridge

AvalancheBridge(AB)是Avalanche的官方跨鏈橋,目前支持AvalancheC鏈與Ethereum之間的跨鏈資產傳遞。

與pNetwork相同,AvalancheBridge用TEE節點組成的MPC網絡來驗證跨鏈事件,AvalancheBridge的TEE節點被稱為Warden。為了追求更低的費率和更快的速度,AvalancheBridge在設計上做了些許優化。

聲音 | 經濟日報:在各地對數字經濟發展的布局中可以看到區塊鏈等前沿領域:1月23日,經濟日報刊文《各地爭相布局數字經濟》。文章表示,不只是數字經濟強省浙江,無論是廣東、福建、北京、河北等東部地區,還是安徽、湖北、重慶等中西部地區,發展數字經濟正成為眾多省份的共同行動。在各地對數字經濟發展的布局中,數字產業化與產業數字化并進,既可以看到人工智能、區塊鏈、5G、共享經濟等前沿領域,也對數字化改造、加快產業融合發展等提出了要求。比如,河北提出促進人工智能、區塊鏈技術應用及產業發展,加快布局5G基站、物聯網、IPv6等新型基礎設施;廣東提出支持廣州發揮國際科技創新中心的重要引擎作用,大力發展新一代信息技術、人工智能、生物醫藥、新能源智能網聯汽車等產業,建設國家人工智能和數字經濟試驗區。[2020/1/23]

首先,為了加快驗證效率,AvalancheBridge直接在TEE內運行全節點,并在Enclave內建立索引來查詢交易,而不像pNetwork的TEE節點在Enclave外運行全節點,在Enclave內運行輕節點。當然,pNetwork現在支持9條鏈的資產傳遞,未來可能支持更多,如果這么做,Enclave的存儲空間可能會構成挑戰。

其次,AvalancheBridge使用普通地址,而非合約地址來托管鎖定資產。這避免了一部分合約調用的費用。

初始化的時候,Warden之間相互加密通信,創建一個托管地址,并將私鑰碎片密封在各自的Enclave中,該托管地址是一個0x開頭的EOA地址,既可以用于以太坊,也可以用于AvalancheC鏈。

我們以ERC20資產的跨鏈為例,來闡述AvalancheBridge處理資產跨鏈的步驟:

Wrap:Ethereum->Avalanche

用戶在以太坊上發起存款交易,將需要跨鏈的ERC20資產轉入托管地址;

每個Warden監控該地址,以發現這筆存款交易;

Warden將交易傳入Enclave,Enclave進行驗證;

驗證通過后,Warden會用各自的私鑰碎片簽署一筆Mint交易,并相互進行加密通訊以合成完整簽名。

動態 | 中證協將于5月14日起舉辦券商高管科技前沿培訓班 涉及“區塊鏈+金融”等:據中證網消息,中國證券業協會定于5月14-17日在深圳舉辦第二期證券公司高級管理人員科技前沿培訓班。本次培訓主要從產業升級與金融科技兩個維度進行設計,涉及人工智能、區塊鏈+金融、5G技術、數字經濟、工業4.0、新能源發展等,并安排騰訊公司參訪。[2019/4/22]

Warden向AvalancheC鏈提交Mint交易,使得托管地址調用Mint合約,為用戶鑄造Wrap資產(為了安全考慮,AvalancheBridge僅支持資產跨鏈至與發起地址相同的目標地址)。

Unwrap:Avalanche->Ethereum

用戶在AvalancheC鏈上調用橋合約中的Burn函數,發起一筆銷毀交易,將需要跨鏈的Wrapped資產發送到指定的銷毀地址;

Warden監控到這筆交易后,將交易傳入Enclave;

Enclave各自對這筆交易進行驗證;

驗證通過后,Enclave各自用自己的私鑰碎片簽名一筆Unlock交易,以將托管地址中對應數量的原生資產發送給用戶的Ethereum地址;

Enclave相互進行加密通訊以合成完成簽名,并將Unlock交易提交到Ethereum,交易被確認后,用戶將在以太坊上收到托管地址的轉賬。

我們發現AvalancheBridge的資產跨鏈流程中,只有Mint交易和Burn交易需要調用合約,而Lock和Unlock交易只是普通的轉賬,不需要調用合約。這樣的設計降低了Gas消耗,從而降低了用戶端的跨鏈手續費。

無論是pNetwork和AvalancheBridge,都充分利用了TEE的特性,讓私鑰被外部攻擊者竊取的可能性大幅降低。但我們要注意到,這依舊不能阻止TEE節點的內部串謀。

如果TEE節點之間合謀,可以試圖合成私鑰、替換Enclave里的程序,或者通過分叉源鏈制造虛假事件騙取Enclave的簽名。

而我們下文要講的BoolNetwork,則可以做到“外防攻擊,內防串謀”。

BoolNetwork

聲音 | 谷歌聯合創始人布林:谷歌\"未能走在區塊鏈的最前沿\":7月10日,據國外媒體報道 ,谷歌聯合創始人謝爾蓋·布林(Sergey Brin)周末在摩洛哥舉行的區塊鏈會議上表示,谷歌錯過了走在區塊鏈技術前沿的機會。盡管谷歌可能錯過了分布式賬本技術的早期應用,但布林認為區塊鏈依舊處于Alphabet公司旗下研究部門Google X的研究之下。[2018/7/10]

BoolNetwork也是一個采用TEE節點網絡作為外部驗證者的跨鏈橋項目。BoolNetwork做了進一步的創新——增加了TEE節點的輪值機制和匿名機制。

BoolNetwork被設計為了一個任意消息跨鏈橋,支持任意第三方在其上構建跨鏈應用。BoolNetwork參考CosmosIBC,引入了Channel的概念,部署在不同鏈上的兩個應用程序之間可以建立Channel,以實現二者之間消息的有序傳遞。每個Channel都會對應至少一個MPC委員會。該委員會在當前Epoch內負責對該Channel內的跨鏈消息進行共識簽名。這個MPC委員會是輪值的,任期只有1個Epcoh,每個Epcoh都會重新選舉。

BoolNetwork目前會為每個Channel分配兩個委員會,互為備份,以提高服務可用性。

任何人都可以通過質押$BOL成為候選的TEE節點。每個Epoch開始前,BoolNetwork會通過RingVRF算法,為每個Channel選舉MPC委員會。被選為MPC委員會成員的節點會獲得一個用于通訊的臨時身份,用于在共識簽名過程中與同一委員會中的其他TEE節點通訊。當一個Epoch結束時,所有的臨時身份都會失效,然后網絡將重新進行節點選舉,選出新的輪值MPC委員會,賦予他們新的臨時身份。

盡管每個候選的TEE節點在注冊的時候,需要提供永久身份信息,但節點在通訊時使用的臨時身份并不會暴露永久身份信息。換句話說,節點在通訊時是相互匿名的。如果候選節點有100個,那么你只能知道與你通訊的節點是這100個當中的1個,而不知道具體是哪一個。

每個Channel的MPC委員會需要多少個TEE節點,簽名的門限是多少,是由Channel創建人自定義的。常用的門限數值有15-of-21、13-of-19、5-of-9。

同一個Epoch內,不同Channel的MPC委員會成員可能會有重疊,也有可能有部分候選節點沒有被選入任何一個委員會,而出現閑置的狀態。這些情況都是正常的。

我們發現,BoolNetwork通過TEE、輪值機制、匿名機制的組合,構建了一個牢不可破的黑箱。由于簽名程序運行在匿名節點的TEE中,而且它們之間的通訊內容是加密的,當處于工作狀態時,TEE節點的運行者本人無從知曉自己被選入哪個Channel的MPC委員會,與哪些節點進行了共識通訊,簽名了哪些消息,連“自知”都做不到,更談不上“知人”。這基本上讓節點串謀變的不可能。

從外部攻擊者的角度,如果要攻擊某個特定的Channel,攻擊者無從知曉當前的MPC委員會背后是哪些設備、哪些主體,也無法從通訊中截獲這些信息。無論是內部串謀,還是外部攻擊,都只能選擇攻破所有候選節點中的大多數,才有可能攻擊成功,這無疑代價是巨大的。

BoolNetwork是一個仍在開發中的項目,還有些技術細節沒有完全確定。

LCP

LCP的全稱是LightClientProxy,是Datachain提出的一個將TEE用于跨鏈橋的新范式,本文撰寫時,LCP尚處于概念階段,沒有代碼實現。LCP與前述三者完全不同。pNetwork、AvalancheBridge、BoolNetwork的思路都是用TEE來管理私鑰、驗證消息、執行簽名。LCP的思路則是用TEE來運行輕客戶端。

LCP的思路或多或少借鑒了LayerZero,LayerZero用外部預言機網絡來運行超輕客戶端,但這個“超輕客戶端”并不會像一個真正的鏈節點那樣對新獲取的區塊頭進行驗證,而是通過預言機網絡的節點們共識簽名來確認區塊頭的有效性。LCP則希望在TEE內運行貨真價實的輕客戶端。

我們知道,輕客戶端跨鏈橋是安全性最高的跨鏈橋技術類型,它通過在目標鏈上部署源鏈的輕客戶端來使得目標鏈對源鏈的交易有驗證能力。但其缺點非常顯著:

鏈上的存儲和計算資源緊張,鏈上的輕客戶端在同步和驗證區塊頭的過程中會消耗較多的Gas,這會使得鏈上輕客戶端很昂貴,有些情況下甚至不具備經濟可行性。盡管有一些方案,可以構建相對輕量級的鏈上輕客戶端,但這些方案又會增加開發難度和代碼復雜度。

將輕客戶端放到鏈下執行可以有效解決上述問題,但我們需要鏈上對鏈下輕客戶端的運行狀態進行驗證,這點可以通過TEE的遠程證明實現。理論上,LCP僅需一個TEE節點,并不需要多個節點對交易的真實性進行共識確認。但為了保證可用性,安排一定的冗余還是有必要的。

當有交易T需要驗證時:

交易T會首先被提交給TEE節點;

TEE節點將交易T、交易T所在區塊高度N、交易T的默克爾路徑傳入Enclave

Enclave中的輕客戶端運行更新程序,更新到的區塊高度N,并用高度為N的區塊頭對交易T執行SPV驗證。

Enclave在驗證完成之后,通過遠程認證,生成遠程認證證明

TEE節點將交易T的驗證結果及遠程認證證明提交到目標鏈

目標鏈上的校驗程序檢查遠程認證證明的有效性,確認程序的確是在TEE中運行的,以及運行的程序是正確的輕客戶端程序。

需要辨明的是,盡管pNetwork的TEE節點也會在運行輕客戶端,但該輕客戶端在驗證交易之后會觸發本地私鑰碎片對交易的簽名,鏈上最終驗證的是簽名,而非TEE內運行的程序本身,因此pNetwork依舊屬于外部驗證的范疇。LCP則是向鏈上提交遠程認證證明,這當中會包含程序哈希以供鏈上檢查TEE中運行了正確的輕客戶端程序,用「原生驗證的擴展」來歸類LCP會更為恰當。

在TEE中運行輕客戶端,事情變的簡單許多,輕客戶端不再需要考慮如何節約存儲和計算資源,不需要復雜的“瘦身”和“擴容”方案。但我們需要認識到,在TEE中運行輕客戶端,始終要比在鏈上運行輕客戶端的安全等級降低了一些。因為TEE并不是絕對安全,其技術防護手段有可能被攻破,且TEE設備的廠商也有微小的可能性作惡。不過這個問題可以通過TEE節點的冗余和設備廠商的多元化來彌合。

小結

以上我們討論了TEE被應用于跨鏈橋的幾種情況。

TEE在跨鏈橋中最直接的應用便是保管私鑰,正如我們所列舉的pNetwork、AvalancheBridge和BoolNetwork,在人們對跨鏈橋安全性憂心忡忡的當今此時,我們或許應該期待用TEE管理私鑰成為多簽類跨鏈橋的標配手段。對于防止TEE節點的串謀,BoolNetwork將節點匿名化的思路給了我們很好的啟示,而LCP的方案,為輕客戶端跨鏈橋提供了一個新的范式,它在基本保持輕客戶端橋的理論安全度的前提下,提升了輕客戶端橋的通用性和可擴展性。

跨鏈橋依舊在激烈的演化之中,TEE的運用只是其演化方向之一。我們還在觀察其他的演化方向,我們對更加安全的跨鏈橋充滿期待。

參考資料

https://hackmd.io/@phala/BJh_3bbQU

https://www.8btc.com/article/608236

https://ptokens.io/ptokens-rev5b.pdf

https://medium.com/pnetwork/introducing-pnetwork-v2-bfa7fcdcedb8

https://zhuanlan.zhihu.com/p/406818768

https://medium.com/avalancheavax/avalanche-bridge-secure-cross-chain-asset-transfers-using-intel-sgx-b04f5a4c7ad1

https://mp.weixin.qq.com/s/Hw-jW9YtyJjxtI-xo_ANUQ

https://twitter.com/TigerVCDAO/status/1588215376235462656

https://docs.lcp.network/

Tags:TWOWORNETORKUnilab NetworkWOR價格ElyNetUPFI Network

幣贏交易所
ESC:貝萊德成為 Core Scientific 最大債權人之一,向其提供 1700 萬美元貸款_ESCB token

資管巨頭貝萊德通過其子公司管理的基金和賬戶,向破產的比特幣礦商CoreScientific承諾了1700萬美元的債務人持有貸款,成為其最大債權人之一.

1900/1/1 0:00:00
PIT:Waterdrip Capital 推出 1000 萬美元的 Web3 高校創業專項基金并啟動首期獎學金計劃_WATE

WaterdripCapital宣布推出1000萬美元的專項投資基金用于支持高校Web3創業者。該基金將在未來1-2年內篩選全球上百個學生創業者項目給予現金支持,并幫助項目在Web3領域創業.

1900/1/1 0:00:00
ETH:晚報 | Jump Trading 或操縱喂價以防鏈上倉位被清算;WETH 脫錨系 FUD_WET

整理:念青,鏈捕手 “過去24小時都發生了哪些重要事件”?1、前Terra研究員:JumpTrading或通過操縱Pyth喂價防止鏈上倉位被清算前Terra研究員FatMan發文對做市商Jump.

1900/1/1 0:00:00
比特幣:內蒙古破獲特大虛擬貨幣洗錢案,涉案高達 120 億元_區塊鏈

據中國新聞網報道,從內蒙古自治區通遼市局科爾沁分局獲悉,該局歷時3個月,打掉一個利用網絡區塊鏈兌換數字虛擬貨幣洗錢團伙,抓獲犯罪嫌疑人63名,該團伙洗錢金額高達120億元.

1900/1/1 0:00:00
BAN:Bankless:2022 年預測復盤及 2023 年趨勢預測_BAN

撰文:Bankless 編譯:DeFi之道 2022年是充滿驚喜的,不是嗎?至少我沒想到……一個排名前三的交易所犯下歷史上最嚴重的欺詐行為之一最大的加密貨幣基金是一個大規模的過度杠桿化騙局最大的.

1900/1/1 0:00:00
GMX:ByteTrade Lab:以 GMX 為例,詳解鏈上永續合約協議的創新之道_SHRADAR價格

原文來源:BytetradeLab,FrankHu與?KesterWu原文標題:《InnovationsofOn-ChainPerpetualProtocolsPart1》編譯:倩雯.

1900/1/1 0:00:00
ads