在一條區塊鏈中,鏈上各參與方借助區塊鏈共識機制建立信任體系。那么問題來了,在多條區塊鏈的跨鏈場景中,鏈與鏈間的信任如何傳遞?鏈間的信任,信的是什么?這種跨鏈信任,又該如何建立?
鏈間的信任,信的是什么?
先說結論:鏈間的信任,以信任對方鏈的執行機制為前提,信的是符合執行機制的執行結果。
其中緣由,得從跨鏈的基礎操作談起。
跨鏈的基礎操作為:對方鏈執行某個操作完成后,本地鏈才可執行另一個操作。如下圖所示:區塊鏈A成功執行操作X后,區塊鏈B執行操作Y。X操作是Y操作執行的前提條件。
上述操作中,一個請求X經過簽名,變成一筆交易發到區塊鏈A上,經過區塊鏈A共識,生成區塊。區塊中包含了塊頭、交易列表等信息,塊頭中又包含了共識結果信息。上述信息都可統稱為區塊鏈的執行結果,具體流程如下圖所示:
區塊鏈A的執行結果被發到區塊鏈B上。區塊鏈B在執行請求Y前,必須先判斷X是否上鏈。
ConsenSys與以太坊側鏈Palm合作開發新的跨鏈橋:3月23日消息,以太坊基礎設施開發公司ConsenSys與以太坊側鏈Palm達成合作,以建立和改進官方Palm橋。新的Bridge將會使得從Palm到Ethereum的跨鏈費用更加公平一致,而且轉賬延遲的可能性更小。除了轉移資金外,用戶還可以通過橋轉移NFT。此外,Palm團隊不再需要手動更新費用或重新提交沒有足夠Gas的轉賬。
Palm網絡是一個以太坊側鏈,專門用于銷售、購買和交易NFT。Palm表示,網絡的Gas成本低,比基于PoW的區塊鏈網絡的能源效率高99.9%。[2022/3/23 14:13:15]
判斷的方法是,在區塊鏈B的運行環境中,驗證區塊鏈A與X相關的執行結果是否有效。驗證通過,表示X已上鏈,區塊鏈B可繼續執行后續步驟:發送請求Y,在區塊鏈B進行上鏈。
需要注意的是,此操作基于一個前提,即區塊鏈B必須信任區塊鏈A的執行機制。區塊鏈A上正確的執行結果,代表的是區塊鏈A上各方意愿。區塊鏈B要驗證區塊鏈A上某個交易是否有效,必須信任區塊鏈A的執行機制,并按照區塊鏈A的執行機制,驗證區塊鏈A的執行結果,才可判斷區塊鏈A上的某個交易已上鏈。
Celer推出的跨鏈支付網絡cBridge宣布支持dForce:1月30日消息,由Celer Network推出的跨鏈支付網絡cBridge宣布支持開放式金融及貨幣協議平臺dForce。用戶現可通過cBridge在以太坊、BSC、Arbitrum及Optimism之間進行對DF和USX的高速低成本跨鏈橋接。此外,Celer表示Celer跨鏈消息框架 (Celer IM) 將很快上線主網,Celer和dForce將基于Celer IM達成更多合作,這意味著dForce用戶將無需手動切換多個區塊鏈進行復雜交互,就可以通過Celer IM一鍵享受其他DeFi生態上的流動性和應用。[2022/1/30 9:22:44]
可見,在整個過程中,通過驗證對方鏈的執行結果來判斷請求是否上鏈,是建立跨鏈信任的核心步驟。因而,鏈間的信任,以信任對方鏈的執行機制為前提,信的是符合執行機制的執行結果。
建立鏈間信任,需經四層驗證
執行結果雖然在不同區塊鏈有不同實現方式,但萬變不離其宗,區塊鏈的核心數據結構是以區塊為單位的鏈式結構,交易存在于區塊中。
波卡生態跨鏈DEX協議Zenlink公布早期社區支持者空投計劃:11月5日消息,波卡生態跨鏈DEX協議Zenlink公布了一項早期參與者空投計劃,將空投50萬枚 ZLK 至符合條件的19105個早期參與者地址,屆時用戶可前往 Zenlink DEX 中查詢空投數量,團隊表示目前正在持續空投中,預計將于11月6日發放完畢。
另外,Zenlink與波卡智能合約平行鏈 Moonbeam達成戰略合作,雙方將在建設Kusama和Polkadot網絡的 DEX 聚合器方面進行合作。Zenlink于11月3日晚正式上線 Moonbeam 同行網絡Moonriver和Bifrost網絡并開啟IYO(初始收益發行),截至目前,其 TVL已達1.1億美元。[2021/11/5 6:33:56]
因此,我們可將執行結果的驗證劃分為以下四層:
驗區塊連續:在驗證開始時,需確認數據來源,基于區塊鏈的連續性,驗證區塊是否歸屬于指定區塊鏈,防止攻擊者用任意區塊鏈的區塊進行偽造。
BitMax交易所將首發跨鏈流動性基礎設施ROUTE:據官方消息,BitMax交易所將于1月19日 22:00(北京時間)首發Router Protocol (ROUTE),并開放ROUTE/USDT交易。充提現已開放。
Router是一個跨鏈流動性基礎設施,其致力于為當前和新興的第1層和第2層區塊鏈網絡提供橋接設施,使用戶能夠以近乎即時、低成本的方式兌換、交易不同區塊鏈網絡的資產。Router的第一個主要產品是Matic網絡和以太坊之間的橋。詳情點擊原文鏈接。[2021/1/19 16:28:31]
驗區塊共識:在確認來源后,需驗證區塊是否代表對方鏈的整體意愿。此步驟驗證區塊的共識信息是否符合要求,防止攻擊者用未經過共識的區塊進行偽造。
驗交易存在:區塊被驗證合法后,需驗證指定交易是否屬于此區塊。不同鏈有不同驗證方法,下一節會展開描述。
驗交易正確:交易存在性得到驗證后,并不能代表此交易確實是跨鏈場景下預期的操作,還需結合業務場景,判斷交易的具體內容是否符合預期。
跨鏈流動性通道項目RAMP DEFI完成逾100萬美元的超額私募:跨鏈流動性通道項目RAMP DEFI已完成逾100萬美元的超額私募,私募投資者包括Alameda Research、ParaFi Capital、XRP Capital、IOST、Signum Capital、Ruby Capital以及Blockwater VC。(GlobenewsWire)[2020/8/23]
只有通過上述四層才算驗證通過。驗證通過后,說明操作已在對方鏈上上鏈,本地的鏈可執行后續步驟。?
各層次驗證機制的實現方案
上節所述四層驗證,在不同區塊鏈上有不同的實現方式。WeCross的插件化框架,定義了通用的編程接口,開發者只需按照鏈類型實現四個層次的驗證邏輯即可。
下面,我們來看看各層次的具體實現方案。
驗區塊連續
在不同區塊鏈上的實現大同小異。當前區塊中記錄著上一個區塊的哈希值,當前區塊的哈希值又在下一個區塊中被記錄,多個區塊依次相連形成區塊鏈。不同區塊鏈只在哈希算法和計算區塊哈希的字段上存在差異。
在WeCross中,驗證區塊鏈連續性,只需按照相應鏈的實現,驗證區塊依次相連成鏈即可。
驗區塊共識
驗區塊共識,即驗證區塊的共識信息是否符合對應的算法條件。不同算法有不同的實現。此處給出最具代表性的兩種共識算法:POW和PBFT。
POW屬于最終一致性共識算法,通過最長鏈和延遲確認的方式逐漸讓共識結果收斂一致。WeCross提供了POW驗證所需步驟:
驗難度:驗證區塊的nonce是否滿足工作量證明條件
驗延遲:驗證當前塊是否低于已知最高塊N個塊
驗最長鏈:引入多方,驗證當前區塊處于最長鏈上,防止單方面謊造最高塊高和偽造分叉鏈進行作惡
PBFT算法在多方共識后立即達成一致,區塊鏈不存在分叉和回滾的可能。在算法中,節點通過多次相互廣播簽名以達到共識。
在區塊中,足夠數量的簽名代表了區塊的合法性。因此,WeCross中對PBFT的驗證較為簡單:
配置公鑰:事先配置對方鏈共識節點的公鑰
驗簽名:用事先配置的公鑰驗證區塊中簽名的有效性,并判斷有效簽名數量是否達到PBFT共識條件
驗交易存在
驗交易存在同樣需要根據不同實現判斷,比較有代表性的是SPV和背書策略。
SPV的初衷是為了實現輕客戶端,目前已在大多數區塊鏈上實現。隨著跨鏈技術興起,此技術也被用作驗證區塊中某數據的存在性。
以交易為例,區塊頭中記錄了當前區塊內所有交易哈希組成Merkle樹的樹根,即“交易根”。任何一筆交易,都唯一對應了一條通向交易根的Merklepath。區塊內不存在的交易,無法偽造出通向交易根的MerklePath。
因此,在WeCross中只需驗證某交易的MerklePath,即可判斷某交易是否屬于某區塊。
背書策略為HyperledgerFabric所采用。在Fabric中,每筆交易都需滿足某個事先定義好的背書策略。
交易在執行時會被多個背書節點簽名,當各方簽名滿足背書策略時,此交易才被認為有效。Fabric將背書節點簽名信息作為交易的一部分保存于區塊中。多筆交易組成區塊內的交易列表。交易列表以二進制形式計算哈希值,此哈希值被記錄于區塊頭中。
因此,在WeCross目前的實現中,僅需判斷交易是否在交易列表中,并校驗交易列表哈希值,即可初步判斷交易的存在性。
WeCross后續將結合背書策略,驗證交易的背書節點簽名,進一步增強交易存在驗證的有效性。
驗交易正確
驗交易正確,是根據業務的預期參數判斷前三步驗證的交易哈希是否是業務預期的那個操作。
例如,預期操作為transfer(a,b,100),則相應的交易內容不能是get(a)。驗證時,需根據交易的編碼方式和哈希算法,校驗業務預期參數與交易哈希是否對應。不同區塊鏈實現的差別只體現在交易編碼和哈希算法上,根據鏈實現采用相應方法進行校驗即可。
WeCross中不同鏈的插件實現了不同的校驗邏輯。FISCOBCOS插件采用的是RLP編碼和SHA-256哈希算法,驗證的是交易哈希是否正確;而Fabric插件則采用ProtoBuf編碼,驗證的是交易二進制是否正確。
完整驗證過程舉例
為了更直觀進行說明,下圖給出了FISCOBCOS的完整驗證過程。
當某條鏈拿到了對方鏈的執行結果后,即可在本地進行驗證。
在驗區塊連續上,FISCOBCOS通過比對區塊頭中父區塊哈希與真實的父區塊哈希,驗證此區塊是對方鏈的區塊。
在驗區塊共識上,通過校驗當前區塊的簽名列表,判斷合法簽名數量是否滿足PBFT共識條件,確認當前區塊代表了對方鏈的整體意愿。
通過驗證交易哈希通向交易根的MerklePath的正確性,可判斷交易已存在于區塊鏈上。
通過驗證業務預期、交易二進制、交易哈希的對應關系,可判斷交易是業務預期的那個操作。四個層次驗證通過后,說明業務所預期的操作已在對方鏈上上鏈,驗證完成。
總結
鏈間的信任,以信任對方鏈的執行機制為前提,信的是符合執行機制的執行結果。執行結果是否正確,驗的是四個層次的數據。驗證機制在不同鏈有不同的實現,WeCross以插件化的方式提供支持。
Tags:區塊鏈ROSCROSWEC區塊鏈技術通俗講解簡書FROSTYFLOKIMirrored MicrosoftWEC價格
親愛的CoinW用戶: CoinW將支持JUST空投TRON用戶的計劃,首次空投將于世界標準時間2020年5月20日0:00進行快照(即中國國內的5月20日8:00).
1900/1/1 0:00:00親愛的用戶: BigONE已發放「TRXDeFi機槍池」、「ONT流動性挖礦」、「GXC流動性挖礦」、「ETHDeFi宇宙最強機槍池」、「USDTDeFi宇宙最強機槍池」、「BTCCurve流動.
1900/1/1 0:00:00昨天到今天大多數主流幣和DeFi項目都迎來了一波大跌,但比特幣卻在這一片下跌中走出了獨立的上漲行情,截至寫稿時為止漲到了接近11000美元.
1900/1/1 0:00:00杠桿ETF產品是對給定標的資產的漲跌幅度進行追蹤,漲跌幅為標的資產市場的三倍。是通過3倍做多或者3倍做空數字資產,獲取3倍盈利或虧損的產品.
1900/1/1 0:00:00尊敬的中幣用戶: “CENNZ交易大賽”活動已圓滿結束,活動獎勵已全部發放獲獎用戶的賬戶中,您可登錄賬戶查詢CENNZ獎勵到賬情況.
1900/1/1 0:00:00各位朋友們,你們好,我是阿帆談幣(aftb88888)。阿帆本著負責、誠懇、認真的態度用心寫好每一篇分析文章,特點鮮明,不夸張,不含糊,力求能讓大家看懂大的趨勢分析以及小范圍的多空搏殺力度! 技.
1900/1/1 0:00:00