TWI694399B

TWI694399B - 基於區塊鏈的資產轉移方法及裝置、電子設備

Info

Publication number: TWI694399B
Application number: TW107142942A
Authority: TW
Inventors: 李漓春; 劉正; 殷山; 張文彬; 馬寶利
Original assignee: 香港商阿里巴巴集團服務有限公司
Priority date: 2018-07-27
Filing date: 2018-11-30
Publication date: 2020-05-21
Also published as: SG11202010772QA; CN109035029A; TW202008274A; EP3776437B1; EP3776437A1; WO2020023850A1; US20200034834A1

Abstract

一種基於區塊鏈的資產轉移方法，包括：接收資產轉移者發送的資產轉移交易；其中，所述資產轉移交易包括：至少將所述資產轉移交易的輸出資產對象的資產類型作為輸入資料輸入至承諾函數進行計算產生的承諾值；以及，用於對所述承諾值進行零知識證明的零知識證據；基於所述零知識證據對所述承諾值進行零知識證明，驗證所述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同；如果是，將與所述輸出資產對象對應的承諾值發布至所述區塊鏈進行存證。

Description

基於區塊鏈的資產轉移方法及裝置、電子設備

本說明書一個或多個實施例關於區塊鏈技術領域，尤其關於一種基於區塊鏈的資產轉移方法及裝置、電子設備。

區塊鏈技術，也被稱之為分布式帳本技術，是一種由若干台計算設備共同參與“記帳”，共同維護一份完整的分布式資料庫的新興技術。由於區塊鏈技術具有去中心化、公開透明、每台計算設備可以參與資料庫記錄、並且各計算設備之間可以快速的進行資料同步的特性，使得區塊鏈技術已在衆多的領域中廣泛的進行應用。

本說明書提出一種基於區塊鏈的資產轉移方法，應用於所述區塊鏈中的節點設備，包括：接收資產轉移者發送的資產轉移交易；其中，所述資產轉移交易包括：至少將所述資產轉移交易的輸出資產對象的資產類型作為輸入資料輸入至承諾函數進行計算產生的承諾值；以及，用於對所述承諾值進行零知識證明的零知識證據；基於所述零知識證據對所述承諾值進行零知識證明，驗證所述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同；如果是，將與所述輸出資產對象對應的承諾值發布至所述區塊鏈進行存證。本說明書還提出一種基於區塊鏈的資產轉移裝置，應用於所述區塊鏈中的節點設備，包括：接收模組，接收資產轉移者發送的資產轉移交易；其中，所述資產轉移交易包括：至少將所述資產轉移交易的輸出資產對象的資產類型作為輸入資料輸入至承諾函數進行計算產生的承諾值；以及，用於對所述承諾值進行零知識證明的零知識證據；驗證模組，基於所述零知識證據對所述承諾值進行零知識證明，驗證所述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同；存證模組，如果是，將與所述輸出資產對象對應的承諾值發布至所述區塊鏈進行存證。本說明書還提出一種電子設備，包括：處理器；用於儲存機器可執行指令的記憶體；其中，通過讀取並執行所述記憶體儲存的與基於區塊鏈的基於區塊鏈的資產轉移的控制邏輯對應的機器可執行指令，所述處理器被促使：接收資產轉移者發送的資產轉移交易；其中，所述資產轉移交易包括：至少將所述資產轉移交易的輸出資產對象的資產類型作為輸入資料輸入至承諾函數進行計算產生的承諾值；以及，用於對所述承諾值進行零知識證明的零知識證據；基於所述零知識證據對所述承諾值進行零知識證明，驗證所述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同；如果是，將與所述輸出資產對象對應的承諾值發布至所述區塊鏈進行存證。通過以上實施例，一方面，由於上述資產轉移交易中僅携帶至少將所述資產轉移交易的輸出資產對象的資產類型作為輸入資料輸入至承諾函數進行計算得到的承諾值作為輸入資料輸入至承諾函數進行計算產生的承諾值，並不會將上述輸出資產對象的資產類型以明文的形式携帶在資產轉移交易中，使得區塊鏈可以隱藏資產轉移者轉出的資產對象的資產類型，保護資產轉移者的隱私；另一方面，由於上述資產轉移交易中還携帶了用於對上述承諾值進行零知識證明的零知識證據，使得區塊鏈中的節點設備可以在隱藏資產轉移者轉出的資產對象的資產類型的前提下，對上述零知識證據進行零知識證明，來驗證上述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同。

