買比特幣 買比特幣
Ctrl+D 買比特幣
ads

Gavin Wood: XCM 第二部分- 版本控制和兼容性

Author:

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

在關于XCM的第一篇文章中,介紹了它的基本架構、目標以及如何將其用于一些簡單的用例。在這里,我們將繼續深入檢查XCM的一個有趣方面:

有一個共同的語言可以解決很多交互的問題。它可以讓我們一起工作,解決沖突,記錄信息以備后用。但是,語言的有用性取決于它所能表達的概念,在一個不斷變化的世界中,一種語言必須改變和適應其概念庫,否則就有被廢棄的危險。

不幸的是,太突然地改變一種,會損害它的主要目的——促進人與人之間的溝通。既然語言必須改變,就必須有辦法管理這些改變,而不讓新的形式令外行人難以理解。在這方面,一個非常有用的發明是字典,它幫助記錄和歸檔一種語言的概念調色板,以便后代能夠更好地理解歷史文本。詞典的版本可以被看作是語言的形式化“版本”。

時過境遷,但問題依然似曾相識。正如我在上一篇文章中所解釋的,XCM只不過是一種語言,盡管是非常專業的語言。這是共識系統相互對話的一種手段,而作為這一需求的XCM在密碼產業,特別是Polkadot生態系統飛速發展的情況下,必須有一些方法來確保這些變化不會損害XCM的互操作性。我們現在需要解決的不僅僅是共識空間中的互操作性,還包括共識時間。

版本控制

既然我們希望XCM要在大量使用的同時隨時間變化,需要采取的一個非常簡單的預防措施是確保我們確定哪個版本的XCM我們在實際消息內容之前進行通信。我們通過使用許多版本包裝器類型來做到這一點,之所以這樣命名是因為它們包裝了XCM消息或其組件的版本。在Rust代碼中,這看起來非常簡單:

波卡創始人Gavin Wood已向烏克蘭官方地址捐贈29.8萬枚DOT:3月1日消息,波卡創始人Gavin Wood在社交媒體上發布了其向烏克蘭官方DOT地址進行捐贈的交易記錄。根據波卡瀏覽器信息,目前烏克蘭官方地址中的DOT數量已經達到310,748.2枚,總價值近600萬美元,其中298367.2枚由Gavin Wood捐贈。[2022/3/1 13:30:47]

pubenumVersionedXcm{??V0(v0::Xcm),??V1(v1::Xcm),??V2(v2::Xcm),}當“overthewire”,XCM總是放在這個版本化的容器中。這確保了那些太舊而無法解釋消息的系統能夠安全地接收它們,并識別出消息的格式不受它們的支持。它還允許新的系統識別并相應地解釋舊的消息。

不只是XCM消息是版本化的;在XCM代碼庫我們也存在多版本以及它的相關類型。這是因為當鏈的XCM邏輯升級了。如果不進行版本控制,我們可能會試圖將舊的MultiLocation解釋為新的,并發現它是不可理解的。

兼容性與翻譯

版本控制是第一步,它確保我們能夠識別正在使用的語言版本。它不能保證我們能解釋它,當然也不能保證它是我們優先使用的版本。這就是兼容性的作用所在。我們所說的“兼容性”是指能夠繼續用一個版本來解釋和表達自己。

如果我們希望能夠升級我們的網絡和XCM時間表,那么這種兼容性變得相當重要。這可以分為向后兼容和向前兼容。從根本上說,向后兼容性是升級后的系統在遺留世界中繼續運行的能力,向前兼容性則是遺留系統在升級后世界中持續運轉的能力。

Gavin Wood:監管往往會更多地針對被認為非常中心化的項目:金色財經現場報道,10月26日,由萬向區塊鏈實驗室主辦的第七屆區塊鏈全球峰會在上海舉行,Polkadot創始人Gavin Wood表示,我認為對行業項目來說,監管要求往往會更多地針對被認為是非常中心化一些項目。比如銀行,如果這樣的理論和想法是對的,意味著整個生態系統,很多項目會不復存在,至少從長期來說情況是如此。就時間表來說,還需要一年、兩年甚至三年的時間,才會看到對于這些中心化,或基于中心化的項目有實質性的監管行動。但是如果我們放眼長遠的話,很多項目需要做出改變。[2021/10/26 20:57:54]

