一种基于PCD的数字签名批量验证方法及系统

本发明属于网络空间安全技术领域，提供了一种基于PCD的数字签名批量验证方法及系统，对于获取的数字签名，验证签名合法性，并计算承诺；初始化PCD与SNARK证明系统，生成公共参数与密钥对；对被证明计算进行算术化表示；基于算术化表示，运行PCD协议，在PCD协议产生PCD证明后，运行SNARK协议，汇总产生最终证明，对所述最终证明进行合法性验证。本发明通过利用携带证明数据(PCD)协议的内存友好特性进行优化，能够增强证明系统的可扩展性、大幅减少证明时间，同时支持大规模数量的签名验证。