一种基于QAP问题的ZK-SNARK新协议

摘要：

PGHR协议设计验证式的思想是单一化的,即一个验证式实现一个条件的验证,忽略了验证式的联合效应.文中通过利用额外常系数因子的互不整除性与验证式的联合效应实现对PGHR协议的有效压缩,得到新的ZK-SNARK协议——CPGHR协议,给出了新协议安全性的严格证明,并对协议的有效性进行了理论分析与实验验证.结果表明:新协议的证据量压缩约75％,验证方计算效率提升约33％.

关键词：密码学、非交互零知识证明、ZK-SNARK协议、隐私保护

所属期刊栏目：49

分类号：TP301.6(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目11671149

在线出版日期：2021-02-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：1-9