在我們的例子中,我們希望兩者都有,但是有實際的限制:XCM提供了以前版本中不存在的功能,因此期望舊系統能夠解釋這些消息是不現實的。這有點像試圖把“社交媒體”這個詞翻譯成拉丁文,然后指望凱撒大帝能從表面上理解它。有些概念根本無法在上下文中表示。

同樣,發生重大的變化,XCM可能會從其概念模型中移除相關功能。這種情況較少發生,但類似于將某些古代術語翻譯成現代術語的問題。有趣的是,“點”的古意可能就是一個例子。

因此,新版本的XCM的設計大多兼容舊版本和新版本,但通常XCM的這些信息在另一種語境中根本沒有意義,也不能翻譯。

實際通訊

如前所述,我們確保所有獨立存在的消息都包含版本標識符。這意味著在系統之間發送的消息或保存在存儲中的消息。它不包括所有的消息、位置和資產,雖然存在一部分數據,但其他數據不需要某一特定版本,因為其版本可以從它的上下文推斷。

Gavin Wood:WebAssembly是智能合約的未來:金色財經報道,波卡創始人Gavin Wood在2021年共識大會上發表講話時表示,EVM對Polkadot區塊鏈系統提供支持非常重要,至少在可預見的將來。他認為WebAssembly是智能合約的未來,但“傳統” EVM現在就在眼前。據悉,WebAssembly是一種軟件格式,可以在網絡上使用,并且可以輕松地與多種軟件語言一起使用。它是由大型網絡公司構建的,并且可以在所有主要的瀏覽器上運行。[2021/5/26 22:44:19]

而版本識別和compatibility/translation對于從舊的網絡接收消息或向新的網絡發送消息很有幫助,但是,如果采用另一種方式,單獨使用會沒有效果。這是因為從升級網絡接收消息的遺留網絡本身不具備能夠將新的XCM它可以解釋為某種形式——確切地說,這種邏輯只存在于發送方,它的翻譯代碼能夠以遺留術語重新表示新消息。

因此,必須由發送網絡負責確保其發送的消息能夠被接收網絡解釋。具體而言,用于傳遞消息的版本不能超過XCM接收網絡支持的內容。

由于這個原因,Polkadot和Kusama中繼鏈、Statemint、Statemine、Shell和任何其他基于Substrate/Frame的鏈及其XCM引擎都保存一個遠程鏈支持的版本。每當一個XCM消息由這些鏈發送,它首先通過查詢其注冊表確定發送消息的版本。它將信息翻譯給之前的發送者和接收者,那么大多數情況下,這些將是相同的,最新發布的版本,會提供完整的功能集XCM。

現場 | Gavin Wood:Polkadot是一個平臺 人們可以在其上構建自己的區塊鏈:金色財經現場報道,由Web3基金會主辦的Web3大會10月29日在上海舉行。Parity和 Polkadot創始人、Web3 基金會主席林嘉文在會上發表主旨演講表示,Polkadot和其他區塊鏈系統的不同之處在于,Polkadot引入了一個新的抽象模型,不試圖用于特定的用例,而是一個平臺,人們可以在上面構建有自己商業邏輯的面向特定領域的區塊鏈。Polkadot超越了智能合約,提供更多定制化、彈性化的部署去中心化應用的方法。[2020/10/29]

這個注冊表通常由治理過程決定和升級,這有點麻煩和繁瑣,特別是隨著潛在目的地數量的增加。出于這個原因,引入了版本跟蹤。

版本協商

版本跟蹤是最后一塊XCM拼圖的故事。它的功能是刪除跟蹤XCM潛在目的地鏈的版本。相反,這個過程是自動發生的,而且是連鎖的。

本質上它允許一個網絡使用XCM向另一個人查詢最新版本的XCM,并在此更改時收到通知。來自此查詢的答復允許所述網絡填充和維護其版本注冊表,確保以盡可能最新可理解版本的消息。