零知識證明(Zero Knowledge Proof)，是一種密碼學技術。利用該技術，一個證明者能夠在不向驗證者提供任何敏感的資訊的情况下，使驗證者(有一個或多個)相信某個論斷是正確的。而本說明書中旨在公開一種，通過將零知識證明(Zero Knowledge Proof)算法與區塊鏈的資產發布機制進行有機結合，使得區塊鏈中的節點設備，可以在隱藏資產轉移者轉出的資產類型的前提下，能夠正常驗證驗證上述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同的技術方案。在實現時，在區塊鏈上轉移已經持有的資產對象時，通常採用UTXO (Unspent Transaction Output 未花費交易輸出)模型，通過在區塊鏈中發布一筆資產轉移交易，來觸發銷毀資產轉出方已經持有的資產對象，並為資產轉入方重新創建一筆新的資產對象，來完成資產對象在不同持有者之間的轉移。其中，上述資產轉移交易中的輸入資產對象，即為資產轉出方已經持有的資產對象，而上述資產轉移交易中的輸出資產對象，即為需要為資產轉入方重新創建的資產對象。而資產轉移者需要在區塊鏈上轉移已經持有的資產對象時，可以將上述輸出資產對象的作為輸入資料(輸入資料中也可以包含其它類型的需要隱藏的資訊；比如，資產接收方的公鑰)，輸入至承諾函數進行計算，得到承諾值；以及，還可以基於區塊鏈搭載的零知識證明算法，產生用於對上述承諾值進行零知識證明的零知識證據(proof)。然後，資產轉移者可以基於上述承諾值和上述零知識證據，來構建資產轉移交易，並通過將上述資產轉移交易在區塊鏈中進行發送，來完成資產對象的轉移。而區塊鏈中的節點設備在收到上述資產轉移交易時，可以獲取上述資產轉移交易中携帶的上述承諾值，以及上述零知識證據，然後可以通過上述零知識證明算法，基於上述零知識證據對上述承諾值進行零知識證明，來驗證所述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同。如果經過驗證確認上述資產轉移交易的輸入資產對象與輸出資產對象的資產類型相同，將與上述輸出資產對象對應的承諾值發布至上述區塊鏈進行存證，來完成資產對象在不同持有者之間的轉移。在以上技術方案中，一方面，由於上述資產轉移交易中僅携帶至少將所述資產轉移交易的輸出資產對象的資產類型作為輸入資料輸入至承諾函數進行計算得到的承諾值作為輸入資料輸入至承諾函數進行計算產生的承諾值，並不會將上述輸出資產對象的資產類型以明文的形式携帶在資產轉移交易中，使得區塊鏈可以隱藏資產轉移者轉出的資產對象的資產類型，保護資產轉移者的隱私；另一方面，由於上述資產轉移交易中還携帶了用於對上述承諾值進行零知識證明的零知識證據，使得區塊鏈中的節點設備可以在隱藏資產轉移者轉出的資產對象的資產類型的前提下，對上述零知識證據進行零知識證明，來驗證上述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同。下面通過具體實施例並結合具體的應用場景對本說明書進行描述。請參考圖1，圖1是本說明書一實施例提供的一種基於區塊鏈的資產轉移方法，應用於區塊鏈中的節點設備，執行以下步驟：步驟102，接收資產轉移者發送的資產轉移交易；其中，所述資產轉移交易包括：至少將所述資產轉移交易的輸出資產對象的資產類型作為輸入資料輸入至承諾函數進行計算產生的承諾值；以及，用於對所述承諾值進行零知識證明的零知識證據；步驟104，基於所述零知識證據對所述承諾值進行零知識證明，驗證所述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同；步驟106，如果是，將與所述輸出資產對象對應的承諾值發布至所述區塊鏈進行存證。在本說明書描述的區塊鏈，具體可以包括所支持的對象中能夠涵蓋資產對象的任意類型的區塊鏈網路。例如，在傳統的區塊鏈中，所支持的對象通常僅包括帳戶對象和合約對象，而在本說明書中，可以對區塊鏈所支持的對象進行擴展，在區塊鏈現有支持的諸如帳戶對象和合約對象的基礎上，進一步擴展出一種資產對象。其中，需要說明的是，本說明書描述的區塊鏈的類型，不進行特別限定，可以是聯盟鏈，也可以聯盟鏈以外的其它類型的區塊鏈(比如私有鏈、公有鏈等)。上述合約對象，具體可以包括由區塊鏈中的目標成員發布在區塊鏈，並在區塊鏈的分布式資料庫(即區塊鏈帳本)中收錄，用於對區塊鏈支持的資產對象進行管理的智慧型合約程式。存取區塊鏈的使用者可以通過調用上述合約對象的方式，在區塊鏈上創建一筆資產對象，以及在區塊鏈上完成持有的資產對象的在線管理。例如，在一個例子中，上述區塊鏈具體可以是一個由若干作為聯盟成員的金融機構構成的聯盟鏈，這種情况下，區塊鏈中的目標成員則可以是該聯盟鏈中，具有資產對象創建權限的作為聯盟成員的金融機構。通過該聯盟鏈可以搭建一個分布式的智慧型合約平臺，該智慧型合約平臺的運營方，可以對該智慧型合約平臺所支持的對象類型進行擴展，在現有支持的諸如帳戶對象和合約對象的基礎上，進一步擴展出一種資產對象，使得作為聯盟成員的金融機構，可以通過在區塊鏈上發布智慧型合約(合約對象)的形式，在平臺中創建一種新增的資產類型，進而存取區塊鏈的使用者，可以通過調用該智慧型合約來創建一筆資產對象以及完成持有的資產對象的在線管理。上述資產對象，可以包括智慧型資產對象；智慧型資產對象用於維護智慧型資產，該智慧型資產對應於使用者在現實世界中的任意類型的真實資產，且通過智慧型資產對象使得該智慧型資產能夠適用於在區塊鏈中進行處理，譬如特別適用於通過區塊鏈中的智慧型合約等方式對該智慧型資產對象進行處理。其中，智慧型資產對應於使用者在現實世界中的真實資產的類型，在本說明書中不進行特別限定；例如，以上述區塊鏈為由若干金融機構構成的聯盟鏈為例，在實際應用中，使用者任意形式的線下資產；比如，資金、房產、股票、貸款合同、票據、應收帳款等均可以由管理該聯盟鏈上的節點設備的金融機構，包裝成數位資產的形式，創建並發布在該聯盟鏈的分布式資料庫中。在本說明書中所描述的交易，是指使用者通過區塊鏈的客戶端創建，並需要最終發布至區塊鏈的分布式資料庫中的一筆資料。其中，區塊鏈中的交易，存在狹義的交易以及廣義的交易之分。狹義的交易是指使用者向區塊鏈發布的一筆價值轉移；例如，在傳統的比特幣區塊鏈網路中，交易可以是使用者在區塊鏈中發起的一筆轉帳。而廣義的交易是指使用者向區塊鏈發布的一筆具有業務意圖的業務資料；例如，運營方可以基於實際的業務需求搭建一個聯盟鏈，依托於聯盟鏈部署一些與價值轉移無關的其它類型的在線業務(比如，虛擬資產業務、租房業務、車輛調度業務、保險理賠業務、信用服務、醫療服務等)，而在這類聯盟鏈中，交易可以是使用者在聯盟鏈中發布的一筆具有業務意圖的業務消息或者業務請求。需要說明的是，上述區塊鏈搭載的共識算法，在本說明書中不進行特別限定；在實際應用中，具體可以採用拜占庭容錯(Byzantine Fault Tolerance)系列算法作為共識算法，也可以採用非拜占庭容錯系列算法作為共識算法。其中，所謂拜占庭容錯算法，是指在由若干個節點設備組成的分布式網路中，需要考慮拜占庭節點(即作惡節點)的分布式容錯算法；例如，pbft算法；如果採用拜占庭容錯算法在區塊鏈網路中進行共識處理時，會認為區塊鏈中同時存在作惡節點和故障節點。而相應的，所謂非拜占庭容錯算法，是指在由若干個節點設備組成的分布式網路中，不考慮拜占庭節點的分布式容錯算法；例如，raft算法等等；如果採用非拜占庭容錯算法在區塊鏈網路中進行共識處理時，會認為區塊鏈中不存在作惡節點，而只存在故障節點。在示出的一種實施方式中，上述區塊鏈具體可以是一個由若干可信的金融機構作為聯盟成員構成的聯盟鏈。而該聯盟鏈中具有資產對象發布權限的金融機構，可以通過在聯盟鏈上發布智慧型合約(合約對象)的形式，在平臺中創建一種新增的資產類型，並可以在聯盟鏈中對該新增的資產類型進行公開發布。其中，金融機構在聯盟鏈裏發布智慧型合約的具體過程，在本說明書中不再進行詳述，本領域技術人員可以參考相關技術中的記載；例如，在實際應用中，金融機構可以基於持有的私鑰，向聯盟鏈發布一筆交易的形式，向聯盟鏈發布創建完成的智慧型合約。而聯盟鏈中各聯盟成員在通過管理的節點設備收到其它金融機構發布的交易時，可以基於聯盟鏈的共識算法，對最近一段時間內聯盟鏈中發布的交易進行共識處理，並在共識處理完成後，將該交易發布的智慧型合約收錄至聯盟鏈的分布式資料庫中。金融機構發布在聯盟鏈中的與新增的資產類型對應的智慧型合約中，可以預先聲明用於創建資產對象的執行程式。金融機構可以作為資產發布者可以通過調用上述智慧型合約中聲明的執行程式，來在線創建一筆或者多筆資產對象，然後將創建的資產對象發布給特定的資產持有方進行持有。而資產持有方可以作為資產轉移者，通過構建資產轉移交易，並將該資產轉移交易向區塊鏈進行發送，將持有的資產對象轉移給其它持有方進行持有。其中，上述資產轉移交易中的輸入資產對象，即為資產轉出方已經持有的資產對象，而上述資產轉移交易中的輸出資產對象，即為需要為資產轉入方重新創建的資產對象。需要說明的是，在實際應用中，在一些基於區塊鏈搭建的數位資產系統中，通常僅會允許一些可信的資產發布方，發布特定的一種或者多種類型的資產對象；例如，在基於區塊鏈的外匯兌換系統中，能夠在區塊鏈上發布的數位資產可能包括多種類型的外匯資產；而一些信譽高的金融機構可作為資產發布方，可能僅允許在區塊鏈上發布特定的一種或者多種外匯資產，以提供流動性。比如，某銀行的香港分行作為資產發布方，可能只允許在外匯兌換系統中發布香港在岸的港幣資產、香港在岸的美元資產。而且，出於隱私保護的目的，資產轉移者在進行資產轉移的過程中，可能還需要對被轉移的資產對象的資產類型、以及與被轉移的資產對象相關的其它形式的隱私資料進行隱藏；例如，除了可能需要對被轉移的目標資產對象的資產類型進行隱藏以外，還可能需要對被轉移的目標資產對象的資產數量、以及資產轉移者的身份進行隱藏。基於此，在本說明書中，資產轉移者在區塊鏈上轉移持有的資產對象時，可以不再將被轉移的資產對象的資產類型等隱私資料，直接携帶在構建的資產轉移交易中，上述資產轉移者可以作為零知識證明的證明方，至少將上述輸出資產對象的的資產類型作為輸入資料，輸入至承諾函數進行計算得到承諾值，並採用區塊鏈搭載的零知識證明算法，產生用於對上述承諾值進行零知識證明的零知識證據，然後將產生的上述承諾值以及上述零知識證據，携帶在構建出的資產轉移交易中在區塊鏈進行發送，來完成資產對象的轉移。 1)承諾值的產生上述承諾函數，是一種在密碼學、安全、隱私保護領域經常使用的，用於在不泄露原始資料情况下對原始資料進行承諾的單向函數。承諾函數的輸出值稱為承諾值(或者簡稱承諾)。基於單向函數的特性，將原始資料輸入承諾函數計算得到承諾值後，從承諾值無法通過反向計算還原出原始資料。同時，無法找到兩個不同的原始資料，使得它們的承諾值相等。例如，在示出的一種實現方式中，上述承諾函數通常可以採用哈希函數；在這種情况下，上述承諾值則可以是至少將需要發布的該目標資產對象的資產類型作為輸入資料，輸入至哈希函數進行計算得到的哈希值。需要說明的是，在本說明書中，在基於承諾函數計算上述承諾值時所採用的輸入資料的具體內容，通常取决於在轉移資產對象時需要隱藏的內容。在實際應用中，承諾函數的輸入資料除了可以包含需要隱藏的被轉移的資產對象的資產類型以外，還可以包含諸如被轉移資產對象的資產數量、上述被轉移資產對象的接收方公鑰(接收方可以是資產轉移者，也可以是第三方)、以及還可以包含產生的隨機數，等等，在本說明書中不再進行一一列舉。 2)零知識證據的產生在本說明書中，區塊鏈搭載的零知識證據算法的算法類型，在本說明書中不進行特別限定；例如，在示出的一種實施方式中，區塊鏈可以搭載諸如zksnark算法、zkstark算法等通用的零知識證明算法；比如，在實現時，可以將zksnark算法、zkstark算法等零知識證明算法的算法邏輯相關的執行代碼，植入智慧型合約發布到區塊鏈中；進而，後續可以通過調用智慧型合約，執行智慧型合約中植入的零知識證明算法的算法邏輯相關的執行代碼，來完成proof的產生，以及proof的零知識驗證等零知識證明過程。其中，區塊鏈搭載的零知識算法，通常可以包括密鑰產生算法、proof產生算法、以及proof驗證算法。密鑰產生算法負責計算產生證明密鑰(可以作為產生proof的輸入資料)和驗證密鑰(可以作為驗證proof的輸入資料)；proof產生算法負責產生proof；而proof驗證算法則負責驗證proof，得到true 或者 false的驗證結果。例如，以zksnark算法為例，zksnark算法由G、P、V三種算法組成。G算法為一個密鑰產生器，負責產生證明密鑰和驗證密鑰；P算法負責產生proof，V算法負責對P算法產生的proof進行驗證，得到true 或者 false的驗證結果。其中，需要說明的是，資產轉移者在基於區塊鏈搭載的零知識證據產生算法計算proof時，所採用的輸入資料的具體內容，通常取决於最終需要進行零知識證明的論斷。在本說明書中，最終需要進行零知識證明的論斷具體可以包括，上述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同。當然，最終需要進行零知識證明的論斷的具體內容，通常取决於使用者的具體需求，在實際應用中，最終需要進行零知識證明的論斷也可以包括除了以上描述的論斷以外的其它論斷，在本說明書中不再進行一一列舉。例如，最終需要進行零知識證明的論斷具體可以包括，上述資產轉移交易的輸入資產對象與輸出資產對象的資產數量是否相同，等等。在這種情况下，基於以上需要零知識證明的論斷，資產轉移者在基於零知識證據產生算法計算proof時，所採用的輸入資料的具體內容，則至少需要包括通過承諾函數計算得到的承諾值，上述輸入資產對象的資產類型、以及上述輸出資產對象的資產類型。也即，資產轉移者至少需要將上述承諾值，上述輸入資產對象的資產類型、以及上述輸出資產對象的資產類型，輸入至零知識證據產生算法進行計算，來產生用於對上述承諾值進行零知識證明的proof。其中，需要說明的是，由於一筆資產對象的轉移，是指將一筆由資產轉移房持有的已經在區塊鏈中發布並且存證的資產對象，轉移給另外一個資產持有方進行持有；因此，在進行零知識證明時，除了需要驗證上述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同以外，通常也需要驗證上述輸入資產對象是否對應一筆已經在區塊鏈中發布並且存證的資產對象；也即，只有上述資產轉移交易中的輸入資產對象是一筆已經“上鏈”的已有資產對象，本次交易對象的轉移操作才能夠正常執行；否則，會認為本次資產轉移是一筆非法的資產轉移(即將一筆不存在的資產轉移給另一個持有者)。基於此，在本說明書中，最終需要進行零知識證明的論斷具體可以包括，上述輸入資產對象的承諾值是否對應一筆已經在區塊鏈上存證的資產對象；以及上述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同。在這種情况下，基於以上需要零知識證明的論斷，資產轉移者在基於零知識證據產生算法計算proof時，所採用的輸入資料的具體內容，除了需要包括通過承諾函數計算得到的承諾值，上述輸入資產對象的資產類型、以及上述輸出資產對象的資產類型以外，還需要包括上述輸入資產對象的承諾值。其中，需要說明的是，上述資產轉移者在區塊鏈發布上述目標資產對象時，除了可以在交易中對所發布的目標資產對象的資產類型進行隱藏以外，在實際應用中，上述區塊鏈也可以對上述輸入資產對象的相關資訊進行有選擇的隱藏(即對轉出的資產對象進行隱藏)。在這種情况下，如果上述區塊鏈支持隱藏上述輸入資產對象的相關資訊，資產轉移者在基於零知識證據產生算法計算proof時，所採用的輸入資料的具體內容，可以包括通過承諾函數計算得到的承諾值，上述輸入資產對象的資產類型、上述輸出資產對象的資產類型以外，以及與上述輸入資產對象的承諾值對應的標識資訊。也即，在這種情况下，資產轉移者至少需要將上述承諾值，上述輸入資產對象的資產類型、上述輸出資產對象的資產類型，以及上述輸入資產對象的承諾值、或者與上述輸入資產對象的承諾值對應的標識資訊輸入至零知識證據產生算法進行計算，來產生用於對上述承諾值進行零知識證明的proof。其中，上述標識資訊用於唯一標識一筆輸入資產對象的承諾值。而為了實現輸入資產對象的資訊隱藏，上述輸入資產對象的承諾值與承諾值的標識資訊之間的對應關係，可以僅由上述輸入資產對象的持有者進行維護。例如，在一種實現方式中，上述標識資訊具體可以是與承諾值的編號，承諾值與承諾值的編號之間的對應關係，可以僅由上述輸入資產對象的持有者進行維護，進而將將承諾值的編號上鏈進行公開，也僅有上述輸入資產對象的持有者能夠獲知與該編號對應的承諾值，而其它的資產持有者僅能獲知到該編號對應一筆鏈上已有的資產對象，並不能獲知到該資產對象的具體資訊，從而可以達到隱藏上述輸入資產對象的效果。當然，如果上述區塊鏈不支持隱藏上述輸入資產對象的相關資訊，資產轉移者在基於零知識證據產生算法計算proof時，所採用的輸入資料的具體內容，可以包括通過承諾函數計算得到的承諾值，上述輸入資產對象的資產類型、上述輸出資產對象的資產類型以外，以及與上述輸入資產對象的原始承諾值。在以下實施例中，將以區塊鏈支持隱藏輸入交易對象的相關資訊進行說明。 3)針對承諾值的零知識驗證當區塊鏈中的節點設備(比如參與共識的節點設備)接收到上述資產轉移者發送的資產轉移交易時，可以獲取上述資產轉移交易中携帶的proof和承諾值等資訊，基於上述proof發起對上述承諾值的零知識證明，以確認上述輸入資產對象的承諾值的標識資訊是否對應一筆已在區塊鏈上存證的資產對象的承諾值；以及，上述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同。具體地，上述節點設備作為零知識證明的驗證方，可以至少將上述proof和上述承諾值，作為零知識驗證算法的輸入資料，輸入至零知識證據驗證算法中進行計算，然後基於零知識證據驗證算法的輸出結果，來確定上述標識資訊是否對應一筆已在區塊鏈上存證的資產對象的承諾值(僅能獲知是否與鏈上的一筆資產對象的承諾值相對應，而並不能獲知具體是和哪一筆資產對象的承諾值對應)；以及，上述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同；例如，以zksnark算法為例，在對proof進行零知識驗證時，可以將上述proof和上述承諾值作為輸入資料輸入 zksnark算法中的V算法進行計算；如果V算法輸出結果為true，表示需要零知識證明的以上論斷為真，此時上述標識資訊對應已在區塊鏈上存證的一筆資產對象的承諾值；並且，上述資產轉移交易的輸入資產對象與輸出資產對象的資產類型相同；反之，V算法輸出結果為false，表示需要零知識證明的以上論斷為假，此時上述輸入資產對象的承諾值對應的標識資訊並不對應已在區塊鏈上存證的資產對象的承諾值(即輸入資產對象可能是一筆並不存在的資產對象)；或者，上述資產轉移交易的輸入資產對象與輸出資產對象的資產類型不相同。其中，需要說明的是，將上述proof和上述承諾值作為輸入資料輸入上述零知識證據驗證算法進行零知識證明的具體算法邏輯，在本說明書中不再進行詳述，本領域技術人員在將本說明書的技術方案付諸實現時，可以參考相關技術中的記載。 4)承諾值發布存證在本說明書中，當上述節點設備通過零知識證明，確定上述標識資訊對應已在區塊鏈上存證的資產對象的承諾值；並且，上述資產轉移交易的輸入資產對象與輸出資產對象的資產類型相同，此時該筆資產轉移交易為合法交易：一方面，可以將上述資產轉移交易中携帶的，與上述輸出資產對象對應的承諾值發布至區塊鏈進行存證；例如，該節點設備可以將該承諾值記錄到區塊鏈的分布式資料庫中；另一方面，由於上述輸入資產對象，為上述資產轉移方已經持有的資產對象，區塊鏈中已經存證了與該資產對象對應的承諾值，因此實現對該筆資產對象的“匿名銷毀”，上述節點設備可以將與上述輸入資產對象的承諾值對應的標識資訊也發布至區塊鏈進行存證，以指示該標識資訊所指示的輸入資產對象，已經轉移給其它資產持有方進行持有。由於上述標識資訊與上述輸入資產對象的承諾值之間的對應關係，僅由上述資產轉移者持有，其它資產持有方僅能獲知該標識資訊代表一筆已經上鏈的資產對象，並無法獲知到該標識資訊具體代表的是哪一筆已有資產，因此可以達到匿名隱藏轉出的資產對象的效果。當然，如果上述節點設備通過零知識證明，確定上述標識資訊並對應任何一筆已在區塊鏈上存證的資產對象的承諾值；或者，上述資產轉移交易的輸入資產對象與輸出資產對象的資產類型並不相同，表明上述資產轉移交易可能是一筆非法的交易，在這種情况下，該節點設備可以直接對上述資產轉移交易進行丟棄處理，同時可以向上述資產轉移方返回一個轉移失敗的提示消息；例如，該提示消息具體可以是一條“被轉移資產不存在，請核實”；或者，“轉移資產類型不符，請核實”的文本提示。在以上技術方案中，一方面，由於上述資產轉移交易中僅携帶至少將所述資產轉移交易的輸出資產對象的資產類型作為輸入資料輸入至承諾函數進行計算得到的承諾值作為輸入資料輸入至承諾函數進行計算產生的承諾值，並不會將上述輸出資產對象的資產類型以明文的形式携帶在資產轉移交易中，使得區塊鏈可以隱藏資產轉移者轉出的資產對象的資產類型，保護資產轉移者的隱私；另一方面，由於上述資產轉移交易中還携帶了用於對上述承諾值進行零知識證明的零知識證據，使得區塊鏈中的節點設備可以在隱藏資產轉移者轉出的資產對象的資產類型的前提下，對上述零知識證據進行零知識證明，來驗證上述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同。與上述方法實施例相對應，本說明書還提供了一種基於區塊鏈的資產轉移裝置的實施例。本說明書的基於區塊鏈的資產轉移裝置的實施例可以應用在電子設備上。裝置實施例可以通過軟體實現，也可以通過硬體或者軟硬體結合的方式實現。以軟體實現為例，作為一個邏輯意義上的裝置，是通過其所在電子設備的處理器將非揮發性記憶體中對應的計算機程式指令讀取到內存中運行形成的。從硬體層面而言，如圖2所示，為本說明書的基於區塊鏈的資產轉移裝置所在電子設備的一種硬體結構圖，除了圖2所示的處理器、內存、網路介面、以及非揮發性記憶體之外，實施例中裝置所在的電子設備通常根據該電子設備的實際功能，還可以包括其他硬體，對此不再贅述。圖3是本說明書一示例性實施例示出的一種基於區塊鏈的資產轉移裝置的方塊圖。請參考圖3，所述基於區塊鏈的資產轉移裝置30可以應用在前述圖3所示的電子設備中，包括有：接收模組301、驗證模組302和存證模組303。其中，接收模組301，接收資產轉移者發送的資產轉移交易；其中，所述資產轉移交易包括：至少將所述資產轉移交易的輸出資產對象的資產類型作為輸入資料輸入至承諾函數進行計算產生的承諾值；以及，用於對所述承諾值進行零知識證明的零知識證據；驗證模組302，基於所述零知識證據對所述承諾值進行零知識證明，驗證所述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同；存證模組303，如果是，將與所述輸出資產對象對應的承諾值發布至所述區塊鏈進行存證。在本實施例中，所述存證模組302：如果是，將與所述輸入資產對象的承諾值對應的標識資訊發布至所述區塊鏈進行存證。在本實施例中，所述零知識證據，由所述資產轉移者至少將所述承諾值、所述輸入資產對象的資產類型、以及所述輸出資產對象的資產類型作為輸入資料，輸入至所述區塊鏈搭載的零知識證據產生算法進行計算產生。在本實施例中，所述區塊鏈支持隱藏所述輸入資產對象的相關資訊；所述零知識證據產生算法的輸入資料包括所述承諾值、所述輸入資產對象的資產類型、所述輸出資產對象的資產類型、以及與上述輸入資產對象的承諾值對應的標識資訊。在本實施例中，所述驗證模組302，基於所述零知識證據對所述承諾值進行零知識證明，驗證所述標識資訊是否對應已在區塊鏈上存證的資產對象的承諾值；以及，資產轉移者驗證所述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同。在本實施例中，所述驗證模組302：至少將所述零知識證據，以及所述承諾值，作為零知識證據驗證算法的輸入資料，輸入至零知識證據驗證算法進行計算；基於所述零知識證據驗證算法的輸出結果，驗證所述標識資訊是否對應已在區塊鏈上存證的資產對象的承諾值；以及，驗證所述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同。在本實施例中，所述承諾函數為哈希函數；所述區塊鏈搭建的零知識證明算法為zksnark算法，或者zkstark算法。上述裝置中各個模組的功能和作用的實現過程具體詳見上述方法中對應步驟的實現過程，在此不再贅述。對於裝置實施例而言，由於其基本對應於方法實施例，所以相關之處參見方法實施例的部分說明即可。以上所描述的裝置實施例僅僅是示意性的，其中所述作為分離部件說明的單元可以是或者也可以不是物理上分開的，作為單元顯示的部件可以是或者也可以不是物理單元，即可以位於一個地方，或者也可以分布到多個網路單元上。可以根據實際的需要選擇其中的部分或者全部模組來實現本說明書方案的目的。本領域普通技術人員在不付出創造性勞動的情况下，即可以理解並實施。上述實施例闡明的系統、裝置、模組或單元，具體可以由計算機晶片或實體實現，或者由具有某種功能的產品來實現。一種典型的實現設備為計算機，計算機的具體形式可以是個人計算機、膝上型計算機、蜂窩電話、相機電話、智慧型電話、個人數位助理、媒體播放器、導航設備、電子郵件收發設備、游戲控制台、平板計算機、可穿戴設備或者這些設備中的任意幾種設備的組合。與上述方法實施例相對應，本說明書還提供了一種電子設備的實施例。該電子設備包括：處理器以及用於儲存機器可執行指令的記憶體；其中，處理器和記憶體通常通過內部總線相互連接。在其他可能的實現方式中，所述設備還可能包括外部介面，以能夠與其他設備或者部件進行通信。在本實施例中，通過讀取並執行所述記憶體儲存的與基於區塊鏈的資產轉移的控制邏輯對應的機器可執行指令，所述處理器被促使：接收資產轉移者發送的資產轉移交易；其中，所述資產轉移交易包括：至少將所述資產轉移交易的輸出資產對象的資產類型作為輸入資料輸入至承諾函數進行計算產生的承諾值；以及，用於對所述承諾值進行零知識證明的零知識證據；基於所述零知識證據對所述承諾值進行零知識證明，驗證所述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同；如果是，將與所述輸出資產對象對應的承諾值發布至所述區塊鏈進行存證。在本實施例中，通過讀取並執行所述記憶體儲存的與基於區塊鏈的資產轉移的控制邏輯對應的機器可執行指令，所述處理器還被促使：如果是，將與所述輸入資產對象的承諾值對應的標識資訊發布至所述區塊鏈進行存證。在本實施例中，通過讀取並執行所述記憶體儲存的與基於區塊鏈的資產轉移的控制邏輯對應的機器可執行指令，所述處理器還被促使：基於所述零知識證據對所述承諾值進行零知識證明，驗證所述標識資訊是否對應已在區塊鏈上存證的資產對象的承諾值；以及，驗證所述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同。在本實施例中，通過讀取並執行所述記憶體儲存的與基於區塊鏈的資產轉移的控制邏輯對應的機器可執行指令，所述處理器還被促使：至少將所述零知識證據，以及所述承諾值，作為零知識證據驗證算法的輸入資料，輸入至零知識證據驗證算法進行計算；基於所述零知識證據驗證算法的輸出結果，驗證所述標識資訊是否對應已在區塊鏈上存證的資產對象的承諾值；以及，驗證所述資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同。本領域技術人員在考慮說明書及實踐這裏公開的發明後，將容易想到本說明書的其它實施方案。本說明書旨在涵蓋本說明書的任何變型、用途或者適應性變化，這些變型、用途或者適應性變化遵循本說明書的一般性原理並包括本說明書未公開的本技術領域中的公知常識或慣用技術手段。說明書和實施例僅被視為示例性的，本說明書的真正範圍和精神由下面的申請專利範圍指出。應當理解的是，本說明書並不局限於上面已經描述並在附圖中示出的精確結構，並且可以在不脫離其範圍進行各種修改和改變。本說明書的範圍僅由所附的申請專利範圍來限制。以上所述僅為本說明書的較佳實施例而已，並不用以限制本說明書，凡在本說明書的精神和原則之內，所做的任何修改、等同替換、改進等，均應包含在本說明書保護的範圍之內。

