在我前兩篇文章里(?介紹了XCM的設計和版本結構的基礎知識。在本文中,我們將深入研究它的底層設計和執行模型。因為XCM基于XCVM指令集,希望本文可以幫助你熟悉這個機器架構。
XCVM是一個高級別、非Turing的完整虛擬機。它是基于寄存器的,并且有幾個專用寄存器,其中大部分持有高度結構化的數據。與通用處理器不同,XCVM的寄存器不能隨意設置為任意值,但有嚴格的機制來控制它們的變化。除了某些與本地鏈狀態交互的方法之外,沒有額外的“內存”。沒有循環的可能,也沒有顯式的分支指令。
我們已經介紹了其中兩個登記冊:持有登記冊,能夠臨時持有一項或多項資產,并可以通過從本地鏈中提取資產來填充,或者通過從可信的外部來源接收資產;以及來源登記冊,在執行開始時,該登記冊持有共識系統的位置,從該系統當前XCM執行起源,并可能只突變到一個內部位置或完全清除。
在其他寄存器中,三個涉及異常/錯誤管理,兩個涉及跟蹤執行權重。我們將在本文中了解它們。
執行模型
如前所述,沒有顯式條件指令或循環原語可以多次重新執行相同的指令。這使得預先確定程序的控制流變得相當瑣碎。該屬性非常有用,因為我們希望確定XCM消息在執行點之前可以使用多少執行時間(稱為整個Substrate/Polkadot的權重)。
允許圖靈完備語言的系統實際上不能直接從程序中計算最壞情況的執行時間,這是由于圖靈的完備性。他們通過要求用戶預先確定程序的執行資源來解決這個問題,然后在程序執行時對其進行計量,如果超出了所支付的金額,就中斷它。有時,在事務執行之前,事情會發生變化,權重會變得不正確。令人高興的是,像XCVM這樣的非Turing-Complete的虛擬機可以避免這種度量和權重的需要。
現場 | Gavin Wood:polkadot已經超越以智能合約為中心的區塊鏈系統:金色財經現場報道,由Web3基金會主辦的Web3大會10月29日在上海舉行。Parity和 Polkadot創始人、Web3 基金會主席林嘉文在會上發表主旨演講表示,以太坊并沒有真正實現圖靈完備。以太坊是純鏈上操作模式,節點、礦工、智能合約均在鏈上,受到各種可消耗資源約束,同時還有其他問題。基于substrate的polkadot已經超越以智能合約為中心的區塊鏈系統,企業級應用越來越適合使用polkadot。[2020/10/29]
權重
權重通常表示為一個代表性硬件執行給定操作所需的整數。正如我們在BuyExecution指令中看到的,在處理某些指令時,XCVM包含了執行時間/權重的概念。
沒有權重計量,但是考慮到XCVM程序最終獲得的可能性小于最壞情況下的重量預測,我們有一個名為剩余權重寄存器的寄存器。因為我們可以準確地預測他們將占據多少權重,所以大多數指令不接觸它。然而,有時候,最壞情況下的權重預測是一個高估的情況,只有在執行時,我們才知道有多少。雖然占塊執行時間的權重估計過高的XCM消息,跟蹤原始權重被高估的數量,并從帳戶中減去它,允許鏈優化其塊執行時間的配額。
流量控制和例外情況
到目前為止,我們對XCVM的處理中已經隱含了另外兩個寄存器,但是了解它仍然很重要。首先,有一個程序登記冊,它存儲當前正在執行的XCVM程序。其次是程序計數器,它存儲當前正在執行的指令索引。當程序寄存器被更改時,這將被重置為零,并在每個成功執行的指令結束時增加一個。
在編寫代碼時,處理“異常”情況的能力是至關重要的。當在遠程系統上發生了一些您沒有預料到的事情時,那么您就需要某種方法來管理它,即使它只是簡單地將一個報告發送回源,聲明同樣的內容。
現場 | 波卡創始人Gavin Wood:有些時候社會因素比技術因素更重要:金色財經現場報道,10月27日,第六屆區塊鏈全球峰會于上海開幕,峰會的圓桌討論環節,波卡Polkadot創始人Gavin Wood分享表示,我們看到2014年開始,智能合約在不同平臺上的發展,但他們的主權是專制的,我們希望主權有所稀釋,波卡希望交付一個區塊鏈解決方案,但不是大而全的方案。
針對鏈的應用和治理,應用層面需要考慮一些社會方面的因素,例如GDPR,這個太難了。例如金融機構把資金流轉到以太坊上,如何托管,如何監管,目前還沒有解決,有些時候社會因素比技術因素更重要。治理層面則需要考慮讓底層具備穩定性,而不讓高層的應用加入底層,例如一層的平臺不適合做代幣和轉賬等。[2020/10/27]
雖然XCVM指令集不包含任何顯式的通用分支指令,但它的執行模型中確實內置了一個通用異常處理框架。XCVM還包括兩個代碼寄存器,每個寄存器都包含一個像ProgrammeRegister這樣的XCVM程序。這兩個寄存器稱為附錄寄存器和錯誤處理程序寄存器。如果您熟悉幾種流行語言中的try/catch/finally異常系統,那么接下來要做的事情可能會讓人想起很多事情。
如前所述,XCVM程序的執行遵循其中的每一條指令,一步一步地執行。當它按照這些指令執行到程序結束時,將發生兩種情況之一:要么成功地到達程序結束,要么發生錯誤。在第一個成功執行的情況下,錯誤寄存器被清除,其重量添加到剩余重量寄存器。附錄登記冊也被清除,其內容被放入方案登記冊。如果節目登記冊空著,我們就停止。否則,節目計數器復位為零。簡單地說,我們扔掉當前的程序和錯誤處理程序,開始執行附錄程序。
這個功能本身并不是很有用,但是如果與發生錯誤時發生的情況相結合,它就很有用。在這里,任何尚未執行的指令的權重被添加到剩余權重寄存器中。清除“錯誤處理程序寄存器”,將其內容放入“程序登記器”并將“程序計數器”重置為零。簡單地說,我們拋出當前的程序,并開始執行錯誤處理程序。因為我們沒有清除附錄寄存器,所以除非它被錯誤處理程序重置,否則它將在成功完成后執行。
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]
由于其組成結構,它允許錯誤處理程序的任意“嵌套”:如果需要,錯誤處理程序也可以有錯誤處理函數,而附錄可以有自己的附錄。
有兩個指令允許對這些寄存器進行操作:SetAppendix和SetErrorHandler。如您所料,其中一個設置了附錄寄存器,另一個設置了錯誤處理程序寄存器。每個參數的預測權重都比它們的參數的權重大一些。但是,在執行時,將被替換的寄存器中XCM消息的權重添加到剩余權重寄存器中,允許回收任何未使用的附錄或錯誤處理程序的權重。
聲音 | 波卡創始人Gavin Wood:1%的DOT將留在Kusama:波卡創始人Gavin Wood表示,波卡創世期的主網DOT代幣的百分之一,被保留作為對Kusama利益相關者和社區的最終激勵。(區塊律動BlockBeats)[2019/8/1]
拋出錯誤
有時,實際確保發生錯誤并定制該錯誤的某些方面可能是有用的。這是在編寫測試代碼時使用的但它可能最終會在一個活動鏈中找到用途,這并非不可能。這可以通過指令Trap在XCVM中完成。拋出的錯誤類型共享一個名稱Trap。指令和錯誤都帶有一個整數參數,允許在拋出錯誤者和外部觀察者之間傳遞某種形式的信息。
舉例如下:
Trap將導致跳過最終的DepositAsset并運行錯誤處理程序的DepositAsset,將1DOT(減去執行成本)置于Parachain2000的所有權之下。我們總是傾向于在錯誤處理程序代碼的開頭使用RefundSurplus,因為如果它正在運行,我們就知道所使用的預測權重(以及由此購買的權重)可能是過高的估計。
錯誤報告
能夠引入代碼來處理錯誤是非常有用的,但是一個經常被要求的特性是能夠報告XCM消息返回給原始發件人。我們遇到了上一篇文章中的QueryResponse指令,它允許一個共識系統向另一個報告一些信息,剩下的就是能夠以某種方式插入XCM進入這個QueryResponse,并將其發送給希望被告知結果的人。
韓國軟件開發公司Gavrint發布開發及運營區塊鏈遺囑服務的計劃:23日韓國軟件開發公司Gavrint發布了使用區塊鏈技術來開發和運營遺囑服務的計劃,客戶可以通過區塊鏈遺囑平臺輕松地寫下自己的遺囑,并且可以選擇遺囑公開或不公開。并且Gavrint將提供免費的法律咨詢和全方位的法庭認可的法律服務,以便提高公眾的普遍意識。[2018/2/24]
事實證明,只有一個名為ReportError的指令可以執行此操作。它通過使用我們尚未遇到的寄存器工作:錯誤寄存器。錯誤寄存器是一個可選類型。如果已設置,則它包含兩條信息:一個數字索引和一個XCM錯誤類型。
它的操作原理極其簡單。首先,每當一條指令產生錯誤時,它總是被設置;錯誤類型被設置為該錯誤的類型,數值索引被設置成程序計數器寄存器的值。其次,只有在執行ClearError指令時,它才會被清除。這條指令是絕對正確的指令之一——它永遠不允許自己導致錯誤。這就是所有-它得到設置時,一個錯誤發生,得到清除時,你發出適當的指令。
現在應該清楚地了解ReportError指令是如何工作的:它簡單地使用錯誤寄存器的內容組成一個QueryResponse指令,并將其發送到特定的目的地。當然,在執行之前發生的任何錯誤都會導致指令被跳過,因為執行首先跳到ErrorHandler寄存器的代碼,然后跳到附錄寄存器的代碼。但是,這方面的解決方案很簡單:將ReportError放在附錄中將確保它被執行,而不管主代碼是否導致執行錯誤。
讓我們看一個簡單的例子。我們將一個資產(1DOT)從中繼鏈傳送到Statemint(Parachain1000),在那里購買一些執行時間,然后使用Statemint作為儲備,我們將把資產存放在Parachain2000上。原始(無錯誤報告)消息如下所示:
對于基本的錯誤報告,我們將使用以下方法:
正如您所看到的,唯一的變化是引入了兩個SetAppendix指令,確保Statemint和parachain2000中的錯誤或缺乏錯誤將報告給中繼鏈。這假設中繼鏈已經設置為能夠識別和處理來自Statemint和parachain2000的QueryResponse消息,查詢ID為42,權重限制為1000萬。令人高興的是,這確實是基板支持的東西,但超出了范圍。
資產陷阱
當在處理資產的程序中發生錯誤時,那么它可能會非常有問題。可能存在BuyExecution指令本身導致錯誤的情況,可能是因為重量限制不正確或用于支付的資產不足。或者一個資產被送到一個無法有效處理的鏈。在這些情況下,消息的XCVM執行結束時,資產仍保留在HoldingRegister中,與其他寄存器一樣,這些寄存器是暫時的,我們可能會忘記。
XCM允許鏈完全避免這種損失。該機制分兩步工作。首先,持有登記冊中的任何資產在獲得批準后都不會被完全遺忘。如果在XCVM停止時持有登記冊不是空的,那么就會發出一個包含三條信息的事件:持有寄存器的值;原產地登記冊的原始值;以及這兩條信息的散列。然后,XCM系統將此散列放置在存儲中。該機制的這一部分稱為資產陷阱(AssetTrap)。
索賠制度
該機制的第二步是能夠要求持有登記冊的一些以前的內容。這實際上不是通過任何專門為此目的設計的東西來實現的,而是通過一個我們尚未遇到的通用指令,稱為ClaimAsset。在Rust中是這樣聲明的:
這個指令的名稱可能會讓人想起我們遇到過的某些其他“資金”指令,如WithdrawAsset和ReceiveTeleportedAsset。如果是這樣,那么它有一個很好的理由:它是。像其他人一樣,它試圖將資產放入持有登記冊。不像WithdrawAsset那樣會減少帳戶上的資產余額,ClaimAsset尋找這些資產的有效索賠,無論這些資產在原始登記冊中的價值是多少。為了幫助系統找到有效的索賠,可以通過票證參數提供信息。如果找到有效的債權,則從鏈中刪除該債權,并將該資產列入持有登記冊。
到底什么構成索賠,完全取決于鏈條本身。不同的鏈可能支持不同類型的聲明,并且Substrate允許您輕松地組合它們。但是,正如您可能猜到的那樣,一種特殊的聲明已經準備好了,當然,是先前刪除的HoldingRegister內容。
因此,讓我們來看看這在實踐中是如何工作的。假設我們的用戶的parachain2000向Statemint發送一條消息,在該消息中,它從其主權帳戶中提取0.01DOT來支付費用,并通知它將100單位自己的本機令牌的儲備資產轉移到其在Statemint的主權帳戶。可能是這樣的:
假設0.01DOT就足夠了,并且Statemint支持Parachain2000的本地資產的鏈上存款,那么這應該可以正常工作。然而,也許Statemint還沒有建立起來承認parachain2000的原生資產。在這種情況下,DepositAsset將不知道如何處理該資產,并因此拋出一個錯誤。在執行了將通知parachain2000這個失敗的附錄之后,我們將剩下100個parachain2000的本機資產以及可能在持有登記簿中的一些DOT。讓我們假設費用只達到0.005DOT,剩下的0.005DOT。
然后,Statemint的Pallet會記錄一個關于這些新可索賠資產的事件,類似于:
將向Parachain2000發送一條類似如下的消息:
Parachain2000將在稍后階段,就能夠用一個相當簡單的方法回收這100個單元:
在這種情況下,沒有通過ticket參數提供特殊信息來幫助查找索賠。對于AssetTrap索賠,這通常是很好的,盡管對于其他類型的索賠可能需要使用它。
結論
希望本篇文章可以幫助你更好地理解?XCM的底層虛擬機以及它如何幫助您從意外情況中管理和恢復。本系列的下一篇文章將討論XCM以及如何改進格式、采取更深入的研究XCMRust實現路徑,以及我們如何使用它為鏈提供易于解釋的能力。
走出去、帶你玩、搞3A、元宇宙,天美四部曲Metaverse、社交+游戲、姚曉光帶隊、覆蓋北上深,騰訊天美工作室群這則招聘海報,到底在釋放什么信息?近日.
1900/1/1 0:00:00虛擬數字貨幣交易所的作用是為用戶交易虛擬數字貨幣提供服務,拋開一些頭部大所,絕大多數小交易所的最大痛點就是缺乏客戶,在這種情況下,代理就應運而生了.
1900/1/1 0:00:00近日,中國移動通信有限公司聯合中國工商銀行共同完成基于5G消息的數字人民幣錢包并正式上線,成為第一家在5G消息中應用數字人民幣的運營機構,為以5G消息為載體構建數字人民幣應用生態奠定基礎.
1900/1/1 0:00:00今日下午5點整,中國人民銀行在官網發布《關于進一步防范和處置虛擬貨幣交易炒作風險的通知》,引起行業內的高度關注與討論.
1900/1/1 0:00:00比特幣的采用情況正在上升,主要行業開始意識到Crypto是其不能忽視的事情。因此,主要的公司正在采取行動,采納Crypto支付.
1900/1/1 0:00:00RedStone是一個基于Arweave的預言機,提供從加密貨幣、股票到谷物和牲畜的一切價格數據.
1900/1/1 0:00:00