[發明專利]零知識證明的公共參數生成方法及系統

有效

• 申請號: 201810483280.4
• 申請日: 2018-05-19
• 公開（公告）號: CN108833107B
• 公開（公告）日: 2021-06-11
• 發明（設計）人: 梅彥錚;佘士東;郭成;沈海寅;季申;翟翌華
• 申請（專利權）人: 深圳市圖靈奇點智能科技有限公司;智車優行科技（北京）有限公司
• 主分類號: H04L9/32
• 分類號: H04L9/32;H04L12/46
• 代理公司: 北京思源智匯知識產權代理有限公司 11657
• 代理人: 毛麗琴

本發明實施例公開了一種零知識證明的公共參數生成方法及系統。其中，方法包括：在協調計算過程中：多個參與計算設備中的每個計算設備依次作為當前參與計算設備，利用自身存儲的私鑰對接收到的綜合計算設備發送的數據進行加密計算，并將得到的加密數據返回綜合計算設備，若當前參與計算設備不是多個參與計算設備中的末個參與計算設備，由綜合計算設備將當前參與計算設備返回的加密數據發送給多個參與計算設備中的下一個參與計算設備；迭代執行協調計算過程，直至多個參與計算設備中的末個參與計算設備返回加密數據；綜合計算設備基于末個參與計算設備返回的至少一個加密數據生成零知識證明的公共參數。本發明實施例可以提高公共參數的安全性。

技術領域

本發明屬于計算機技術領域，特別是涉及一種零知識證明的公共參數生成方法及系統。

背景技術

零知識證明(Zero—Knowledge Proof)，是指證明者能夠在不向驗證者提供任何有用的信息的情況下，使驗證者相信某個論斷是正確的，即證明者向驗證者證明并使其相信自己知道或擁有某一消息，但證明過程不能向驗證者泄漏任何關于被證明消息的信息。對零知識證明的應用可以拓展傳統的信息安全的范疇。

零知識證明基于“公共參數”構建承諾和驗證計算的基礎。例如：通過基于單向函數的比特承諾構建可驗證數據結構；通過NP完全問題歸約技術將各類多方運算問題轉化為NP完全問題；通過構造簡明的非交互知識論證系統，實現對NP完全問題的高效、非交互式驗證計算；通過知識系數測試盲評價驗證技術對驗證過程進行加密保護。因此，公共參數是開展零知識證明的重要基礎，可以用于提升承諾及驗證計算的效率，保障承諾及驗證計算的安全性和隱密性。

發明內容

本發明實施例提供一種零知識證明的公共參數生成方法及系統，采用安全多方計算生成零知識證明的公共參數，可以提高公共參數的安全性。

根據本發明實施例的一個方面，提供一種零知識證明的公共參數生成方法，包括：

在協調計算過程中：多個參與計算設備中的每個計算設備依次作為當前參與計算設備，利用自身存儲的私鑰對接收到的綜合計算設備發送的數據進行加密計算，并將得到的加密數據返回所述綜合計算設備，若當前參與計算設備不是所述多個參與計算設備中的末個參與計算設備，由所述綜合計算設備將當前參與計算設備返回的加密數據發送給所述多個參與計算設備中的下一個參與計算設備；

迭代執行所述協調計算過程，直至所述多個參與計算設備中的末個參與計算設備返回加密數據；

所述綜合計算設備基于所述末個參與計算設備返回的至少一個加密數據生成零知識證明的公共參數。

可選地，在本發明上述方法實施例中，還包括：

所述綜合計算設備載入預設計算環境；

所述協調計算的迭代過程，包括：

所述綜合計算設備基于所述預設計算環境生成第一數據，并以所述第一數據迭代執行所述協調計算過程，直至所述多個參與計算設備中的末個參與計算設備返回加密數據；

所述綜合計算設備基于所述預設計算環境和所述第一數據返回的加密數據生成第二數據，并以所述第二數據迭代執行所述協調計算過程，直至所述多個參與計算設備中的末個參與計算設備返回加密數據；

所述綜合計算設備基于所述預設計算環境、所述第一數據返回的加密數據和所述第二數據返回的加密數據生成第三數據，并以所述第三數據迭代執行所述協調計算過程，直至所述多個參與計算設備中的末個參與計算設備返回加密數據；

所述綜合計算設備基于所述末個參與計算設備返回的至少一個加密數據生成零知識證明的公共參數，包括：

所述綜合計算設備基于所述預設計算環境、所述第一數據返回的加密數據、所述第二數據返回的加密數據和所述第三數據返回的加密數據計算得到所述零知識證明的公共參數。