具體來說,有三個有價值的指示,在XCM:SubscribeVersion,允許一方要求另一方通知其XCM版本現在和它更改時;取消訂閱版本以取消該請求;以及QueryResponse,將一些信息從響應者網絡返回到發起網絡的一般方法。以下是它們在Rust中的樣子:

動態 | Gavin Wood 稱波卡實驗網絡Kusama最快在下周切換為 PoS 共識:波卡 Polkadot 聯合創始人 Gavin Wood 宣布,波卡實驗網絡 Kusama 已更新為 PrePoS 版本,節點需要將 Polkadot 升級為最新的 0.6.3 版本,其中將包含最新 1005 版本的 Kusama CC2 網絡。Kusama 在這次升級中新增一個密碼學工具 SECP256k1 曲線,也就是比特幣和以太坊使用的那種曲線,而在這之前 Kusama 僅支持兩類密碼學方案,分別是 Ed25519 和 Ristretto。如果網絡運行順利,Wood 認為 Kusama 有希望在下周切換為 PoS 共識,一開始有 50 個驗證節點,之后會增加為 100 個節點甚至更多。[2019/10/26]

enumInstruction{??SubscribeVersion{????query_id:QueryId,????max_response_weight:u64,??},??UnsubscribeVersion,??/*snip*/}所以SubscribeVersion需要兩個參數。第一個query_id是QueryId類型,它只是一個整數,用于識別和區分返回的響應。全部XCM導致響應被發送的指令具有類似的手段,以確保其響應能夠被識別并相應地處理。第二個參數稱為max_response_weight,它是一個Weight值,指示返回時我們應該花費的最大計算時間。與query_id類似,它將被放入該指令生成的任何響應消息中,并且需要確保任何權重不可預測,可變權重成本至少可以限制在執行前的最大值。如果不這樣做,我們將無法獲得解釋應答消息所需時間的上限,因此無法安排執行該消息。

UnsubscribeVersion作為一個指令是相當貧瘠的,主要是因為一次只允許一個版本訂閱對給定位置是活動的。這意味著取消只能通過原產地注冊的內容來識別。

回答

第三個要注意的指令是QueryResponse,它是一個非常通用的指令,允許一個鏈回復另一個,并在這樣做時報告一些信息。這是在Rust中:

enumInstruction{??QueryResponse{????query_id:QueryId,????response:Response,????max_weight:u64,??},??/*snip*/}我們已經知道三個參數中的兩個,因為它們是從SubscribeVersion中提供的值填充的。第三個稱為response,包含我們關心的實際信息。它被放置在一個新的類型Response中,它本身是幾種類型的聯合,其中一種網絡可能希望使用它們來通知另一種網絡。在Rust中是這樣的:

pubenumResponse{??Null,??Assets(MultiAssets),??ExecutionResult(Result<(),(u32,XcmError)>),??Version(XcmVersion),}就我們目前的目的而言,只需要Version項,但正如我們將在以后的文章中看到的,其他項對其他上下文也有用。

執行時間

一般來說,我們不需要QueryResponse指令來通過BuyExecution購買它們自己的執行時間,因為,是現解釋網絡要求首先發送它們。同樣,我們認為SubscribeVersion是廣義上符合發送方和接收方共同利益的東西,所以也不指望有人會付錢。在任何情況下,付款都很難計算,因為付款所產生的反應具有異步性和不可預測性。

自動化

而這些XCM指令允許網絡使用完全的鏈上邏輯來確定對話者支持的最新版本,但仍然存在何時啟動這個版本的問題。此外,一些跨協商一致的傳輸協議是不基于規定的,這將排除版本協商的可能性。

在諸如Polkadot中繼鏈和Statemint之類的Substrate鏈中,解決方案是當需要包裝發送消息但目標的最新版本未知時自動啟動此版本發現過程。這有一個小缺點,即第一個消息將在次優級的XCM版本停留,直到收到版本響應為止。如果這是一個實際問題,那么治理可以介入,強制初始版本XCM目的地與默認值不同。