30：基於區塊鏈的交易處理裝置 301：接收模組 302：驗證模組 303：存證模組 102：步驟 104：步驟 106：步驟

圖1是一示例性實施例提供的一種基於區塊鏈的資產轉移方法的流程圖。圖2是一示例性實施例提供的一種電子設備的結構示意圖。圖3是一示例性實施例提供的一種基於區塊鏈的資產轉移裝置的方塊圖。

Claims

一種基於區塊鏈的資產轉移方法，應用於該區塊鏈中的節點設備，包括：接收資產轉移者發送的資產轉移交易；其中，該資產轉移交易包括：至少將該資產轉移交易的輸出資產對象的資產類型作為輸入資料輸入至承諾函數進行計算產生的承諾值；以及，用於對該承諾值進行零知識證明的零知識證據；基於該零知識證據對該承諾值進行零知識證明，驗證該資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同，包括：基於該零知識證據對該承諾值進行零知識證明，驗證與該輸入資產對象的承諾值對應的標識資訊是否對應已在區塊鏈上存證的資產對象的承諾值；以及，驗證該資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同；如果是，將與該輸出資產對象對應的承諾值發布至該區塊鏈進行存證。
根據申請專利範圍第1項之方法，還包括：如果是，將與該標識資訊發布至該區塊鏈進行存證。
根據申請專利範圍第1項之方法，該零知識證據，由該資產轉移者至少將該承諾值、該輸入資產對象的資產類型、以及該輸出資產對象的資產類型作為輸入資料，輸入至該區塊鏈搭載的零知識證據產生算法進行計算產生。
根據申請專利範圍第3項之方法，該區塊鏈支持隱藏該輸入資產對象的相關資訊；該零知識證據產生算法的輸入資料包括該承諾值、該輸入資產對象的資產類型、該輸出資產對象的資產類型、以及與該標識資訊。
根據申請專利範圍第4項之方法，該基於該零知識證據對該承諾值進行零知識證明，驗證該資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同，包括：至少將該零知識證據，以及該承諾值，作為零知識證據驗證算法的輸入資料，輸入至零知識證據驗證算法進行計算；基於該零知識證據驗證算法的輸出結果，驗證該標識資訊是否對應已在區塊鏈上存證的資產對象的承諾值；以及，驗證該資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同。
根據申請專利範圍第1項之方法，該承諾函數為哈希函數；該區塊鏈搭建的零知識證明算法為zksnark算法，或者zkstark算法。
一種基於區塊鏈的資產轉移裝置，應用於該區塊鏈中的節點設備，包括：接收模組，接收資產轉移者發送的資產轉移交易；其中，該資產轉移交易包括：至少將該資產轉移交易的輸出資產對象的資產類型作為輸入資料輸入至承諾函數進行計算產生的承諾值；以及，用於對該承諾值進行零知識證明的零知識證據；驗證模組，基於該零知識證據對該承諾值進行零知識證明，驗證該資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同，包括：基於該零知識證據對該承諾值進行零知識證明，驗證與該輸入資產對象的承諾值對應的標識資訊是否對應已在區塊鏈上存證的資產對象的承諾值；以及，資產轉移者驗證該資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同；存證模組，如果是，以及將與該輸出資產對象對應的承諾值發布至該區塊鏈進行存證。
根據申請專利範圍第7項之裝置，該存證模組：如果是，將與該標識資訊發布至該區塊鏈進行存證。
根據申請專利範圍第7項之裝置，該零知識證據，由該資產轉移者至少將該承諾值、該輸入資產對象的資產類型、以及該輸出資產對象的資產類型作為輸入資料，輸入至該區塊鏈搭載的零知識證據產生算法進行計算產生。
根據申請專利範圍第9項之裝置，該區塊鏈支持隱藏該輸入資產對象的相關資訊；該零知識證據產生算法的輸入資料包括該承諾值、該輸入資產對象的資產類型、該輸出資產對象的資產類型、以及與該標識資訊。
根據申請專利範圍第10項之裝置，該驗證模組：至少將該零知識證據，以及該承諾值，作為零知識證據驗證算法的輸入資料，輸入至零知識證據驗證算法進行計算；基於該零知識證據驗證算法的輸出結果，驗證該標識資訊是否對應已在區塊鏈上存證的資產對象的承諾值；以及，驗證該資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同。
根據申請專利範圍第7項之裝置，該承諾函數為哈希函數；該區塊鏈搭建的零知識證明算法為zksnark算法，或者zkstark算法。
一種基於區塊鏈的資產轉移之電子設備，包括：處理器；用於儲存機器可執行指令的記憶體；其中，通過讀取並執行該記憶體儲存的與基於區塊鏈的基於區塊鏈的資產轉移的控制邏輯對應的機器可執行指令，該處理器被促使：接收資產轉移者發送的資產轉移交易；其中，該資產轉移交易包括：至少將該資產轉移交易的輸出資產對象的資產類型作為輸入資料輸入至承諾函數進行計算產生的承諾值；以及，用於對該承諾值進行零知識證明的零知識證據；基於該零知識證據對該承諾值進行零知識證明，驗證該資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同，包括：基於該零知識證據對該承諾值進行零知識證明，驗證與該輸入資產對象的承諾值對應的標識資訊是否對應已在區塊鏈上存證的資產對象的承諾值；以及，驗證該資產轉移交易的輸入資產對象與輸出資產對象的資產類型是否相同；如果是，以及將與該輸出資產對象對應的承諾值發布至該區塊鏈進行存證。