华南理工大学学报(自然科学版)

作者：黄平 梁伟洁

单位：华南理工大学 数学学院，广东 广州 510640

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

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

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

来源：2021年第1期

《华南理工大学学报(自然科学版)》期刊编辑部

查看华南理工大学学报(自然科学版)杂志2021年第1期