学术前沿 | 武汉大学密码学与区块链技术团队:基于SM9数字签名算法的范围证明协议设计
2024-3-21 21:14:19 Author: mp.weixin.qq.com(查看原文) 阅读量:13 收藏

引用

周晓彤 , 何德彪 , 宁建廷. 基于SM9数字签名算法的范围证明协议设计[J]. 网络空间安全科学学报, 2023, 1(2): 83-92

ZHOU Xiaotong , HE Debiao , NING Jianting. Design of Range Proof Protocols Based on SM9 Digital Signature Algorithm[J]. Journal of Cybersecurity, 2023, 1(2): 83-92

背  景

范围证明协议是一种特殊的零知识证明协议,证明者可以通过展示证据使验证者相信承诺中的元素符合指定的集合或数值范围,这些证据可以使验证者在不需要知道具体元素的情况下相信承诺的有效性,可分为集合关系证明和数值范围证明两种类型。范围证明协议在区块链隐私保护、匿名身份认证、电子货币系统、群签名等领域得到广泛应用。

为了丰富范围证明协议的国产化设计,本文主要基于SM9数字签名构造新的集合关系证明协议,并在此基础上提出新的数值范围证明协议。所设计的集合关系证明协议和数值范围证明协议都满足完备性、可靠性和诚实验证者零知识性。在不同的使用场景下,我们可以通过Fiat-Shamir转换将上述交互式证明协议转换成非交互式证明协议,以适配更多应用需求。

首  先

图1  基于SM9数字签名算法的集合关系证明协议设计

过  程

证  明

最后,本文对所设计的集合关系证明和数值范围证明两种协议进行性能分析,主要比较传输成本和计算复杂度两部分内容。性能分析结果表明本文提出的两种范围证明协议不但避免了高昂的证书管理开销,而且具有低数据量和低计算开销的特点。

表1  通信代价比较结果(单位:字节)

表2  计算开销比较结果(单位:毫秒)

论文全文下载方式

1 识别下方二维码;2 点击文末“阅读原文”。

来源:《网络空间安全科学学报》第二期

《网络空间安全科学学报》由中国航天科技集团有限公司主管、 中国航天系统科学与工程研究院主办,双月刊,国内外公开发行(CN 10-1901/TP,ISSN 2097-3136)。办刊宗旨为“搭建网络空间安全领域学术研究交流平台,传播学术思想与理论,展示科学研究、创新技术与应用成果,助力网络空间安全学科建设,为网络强国建设提供坚实支撑与服务”。

网站:www.journalofcybersec.com

电话:010-89061756/ 89061778

邮箱:[email protected]


文章来源: https://mp.weixin.qq.com/s?__biz=MzI0NjU2NDMwNQ==&mid=2247498367&idx=1&sn=c2b461b62e4adf24877592a6b2f8355a&chksm=e9bfeec1dec867d7e94313be145812d41a7a00a5fd864320fcd63b5ae4ec5d703241969c86de&scene=58&subscene=0#rd
如有侵权请联系:admin#unsafe.sh