恭喜山东大学王梅获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网恭喜山东大学申请的专利基于CL同态加密的指定验证者零知识证明方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119420487B 。
龙图腾网通过国家知识产权局官网在2025-03-18发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202510014068.3,技术领域涉及:H04L9/32;该发明授权基于CL同态加密的指定验证者零知识证明方法是由王梅;李文文;李增鹏;杨潇然;李宣仪;苟桂甲设计研发完成,并于2025-01-06向国家知识产权局提交的专利申请。
本基于CL同态加密的指定验证者零知识证明方法在说明书摘要公布了:本发明公开了一种基于CL同态加密的指定验证者零知识证明方法,涉及零知识证明技术领域。该方法包括设置阶段、证明阶段和验证阶段,利用设置阶段生成公共参考字符串和验证密钥,在证明阶段基于公共参考字符串和验证密钥生成证明并发送给验证者,验证者在验证阶段对证明进行解密,并以明文的形式进行线性计算完成验证过程。本发明采用CL同态加密,该加密方式具有抵抗离散对数攻击的能力,从而提高了方案的安全性。此外,本发明在验证阶段去除了双线性配对操作,改为通过解密完成验证,这一改进增强了方案的通用性。同时,采用指定验证者的zkSNARK协议,使得本发明能够有效适用于需要对证明进行访问控制的场景。
本发明授权基于CL同态加密的指定验证者零知识证明方法在权利要求书中公布了:1.基于CL同态加密的指定验证者零知识证明方法,其特征在于,包括设置阶段、证明阶段和验证阶段:设置阶段:选取相应的参数,通过CL加密算法的公私钥生成算法生成公钥和私钥,将算术电路的可满足性问题归约为QAP问题,生成公共参考字符串和验证密钥;将算术电路的可满足性问题归约为QAP问题时,QAP问题由三组多项式集合和目标多项式组成,并根据QAP问题构造QAP串;证明阶段:定义一个算数函数,证明者将输入代入算数函数得到所有的中间变量值,根据中间变量值和QAP串构造变量多项式,根据变量多项式生成商多项式并对商多项式进行计算,使用公共参考字符串中的加密参数计算加密的变量多项式和加密的商多项式,并对加密后的变量多项式进行转换和赋值计算,得到加密后的变量约束多项式、加密后的变量值一致性多项式,分别计算加密后的变量约束多项式的偏移项和商多项式的偏移项,根据加密后的商多项式、加密后的变量多项式、加密后的变量约束多项式、加密后的变量值一致性多项式和加密后的变量约束多项式的偏移项、商多项式的偏移项生成证明并发送给验证者;证明阶段的偏移项是指生成的证明中由于加入了系数值和零知识随机因子,验证者无法直接进行解密,需使用证明者发送的偏移项来完成解密,且偏移项不会泄露系数值和零知识随机因子;验证阶段:验证者对加密后的变量多项式、加密后的变量约束多项式、加密后的变量值一致性多项式和加密后的商多项式进行解密,并以明文的形式进行变量多项式约束检查、变量一致性检查和有效计算检查。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人山东大学,其通讯地址为:250100 山东省济南市历城区山大南路27号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。