一文讀懂驗證引擎的設計理念_WAS:SWASH幣

BitXHub跨鏈體系中，驗證引擎是跨鏈交易中不可缺少的一個重要組成部分。驗證引擎主要提供了對跨鏈交易背書規則合約部署執行，對跨鏈交易背書驗證和內容驗證的功能。本文主要從驗證引擎的設計、部署執行流程以及驗證規則編寫等方面進行介紹。

一、整體設計

驗證引擎的整體架構設計如下圖所示：

驗證引擎的設計采用了驗證器的插拔式設計，即對于不同的跨鏈交易所采用不同的驗證規則策略，驗證引擎會根據規則地址來判斷采用不同的驗證器進行驗證。現階段的驗證引擎支持Go內置驗證器和WASM虛擬機驗證器。下面將對兩種驗證器分別進行介紹：

第一種驗證器是Go內置驗證器。這個驗證器是為一些常見的區塊鏈和默認規則提供的方便調用的驗證器。原生的集成在了BitXHub的中繼鏈中，例如對于常見的Fabric區塊鏈，BitXHub的中繼鏈提供了一個默認的規則地址，用戶只要通過注冊這個地址的規則就能直接調用默認的Fabric驗證規則對跨鏈交易進行驗證了。

SUIA上市后已破發超50%:5月18日消息，行情數據顯示，Sui 生態社交協議 Suia（SUIA）上市后已大幅破發，按照 Cetus 上 Launchpad 超募 40 余倍進行計算，SUIA 的 IDO 成本約為 0.36 美元，目前 SUIA 價格為 0.159 美元，已破發超過 50%。行情波動較大，請做好風險控制。

此前消息，知情人士透露，SUIA 的做市商 Jump Trading 將停止其在美國的加密貨幣交易業務，但 Jump 的加密部門將繼續在全球擴張；此外，5 月 16 日，據 WSJ 報道，據美國 SEC 公布的法庭文件顯示，Jump Trading 曾通過與 Terraform Labs 秘密交易賺取 10 億美元。[2023/5/18 15:11:34]

第二種驗證器是WASM驗證器。這個驗證器是使用了wasm虛擬機作為規則的執行器來進行驗證。由于wasm的特性，使用這種驗證器可以允許用戶使用不同類型的語言編寫驗證規則，比如C，rust或者Go等。同時wasm本身的運行性能也要高于很多區塊鏈的合約虛擬機，例如evm。用戶只需要用自己喜歡的語言編寫好驗證規則，編譯成wasm的字節碼就可以部署到中繼鏈上了。

Schroders收購以區塊鏈為重點的資產管理公司Forteus的少數股權:7月19日消息，Schroders已持有區塊鏈技術和以數字資產為重點的資產管理公司Forteus的“戰略少數股權”。Schroders沒有披露詳情。Forteus是Numeus Group的資產管理部門，Numeus Group是一家多元化的數字資產投資公司。

Schroders表示，選擇投資Forteus是為了支持其在該領域的持續教育和研究，并為客戶的利益開發投資解決方案。向Numeus研究和技術平臺學習將使Schroders能夠利用區塊鏈可以為資產管理行業帶來的轉型優勢，并制定我們的代幣化戰略。（Portfolio Adviser）[2022/7/19 2:24:04]

二、?部署執行流程

從整體設計我們可以看到驗證引擎主要分為兩部分，一部分是驗證器模塊，另一部分是規則管理模塊。只有通過規則管理模塊部署了驗證規則的應用鏈發送的跨鏈交易才能夠通過驗證引擎的驗證。如果沒有部署驗證規則，那么當一筆跨鏈交易傳入中繼鏈并進入到驗證引擎后，驗證引擎會因為無法找到對應的驗證規則而返回驗證失敗。所以整個流程的第一步就是對驗證規則的部署。

數據：Azuki NFT 6月銷售額約為1206萬美元，環比下降91%:7月19日消息，數據顯示，Azuki NFT 6月份銷售額約為1206萬美元，相較于5月份的1.4797億美元下降了91%，達到年內低點。今年1月份，Azuki NFT月銷售額曾達到2.1908億美元。

分析稱，銷售額的下降源于唯一身份買家數的下降，6月份Azuki NFT的唯一身份買家數為563名，交易數為837筆。而在今年1月份，Azuki NFT擁有9123名唯一身份買家和18012筆交易。（BeInCrypto）[2022/7/19 2:23:03]

規則管理模塊同時也提供了對應用鏈驗證規則的熱更新和刪除，當用戶發現自己應用鏈的驗證規則合約有錯誤或者應用鏈的背書規則有升級或者改變時，可以通過規則管理模塊向中繼鏈發送系統交易修改驗證規則，規則的更新是實時動態的，不會影響中繼鏈的運行。

奈雪的茶：虛擬股票活動今日下線，會員賬戶內虛擬股票將自動兌換為奈雪幣:金色財經報道，奈雪的茶(02150.HK)發布公告，考慮到用戶體驗，奈雪虛擬股票會員活動將于7月14日16:00完成今日游戲結算后正式下線。奈雪的茶表示，活動結束后，參與活動的會員賬戶內的虛擬股票將按照有利于用戶的原則，以1虛擬股兌換為6奈雪幣的規則，在7月14日17:10-18:00將虛擬股自動兌換為奈雪幣，游戲借幣在兌換時會自動歸還給平臺，兌換后的奈雪幣數量將高于用戶參與活動前的奈雪幣數量。[2022/7/14 2:13:31]

