[發明專利]交互式零知識證明方法、裝置、計算機設備和存儲介質

在審

• 申請號: 202010037165.1
• 申請日: 2020-01-14
• 公開（公告）號: CN111277416A
• 公開（公告）日: 2020-06-12
• 發明（設計）人: 袁立威;李志輝;王凌斌;陳海洋
• 申請（專利權）人: 平安壹錢包電子商務有限公司
• 主分類號: H04L9/32
• 分類號: H04L9/32;H04L9/30;H04L29/06;G06Q20/06;G06Q20/38;G06Q40/04
• 代理公司: 廣州華進聯合專利商標代理有限公司 44224
• 代理人: 陳小娜

1.一種交互式零知識證明方法，所述方法包括：

獲取資源轉移網絡中資源轉移節點產生的資源轉移數據；

根據所述資源轉移數據生成零知識證明，獲取所述零知識證明對應的計算機完整性語言數據；

將計算機完整性語言數據分別轉換成多項式約束形式得到多項式，并將多項式線性組合后發送至驗證節點；

基于FRI協議對線性組合多項式進行低度測試，發送低度測試數據至所述驗證節點，由所述驗證節點根據所述低度測試數據驗證所述線性組合多項式的最大度數是否小于預設值；

當接受所述驗證節點反饋的證明接受消息時，判定本次資源轉移有效，所述證明接受消息由所述驗證節點根據所述低度測試數據驗證所述線性組合多項式的最大度數小于預設值時生成。

2.根據權利要求1所述的方法，其特征在于，所述將計算機完整性語言數據分別轉換成多項式約束形式得到多項式，并將多項式線性組合后發送至驗證節點包括：

將所述計算機完整性語言數據編碼成多項式，將所述多項式分別發送至所述驗證節點；

接收所述驗證節點反饋的組合因子，根據所述組合因子將所述計算機完整性語言數據對應的多項式進行線性組合，得到線性組合多項式；

將所述線性組合多項式發送至所述驗證節點，由所述驗證節點驗證所述線性組合多項式中組合因子為已反饋至證明節點的組合因子。

3.根據權利要求2所述的方法，其特征在于，所述將所述計算機完整性語言數據編碼成多項式包括：

根據計算機完整性語言數據生成初始多項式A；

提取所述計算機完整性語言數據中輸入向量x；

根據所述初始多項式A和所述輸入向量x生成執行跟蹤，記錄每一步執行的多項式輸入和多項式輸出；

根據記錄的數據，采用reed-solomon算法對多項式系數進行糾錯，得到所述計算機完整性語言數據對應的多項式。

4.根據權利要求1所述的方法，其特征在于，所述基于FRI協議對線性組合多項式進行低度測試，發送所述低度測試數據至驗證節點包括：

獲取線性組合多項式的度數，將所述線性組合多項式分解為兩個度數相同的組合多項式；

發送分解后的組合多項式至所述驗證節點，接收所述驗證節點發送的隨機數；

將所述隨機數更新至分解后的組合多項式，并將更新后的組合多項式發送至所述驗證節點；

將分解后的組合多項式重新作為新的線性組合多項式，返回所述獲取線性組合多項式的度數，將所述線性組合多項式分解為兩個度數相同的組合多項式的步驟，直至得到只包含常量因子的多項式；

推送所述只包含常量因子的多項式至所述驗證節點。

5.根據權利要求4所述的方法，其特征在于，所述推送所述只包含常量因子的多項式至所述驗證節點之后，還包括：

接收所述驗證節點發送的查詢消息，所述查詢消息攜帶所述驗證節點在預設數值范圍內生成的隨機數Z和-Z；

計算變量為Z和變量為-Z時分解后的組合多項式的值，并將分解后的組合多項式的值反饋至所述驗證節點；

接收所述驗證節點查詢分解前線性組合多項式的值的消息，反饋分解前線性組合多項式的值至所述驗證節點，以使所述驗證節點驗證對比接收到的分解前線性組合多項式的值與本地已存的分解前線性組合多項式的值，所述本地已存的分解前線性組合多項式的值由驗證節點根據分解后的組合多項式的值計算得到，當對比結果表征一致時，所述驗證節點判定本次接收到的線性組合多項式正確；

接收所述驗證節點返回的證明接受消息，所述證明接受消息由所述驗證節點驗證每次接收的線性組合多項式正確時生成。

6.根據權利要求1所述的方法，其特征在于，所述資源轉移數據包括資源轉出地址、資源接收地址以及資源轉移值，所述計算機完整性語言數據包括資源轉出地址合法性校驗數據、資源接收地址合法性校驗數據、余額合法性校驗數據以及轉賬平衡校驗數據。