中国科学院深圳先进技术研究院曲强获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉中国科学院深圳先进技术研究院申请的专利一种通用的zk-SNARK零知识证明优化系统和方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119070995B 。
龙图腾网通过国家知识产权局官网在2025-11-04发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202410967056.8,技术领域涉及:H04L9/32;该发明授权一种通用的zk-SNARK零知识证明优化系统和方法是由曲强;张乾强设计研发完成,并于2024-07-18向国家知识产权局提交的专利申请。
本一种通用的zk-SNARK零知识证明优化系统和方法在说明书摘要公布了:本发明公开一种通用的zk‑SNARK零知识证明优化系统和方法。该系统包括:可信设备、证明者和验证者,其中证明者利用桶算法实现多标量乘法运算,证明者包含拆分窗口单元、桶内点规约单元、窗口内规约单元和窗口聚合单元,拆分窗口单元基于设定窗口将多标量乘法运算拆分为多个子任务,所述窗口根据蒙哥马利模乘计算量动态设定;桶内点规约单元将每个椭圆曲线有限域上的点规约到桶,获得每一个子任务的结果;窗口内规约单元用于将桶号点乘被规约的桶,并将同一窗口内的桶累加归约成一个桶,获得各窗口的窗口值;窗口聚合单元基于每个窗口的窗口值,得到多标量乘法的计算结果。本发明有效优化了多标量乘法的执行效率,有利于实现zk‑SNARK证明生成过程的高效运行。
本发明授权一种通用的zk-SNARK零知识证明优化系统和方法在权利要求书中公布了:1.一种通用的zk-SNARK零知识证明优化系统,包括:可信设备、证明者和验证者,其中: 可信设备用于生成和管理该系统所需的安全参数,并生成和管理该系统中的密钥; 证明者利用桶算法实现多标量乘法运算,以生成证明,该多标量乘法运算是对于给定的椭圆曲线上的点集合和标量集合,计算点与对应标量相乘再相加的运算过程; 验证者用于将可信设备发送的密钥与证明者所生成的证明进行对比,以确认所述证明的有效性; 其中,所述证明者包含拆分窗口单元、桶内点规约单元、窗口内规约单元和窗口聚合单元,所述拆分窗口单元用于基于设定窗口将多标量乘法运算拆分为多个子任务,所述窗口的大小根据蒙哥马利模乘计算量动态设定;所述桶内点规约单元用于将每个椭圆曲线有限域上的点规约到桶,获得每一个子任务的结果;所述窗口内规约单元用于将桶号点乘被规约的桶,并将同一窗口内的桶累加归约成一个桶,获得各窗口的窗口值;所述窗口聚合单元用于基于获得的每个窗口的窗口值,得到多标量乘法的计算结果; 其中,所述拆分窗口单元根据以下公式将规模为λ-bit的多标量乘法运算拆分为多个子任务: 其中,N表示多标量乘法规模,c是设定窗口,cλ,Yj表示第j个c-bit的多标量乘法,ki,j表示第i个标量的第j个部分,i∈[1,N],j∈[1,L]; 其中,所述拆分窗口单元根据以下步骤设定窗口: 在每个子任务开始前预估所需的蒙哥马利模乘计算量,获得预估量; 根据所述预估量选择对应的窗口大小执行子任务; 实时监控每个子任务的实际计算量,并比较所述实际计算量与所述预估量的差值,以决定是否调整下一个子任务的窗口大小。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人中国科学院深圳先进技术研究院,其通讯地址为:518055 广东省深圳市南山区深圳大学城学苑大道1068号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励