BitXHub的中繼鏈內置了規則管理的合約，跨鏈網關通過調用內置合約就可以將自己對應的應用鏈的驗證規則注冊到中繼鏈上。如果驗證規則調用的是GO內置的驗證規則，用戶只需要將對應的內置規則的地址注冊到中繼鏈即可。如果用戶想要定制自己的驗證規則，先將wasm的字節碼部署到中繼鏈上，再將合約地址做一個關聯即可讓驗證引擎在驗證階段對驗證規則進行調用了。

數字資產解決方案提供商Tritum完成110萬美元融資，Nabais Capital、Loopring等參投:金色財經報道，數字資產解決方案提供商 Tritum 宣布完成 110 萬美元種子輪融資，本輪融資由 Blue Node Capital、Nabais Capital、 Loopring，以及一些私人投資者參投。本輪融資資金將用于構建信貸和托管產品、以及 Web3 數據和復雜衍生品。

Tritum 旨在打造高績效、表現最佳的數字資產市場解決方案，該公司目前提供高頻自營交易服務，同時經營一家全球加密貨幣交易平臺 Blocktane。（globenewswire）[2022/6/1 3:53:51]

驗證引擎的另一個部分是驗證器模塊的執行層，也是驗證引擎最主要的部分，下圖是驗證引擎執行的主要流程圖：

可以看到在一筆跨鏈交易到達中繼鏈之后，驗證引擎會先檢查交易的順序是否是正確的，然后通過IBTP的From字段獲取來源鏈的ID，通過這個ID在規則管理模塊中得知驗證引擎需要哪種類型的驗證器來對交易進行校驗。如果需要的是WASM驗證器，那么驗證引擎就會將對應的WASM字節碼加載到WASM虛擬機中。

當驗證器初始化完畢以后，驗證引擎就會將對應應用鏈的驗證者信息和需要驗證的交易的IBTP的proof字段和payload字段傳入到驗證器中，為了防止惡意者進行非法的跨鏈交易，驗證器會對proof字段的背書信息進行簽名校驗，如果背書的簽名信息與事先注冊在中繼鏈的應用鏈的驗證者信息相匹配，那么表示背書驗證通過，驗證引擎會繼續進行跨鏈交易的內容驗證，將IBTP的payload字段和proof字段里的內容進行比對，如果兩者一致則表示驗證通過，那么跨鏈交易就會被傳入到中繼鏈的執行引擎中繼續執行并完成跨鏈交易。如果背書驗證或者內容驗證有一項不匹配，驗證引擎就會返回驗證不通過的錯誤，跨鏈交易就不會繼續執行，并將錯誤返回給來源鏈的跨鏈網關。

三、編寫驗證規則

下面我們以Fabric1.4為例介紹一下驗證規則的邏輯和如何用rust編寫WASM驗證規則合約。

我們知道Fabric對于智能合約的執行是在背書節點上進行的，每一個背書節點都會模擬執行chaincode，在模擬執行完chaincode之后，背書節點會對模擬的結果和拋出的事件進行封裝，之后再進行簽名背書。最后將背書結果發送給客戶端。客戶端在對比模擬執行的結果之后將背書結果發給orderer節點進行排序，最后在提交階段會拋出chaincode的事件。

在fabric區塊鏈中，對于每一個chaincode都可以指定不同的背書策略，所以對于fabric的驗證規則也需要滿足復雜背書的要求。所以在應用鏈注冊時上傳的驗證者信息需要包含背書節點的mspid和對應的證書，需要包含chaincode的id和背書策略的字節碼。

那么下面我們來介紹驗證規則又是如何使用上述信息對fabric的跨鏈交易進行的驗證的。當跨鏈交易在fabric這一段上鏈以后，跨鏈網關就會將該上鏈的信息封裝成IBTP協議發送到中繼鏈，此時封裝在IBTP的proof字段已經包含了fabric交易中的ChaincodeActionPayload信息。當交易進入到驗證引擎時，驗證引擎會初始化wasm驗證器，同時將IBTP的proof字段和payload字段連同驗證者信息傳入到驗證器中。驗證器開始進行驗證。首先會查看交易信息中的chaincode的ID和驗證者信息中預留的是否一致，以防有惡意者偽造假的chaincode進行交易，然后開始通過預留的復雜背書策略的字節碼初始化fabric中的策略驗證器，策略驗證其可以將交易信息中的背書數組和預留的背書節點信息進行關聯驗證，查看背書數組簽名的正確性和是否符合策略。當背書數組被確定是正確的以后，驗證引擎還會對交易的具體內容進行比對，防止惡意者修改了IBTP中payload的信息。當各個步驟的驗證通過后，驗證引擎就能夠確認該筆fabric的跨鏈交易是有效的。

對于WASM規則，我們可以通過rust來編寫驗證規則，中繼鏈中的WASM虛擬機要求規則的字節碼符合wasi標準，所以BitXHub提供了rust編寫WASM合約規則的模板。驗證的入口函數為start_verify，而對于比較麻煩的wasm的輸入輸出BitXHub已經提供了一套讀寫方案，用戶只需要在contract.rs文件中編寫自己所想要驗證的內容即可，非常便捷易用。

BitXHub驗證引擎解決了在跨鏈場景中一直所被關心的跨鏈交易如何保證內容的正確性和交易的有效性問題，而可定制插拔的驗證規則機制也使得不同類型的區塊鏈交易內容和有效性的驗證成為了可能。

本文作者：趣鏈科技數據網格實驗室

Tags：WASASMODEFABRICSWASH幣jasmy幣熱度過去了嗎MasterNodesMEFABRIC幣

以太坊價格今日行情