System.ArgumentOutOfRangeException: 索引和長度必須引用該字符串內的位置。 參數名: length 在 System.String.Substring(Int32 startIndex, Int32 length) 在 zhuanliShow.Bind()
【技術實現步驟摘要】
【國外來華專利技術】
技術介紹
1、本專利技術中描述的一些實施例涉及分散分類賬管理,更具體地但不排他性地,涉及分類賬代碼熱修復方法。
2、雖然分布式分類賬最為人知的用途可能是數字貨幣,特點是不需要信任任何特定的單一實體,但該技術對許多其他領域都是有用的,而且耗費大量精力用來研究、開發和部署分散分類賬。分散分類賬管理可包括可使用代碼應用和/或實施的智能合約,該代碼可稱為鏈碼,特別是當分類賬基于區塊鏈時。
3、智能合約通常包含復雜的業務規則,這些規則可用編程語言或使用領域特定語言(domain?specific?language,dsl)表示。
4、智能合約的實現往往會因人為錯誤和區塊鏈系統固有的復雜性而受到編程錯誤影響。dsl或編程語言的語法選擇可能會誤導合約開發人員,并成為許多錯誤的根本原因。
5、開發了各種技術來幫助程序員降低引入錯誤或模棱兩可易出錯邏輯的潛在風險,這些技術也可用于智能合約,這些技術可允許使用例如分析代碼和檢測邏輯潛在問題的形式驗證等驗證技術的方式編碼。一些形式驗證工具還能夠生成代碼的修復版本。
6、提示用戶智能合約邏輯錯誤行為的靜態代碼分析工具,例如,許可區塊鏈中的升級過程,可包括以下步驟:根據升級策略,征集足夠數量的聯合體組織的同意;將更新后的智能合約分發到所有所需的聯合體組織;按組織部署智能合約,通常部署在多個區塊鏈節點上;將智能合約升級到更新的版本。
7、一旦所有所需的組織完成升級,智能合約就可用于區塊鏈客戶端。
8、在升級過程中,提交到此
9、已開發動態代碼加載和代碼插入,以實現集中式應用程序零停機時間的代碼替換。例如,jrebel在類加載器級別上與java虛擬機(java?virtual?machine,jvm)和應用程序服務器集成,將類加載器包裝在類周圍,并允許通過插入動態地重新加載java類。
技術實現思路
1、本專利技術的目的是描述一種系統和方法,該系統和方法使用由本專利技術中的區塊鏈包括的事務類型在區塊鏈網絡中進行熱代碼替換。
2、上述和其他目的通過獨立權利要求的特征實現。其他實現方式在從屬權利要求、說明書和附圖中顯而易見。
3、根據本專利技術的一些實施例的一方面,提供一種區塊鏈網絡中的對等節點,所述設備包括:至少一個處理電路,用于:
4、從外部驗證實體接收用于熱修復的智能合約鏈碼的代碼修復事務提議;
5、對所述代碼修復事務提議應用信任實施模型;
6、響應于所述信任實施模型的確認,從所述外部驗證實體接收包括實現所述代碼修復事務提議的事務的塊;
7、對所述塊中的每個事務應用驗證策略;
8、當包括實現所述代碼修復事務提議的事務的所述塊滿足所述驗證策略時:
9、將所述塊附加到與通道標識符關聯的分類賬;
10、基于所述事務更新狀態;
11、使用與所述通道標識符相關聯的所述智能合約鏈碼應用熱代碼替換。
12、根據本專利技術的一些實施例的一方面,提供一種區塊鏈網絡中的熱代碼替換方法,所述方法包括:
13、從外部驗證實體接收用于熱修復的智能合約鏈碼的代碼修復事務提議;
14、對所述代碼修復事務提議應用信任實施模型;
15、響應于所述信任實施模型的確認,從所述外部驗證實體接收包括實現所述代碼修復事務提議的事務的塊;
16、對所述塊中的每個事務應用驗證策略;
17、當包括實現所述代碼修復事務提議的事務的所述塊滿足所述驗證策略時:
18、將所述塊附加到與通道標識符關聯的分類賬;
19、基于所述事務更新狀態;
20、使用與所述通道標識符相關聯的所述智能合約鏈碼應用熱代碼替換。
21、根據本專利技術的一些實施例的一方面,提供一個或多個計算機程序產品,包括用于區塊鏈網絡中的熱代碼替換的指令,其中,計算系統的一個或多個處理器執行所述指令將使計算系統:
22、從外部驗證實體接收用于熱修復的智能合約鏈碼的代碼修復事務提議;
23、對所述代碼修復事務提議應用信任實施模型;
24、響應于所述信任實施模型的確認,從所述外部驗證實體接收包括實現所述代碼修復事務提議的事務的塊;
25、對所述塊中的每個事務應用驗證策略;
26、當包括實現所述代碼修復事務提議的事務的所述塊滿足所述驗證策略時:
27、將所述塊附加到與通道標識符關聯的分類賬;
28、基于所述事務更新狀態;
29、使用與所述通道標識符相關聯的所述智能合約鏈碼應用熱代碼替換。
30、可選地,所述外部驗證實體包括檢測代理,所述檢測代理執行用于自動檢測所述智能合約中的潛在屬性違例的代碼。
31、可選地,潛在屬性違例的所述檢測包括執行從形式驗證、智能合約代碼的動態插入、邏輯合規性檢查和靜態代碼分析組成的組中選擇的方法。
32、可選地,所述信任實施模型包括從運營商接收背書的對等節點的數量,每個對等節點加密驗證所述數量的所述對等節點接收了所述背書。
33、可選地,所述熱代碼替換由鏈碼虛擬機代理執行。
34、可選地,所述熱代碼替換由從動態類加載、代碼插入和動態代碼替換組成的組中選擇的方法執行。
35、可選地,實現所述代碼修復事務提議的所述事務由類型標識符指示策略修改表征。
36、在研究下文附圖和詳細描述之后,本專利技術的其他系統、方法、特征和優點對于本領域技術人員來說是或變得顯而易見的。希望所有這些其他系統、方法、特征和優點包括在本說明書中,在本專利技術的范圍內,并且受所附權利要求的保護。
37、除非另有定義,否則本文所用的所有技術和/或科學術語都具有與實施例所述領域內的普通技術人員公知的含義相同的含義。雖然與本文描述的方法和材料類似或等效的方法和材料可以用于實施例的實踐或測試,但下文描述了示例性方法和/或材料。如有沖突,以包括定義的專利說明書為準。另外,這些材料、方法和示例僅是說明性的,并不一定具有限制性。
本文檔來自技高網...【技術保護點】
1.一種區塊鏈網絡中的對等節點,其特征在于,所述設備包括:
2.根據權利要求1所述的對等節點,其特征在于,所述外部驗證實體包括檢測代理,所述檢測代理執行用于自動檢測所述智能合約中的潛在屬性違例的代碼。
3.根據權利要求2所述的對等節點,其特征在于,潛在屬性違例的所述檢測包括執行從形式驗證、智能合約代碼的動態插入、邏輯合規性檢查和靜態代碼分析組成的組中選擇的方法。
4.根據權利要求1所述的對等節點,其特征在于,所述信任實施模型包括從運營商接收背書的所述對等節點的數量,每個對等節點加密驗證所述數量的所述對等節點接收了所述背書。
5.根據權利要求1所述的對等節點,其特征在于,所述熱代碼替換由所述至少一個處理電路執行的鏈碼虛擬機代理執行。
6.根據權利要求5所述的對等節點,其特征在于,所述熱代碼替換由從動態類加載、代碼插入和動態代碼替換組成的組中選擇的方法執行。
7.根據權利要求1所述的對等節點,其特征在于,實現所述代碼修復事務提議的所述事務由類型標識符指示策略修改表征。
8.一種用于區塊鏈網絡中的熱代碼
9.根據權利要求8所述的方法,其特征在于,所述外部驗證實體包括檢測代理,所述檢測代理執行用于自動檢測所述智能合約中的潛在屬性違例的代碼。
10.根據權利要求9所述的方法,其特征在于,潛在屬性違例的所述檢測包括執行從形式驗證、智能合約代碼的動態插入、邏輯合規性檢查和靜態代碼分析組成的組中選擇的方法。
11.根據權利要求8所述的方法,其特征在于,所述信任實施模型包括從運營商接收背書的對等節點的數量,每個對等節點加密驗證所述數量的所述對等節點接收了所述背書。
12.根據權利要求8所述的方法,其特征在于,所述熱代碼替換由鏈碼虛擬機代理執行。
13.根據權利要求12所述的方法,其特征在于,所述熱代碼替換由從動態類加載、代碼插入和動態代碼替換組成的組中選擇的方法執行。
14.根據權利要求8所述的方法,其特征在于,實現所述代碼修復事務提議的所述事務由類型標識符指示策略修改表征。
15.一種或多種計算機程序產品,包括用于區塊鏈網絡中的熱代碼替換的指令,其特征在于,計算系統的一個或多個處理器執行所述指令將使計算系統:
...【技術特征摘要】
【國外來華專利技術】
1.一種區塊鏈網絡中的對等節點,其特征在于,所述設備包括:
2.根據權利要求1所述的對等節點,其特征在于,所述外部驗證實體包括檢測代理,所述檢測代理執行用于自動檢測所述智能合約中的潛在屬性違例的代碼。
3.根據權利要求2所述的對等節點,其特征在于,潛在屬性違例的所述檢測包括執行從形式驗證、智能合約代碼的動態插入、邏輯合規性檢查和靜態代碼分析組成的組中選擇的方法。
4.根據權利要求1所述的對等節點,其特征在于,所述信任實施模型包括從運營商接收背書的所述對等節點的數量,每個對等節點加密驗證所述數量的所述對等節點接收了所述背書。
5.根據權利要求1所述的對等節點,其特征在于,所述熱代碼替換由所述至少一個處理電路執行的鏈碼虛擬機代理執行。
6.根據權利要求5所述的對等節點,其特征在于,所述熱代碼替換由從動態類加載、代碼插入和動態代碼替換組成的組中選擇的方法執行。
7.根據權利要求1所述的對等節點,其特征在于,實現所述代碼修復事務提議的所述事務由類型標識符指示策略修改表征。
8.一種用于區塊鏈網絡中的熱代碼替換的方法,其特征在于...
【專利技術屬性】
技術研發人員:阿特姆·巴格,阿維蓋爾·奧蘭,
申請(專利權)人:華為云計算技術有限公司,
類型:發明
國別省市:
還沒有人留言評論。發表了對其他瀏覽者有用的留言會獲得科技券。