基于SM9数字签名算法的范围证明协议设计 - 武汉大学密码学与区块链技术团队

2024年3月22日08:16:59评论9 views字数 808阅读2分41秒阅读模式

引用

周晓彤 , 何德彪 , 宁建廷. 基于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转换将上述交互式证明协议转换成非交互式证明协议，以适配更多应用需求。