買以太坊 買以太坊
Ctrl+D 買以太坊
ads
首頁 > 酷幣 > Info

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

Author:

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

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

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

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

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

版本控制

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

Fairyproof:Hundred Finance與Agave遭遇攻擊原因是由于轉移ERC677代幣引起的:3月16日消息,Gnosis Chain上的DeFi協議Agave和Hundred Finance遭到重入攻擊,共計損失約1100萬美元。造成此次重入攻擊的原因是由于轉移ERC677代幣引起的,該代幣有一個轉移后調用函數叫 transferAndCall。

Fairyproof 推薦所有合約開發者三點注意:

1、合約內改變狀態要放在對外交互之前(包括轉移代幣) ;

2、注意ERC20代幣和ERC677代幣的區別;

3、重要用戶接口增加防重入鎖。[2022/3/16 13:59:33]

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

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

兼容性與翻譯

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

波卡創始人Gavin Wood:平行鏈將于12月在技術上達到可用狀態:金色財經現場報道,10月26日,在萬向區塊鏈實驗室主辦的第七屆區塊鏈全球峰會活動上,波卡創始人 Gavin Wood 表示,非常自信平行鏈將于 12 月開始在技術上實現可行性,目前已經完成完整代碼審計。另外,Gavin Wood 還分享了 Substrate 和 Polkadot 狀態進展,第二次橋審計正在進行中,即將部署一個從測試網 Rococo 到橋測試網 Wococo 的橋,來測試可行性。[2021/10/26 20:57:50]

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

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

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

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

Gavin Wood已在波卡生態NFT平臺RMRK創建一個NFT:10月3日消息,波卡創始人Gavin Wood已經在波卡生態NFT發布及交易平臺RMRK上創建了自己的第一個NFT。[2021/10/3 17:22:08]

實際通訊

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

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

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

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

Gavin Wood:未來理事會將有更復雜支出機制 或將使用多種貨幣:1月18日消息, 波卡Polkadot創始人Gavin Wood在接受采訪時表示,希望看到更多的服務,包括鏈下服務(如staking工具)和鏈上服務(如pallets模塊)以及其他有助于公共利益的平行鏈,如連接到其他鏈的橋。他表示,未來可能會在理事會中增加更復雜的預算、監督和支出機制,允許它使用多種貨幣,根據階段性的milestone付款,根據特定的目標和用途來儲存和分配資金,通過選舉或任命產生的委員會和開放投票系統來部署已經給定的預算。Gavin Wood還表示,波卡和Kusama網絡上的提案總體標準是相同的,但是如果說Polkadot是一個為行業領先的應用程序而構建的穩定和高度可靠的區塊鏈,那么Kusama則是一個快速發展和實驗性的區塊鏈,面向更不工業化和更加 “人類化” 的應用程序。他希望看到一類不同類型的支出議案進入到Kusama的生態系統,它可能有更少的純技術和實用的元素,而是更多偏向社會實驗和新型治理結構的方向,可以最大限度地容納參與、拓展和討論,和一些推進公眾理解(包括藝術和音樂方向)的舉措。(波卡中國社區PolkaWorld)[2021/1/18 16:27:52]

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

版本協商

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

Gavin Wood:將繼續推進波卡主網PoA發布并向NPoS初始轉移:4月10日,Polkadot創始人Gavin Wood發文稱,在過去幾周,我們一直通過社區密切關注COVID-19的進展。鑒于新冠病大流行,我們將重新評估任何銷售的時機,這反過來可能會影響由治理公投和投票引發的DOT代幣轉移的時機。也就是說,我們看不出有什么理由不能推進Polkadot主網候選鏈(即潛在的Genesis鏈規范)的PoA發布,因此,一旦技術和審計完成,我們將發布并向NPOS進行初始轉移。(注:Gavin曾于3月中旬在社區發表類似言論。)

他表示,Polkadot主網候選鏈的發布將遵循與Kusama相同的發布流程,但有一些細微差異。我們不會在流程早期發布Sudo模塊將控制權交給DOT持有者,而是可能等待進行DOT分配銷售,以進一步使網絡去中心化,然后根據我們運營地點的適用規則和條例放棄Sudo模塊。隨后,網絡將完全去中心化,一旦全網治理投票通過,代幣將被釋放。

據3月底報道,Web3基金會Qinwen表示Polkadot主網即將完成安全審計,將繼續按計劃推進主網發布。因當下全球疫情,團隊做出相應時間調整。主網發布時間按原計劃2020年中上線[2020/4/11]

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

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

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:IONVERVERSRESdeeponionDaoVerseInfluencers of the MetaverseForest Knight

酷幣
以太坊:跨鏈和流動性轉移協議deBridge完成550萬美元種子輪融資,ParaFi Capital領投_TAL

巴比特訊,跨鏈和流動性轉移協議deBridge今日宣布完成550萬美元種子輪融資,ParaFiCapital領投.

1900/1/1 0:00:00
MIR:Mirror協議合約已正式遷移至Bombay-10測試網的Columbus-5兼容版本_Bridge Protocol

巴比特訊,9月9日,合成資產協議MirrorProtocol發推表示,Tequila-0004測試網的Mirror合約已經正式遷移至Bombay-10測試網的Columbus-5兼容版本.

1900/1/1 0:00:00
CIA:社交代幣的悖論及心智模型_比特幣市場規模排名

互聯網現在是一個每個人都有庫存的地方。NFT意味著我們第一次在互聯網上擁有類似數字對象的東西。這種變化的重要性遠遠超出了目前在加密領域流行的東西。它不包含在藝術市場、收藏品甚至游戲中.

1900/1/1 0:00:00
區塊鏈:中國工程院發布“基于區塊鏈的電子證據平臺”案例_區塊鏈個人怎么買

據《證券日報》消息,9月7日,中國工程院《中國區塊鏈發展戰略研究》項目發布“發現100個中國區塊鏈創新應用”欄目之“基于區塊鏈的電子證據平臺”案例.

1900/1/1 0:00:00
THE:The Sevens:8分鐘售罄120萬美元的NFT,卻出現了“瘋狂鑄幣者”?_ENS

作者:思嘉 TheSevens是一個新興的NFT項目,集合了7000件算法生成的NFT藝術品,該項目于2021年9月7日昨晚正式發售,僅8分鐘后官方Twitter就發文稱已售罄.

1900/1/1 0:00:00
DAP:DApp游戲服務平臺Stardust融資500萬美元,Framework Ventures領投_DAPP

據VentureBeat9月15日消息,DApp游戲服務平臺Stardust完成500萬美元融資,FrameworkVentures領投.

1900/1/1 0:00:00
ads