[發明專利]基于SM2數字簽名的泛指定驗證者簽名證明系統

有效

• 申請號: 202110981648.1
• 申請日: 2021-08-25
• 公開（公告）號: CN113708927B
• 公開（公告）日: 2023-05-05
• 發明（設計）人: 林超;黃欣沂;伍瑋;賴建昌;寧建廷
• 申請（專利權）人: 福建師范大學
• 主分類號: H04L9/08
• 分類號: H04L9/08;H04L9/32
• 代理公司: 福州元創專利商標代理有限公司 35100
• 代理人: 陳鼎桂;蔡學俊

1.一種基于SM2數字簽名的泛指定驗證者簽名證明系統，其特征在于，包括管理員、簽名者、簽名擁有者和指定驗證者四個單元；

所述系統管理員，用于調用初始化Setup算法確定系統參數，將系統參數分享給其他單元；

所述簽名者，用于調用KGen算法生成公鑰和私鑰，并利用私鑰調用Sign算法計算消息的簽名

所述簽名擁有者，用于從簽名者獲得消息m和簽名σ，先調用驗證算法Verf驗證消息m和簽名σ的有效性，再調用轉換算法Tran得到轉換簽名和轉換密鑰tk；

所述指定驗證者，用于執行IVerf協議；

所述初始化Setup算法，具體為：算法輸入安全參數λ，隨機選取大素數q，確定非奇異橢圓曲線E:y²＝x³+ax+b(mod?q)，其中，a,

在E包含無窮遠點的所有點中選取素數n階循環群以及生成元

選取安全哈希函數

算法輸出系統參數

所述KGen算法，具體為：算法輸入系統參數pp，隨機選取計算P＝dG，算法輸出用戶的私鑰sk＝d、公鑰pk＝P；

所述Sign算法，具體為：算法輸入系統參數pp、用戶私鑰sk＝d和消息m；隨機選取計算K＝kP＝(x_K,y_K)、和r＝(e+x_K)(mod?n)；若r＝0或r+k＝n，則重新選取k再計算，否則計算s＝(1+d)^-1(k-rd)(mod?n)；若s≠0，則輸出消息m和簽名σ＝(r,s)；

所述驗證算法，具體為：算法輸入系統參數pp、用戶公鑰pk＝P、消息m和待驗證簽名σ＝(r,s)，若r,則輸出0，否則計算t＝r+s(modn)；若t＝0，則輸出0，否則計算K′＝sG+tP＝(x'_K,y'_K)和r'＝(e'+x'_K)(mod?n)；若r'＝r，則輸出1表示簽名有效，否則輸出0表示無效；

所述Tran算法，具體為：算法輸入系統參數pp、公鑰pk＝P、消息m和簽名σ＝(r,s)，隨機選取a,并計算輸出轉換簽名和轉換密鑰tk＝(a,b)；

所述IVerf協議，具體為，簽名擁有者Q與指定驗證者V執行以下交互：

1)Q首先計算K＝sG+(r+s)P，然后隨機選取α,計算D＝R+αG+αP+βP；最后，Q將D發送給V；

2)V隨機選取并將c返回給Q；

3)Q計算Z_K＝R-c_K,z_a＝α-c·a(mod?n),z_b＝β-c·b(mod?n)，并將(Z_K,z_a,z_b)發送給V；

4)V計算若D'＝D，則輸出1表示接受，否則輸出0。