代碼兼容性XCM

關于版本控制,最后一點是代碼創作。完全不同于Over-the-wire格式的XCM,代碼兼容性處理是使用Rust實現項目代碼庫必須發生的事情。XCM會隨著時間的推移而堆疊。

顯然,旨在使用不斷發展的語言來表達變化的代碼庫必須隨著時代的變化而適應。我們已經有了SemanticVersioning系統,它可以幫助確認在特定版本更改時可能發生的更改。這在處理API和ABI時非常有用,但在考慮整個數據格式或語言時就不那么有用了。幸運的是,XCM被設計成幾乎不需要SemVer了。

我們知道,新版本的XCM軟件能夠在新的和舊的XCM消息之間以及它們的內部數據類型(如位置和資產)之間進行轉換。它可以通過將XCM語言的多個版本同時保存在XCM代碼基中來做到這一點。如果我們回顧VersionedXcm數據類型的Rust聲明(就在本文的開頭),它只不過是底層Xcm數據類型的每個特定版本的標記聯合,每個都可以在它們自己的模塊v0、v1、v2和&c中找到。

由于事務和API使用XCM而且它的數據類型傾向于只使用版本化的變體,這些變體同樣可以構造新的和舊的格式,最終的結果是代碼庫可以更新為使用最新的XCM軟件很少或根本沒有改變他們的代碼。升級XCMCrate允許網絡更好地與其他類似升級的網絡進行互操作,但升級XCM網絡使用的語言不需要再出現。

我們希望,這會成為一個強有力的激勵,促使團隊保持他們的XCMCrate更新進度,因此保持一切迭代和快速發展。

結論

希望XCM的版本系統,以及它如何能夠被用來保持一個網絡的主權鏈通信可以對大家有所啟發。在下一期中,我們將更深入地探討XCM:它的執行模型和異常管理功能。

Tags:IONVERDOTVERSTellurionAVERSE價格dot幣今日價格行情美元xverse.app

酷幣下載
區塊鏈:區塊鏈+抗疫 | 面對疫情,區塊鏈能解決哪些難題_VEN

疫情又再次襲擊福建。截止9月16日17點,福建現有確診病例200例,其中莆田130例,廈門53例,泉州17例。莆田、廈門已啟動全市核酸檢測,學校從線下教學調整為線上教學.

1900/1/1 0:00:00
MASK:Mask Network獲得Filecoin開發公司Protocol Labs的戰略支持_NFTSOL價格

Web3.0項目MaskNetwork在推特上宣布獲得Filecoin開發公司ProtocolLabs的戰略支持.

1900/1/1 0:00:00
XTP:如何解決以太坊域間互操作性的不可能三角_以太坊

撰文:ArjunBhuptani,Connext聯合創始人編譯:PerryWang幾天前,Connext推出了NXTP,這個底層協議,用于在兼容以太坊的域之間實現完全無需信任的傳輸和合約調用.

1900/1/1 0:00:00
VITA:V神發布賬戶抽象提案ERC 4337,旨在不改變以太坊共識層協議的情況下實現驗證邏輯_ALI

巴比特訊,9月29日,以太坊創始人VitalikButerin聯合KristofGazso、yoav.eth、DrorTirosh、NamraPatel、TomaszK.Stanczak等人發布.

1900/1/1 0:00:00
區塊鏈:分析 | 區塊鏈為什么可以上升到國家戰略高度?它的社會價值究竟是什么?_XRP

作者:北京大學王思遠,本文僅代表作者觀點原標題:《區塊鏈的重要價值》原文鏈接:https://mp.weixin.qq.com/s/TG9ZJxXYYgwMtnW8ke4j-A從2019年的“1.

1900/1/1 0:00:00
SIS:Gnosis生態團隊推出DAO擴展工具包Zadiac以實現DAO技術棧的可組合性_Gnosis Safe

巴比特訊,9月14日,軟件社區GnosisGuild團隊推出DAO擴展工具包Zadiac,并在ZadiacAPP中增加了4個新工具:Exit、Bridge、Delay和Reality.

1900/1/1 0:00:00
ads