Document
拖动滑块完成拼图
个人中心

预订订单
服务订单
发布专利 发布成果 人才入驻 发布商标 发布需求

在线咨询

联系我们

龙图腾公众号
首页 专利交易 IP管家助手 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 山东大学王梅获国家专利权

山东大学王梅获国家专利权

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

龙图腾网获悉山东大学申请的专利基于非交互式零知识证明构造的数据验证方法及系统获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119853927B

龙图腾网通过国家知识产权局官网在2025-07-25发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202510315026.3,技术领域涉及:H04L9/32;该发明授权基于非交互式零知识证明构造的数据验证方法及系统是由王梅;李宣仪;李增鹏;雷虹;蔡子元;苟桂甲设计研发完成,并于2025-03-18向国家知识产权局提交的专利申请。

基于非交互式零知识证明构造的数据验证方法及系统在说明书摘要公布了:本公开提供了基于非交互式零知识证明构造的数据验证方法及系统,涉及信息安全技术领域,包括:针对验证数据,对zk‑SNARKs协议进行初始化,使用环上安全编码算法对多项式在某点的求值进行编码,生成公共参考字符串以及验证密钥,构建关于计算任务的QRP问题;基于公共参考字符串,为所执行的计算对应的环上算术电路的可满足性生成一个证明;使用验证密钥中的秘密密钥结合解码算法对生成的证明中的编码内容进行解码,在明文上验证收到的证明中数据的有效性以及计算任务对应的QRP问题中多项式的整除关系,从而验证数据计算的正确性,同时保证执行验证算法所需时间小于重新执行计算任务所需时间。

本发明授权基于非交互式零知识证明构造的数据验证方法及系统在权利要求书中公布了:1.基于非交互式零知识证明构造的数据验证方法,其特征在于,包括: 针对验证数据,对zk-SNARKs协议进行初始化,使用环上安全编码算法对多项式在挑战点的求值进行编码,生成公共参考字符串以及验证密钥,构建关于计算任务的QRP问题,QRP问题将环上的计算任务规约到QRP多项式,通过将计算任务表达为算术电路,得到R1CS电路约束,即得到所有变量的赋值向量和关于电路结构的多维向量,并进一步通过插值得到多项式;QRP多项式即为赋值向量和多项式组合运算的形式; 基于公共参考字符串,为所执行的计算对应的环上算术电路的可满足性生成一个证明;包括:证明生成阶段中,证明者使用电路输入、输出和中间变量的有效赋值以及公共参考字符串,线性同态地计算多项式线性组合的编码,同时使用随机参数作为偏移量,重复计算带有偏移量的编码,证明者将计算得到的编码、带有偏移量的编码、在挑战点处商多项式的编码作为证据,构成证明; 使用验证密钥中的秘密密钥结合解码算法对生成的证明中的编码内容进行解码,在明文上验证收到的证明中数据的有效性以及计算任务对应的QRP问题中多项式的整除关系,从而验证数据计算的正确性,同时保证执行验证算法所需时间小于重新执行计算任务所需时间; 对zk-SNARKs协议进行初始化,包括:验证者执行初始化设置算法,使用基于NTRU-GSW同态加密设计的线性同态的环上多项式安全编码算法,对挑战点的幂、计算任务转换得到的QRP多项式在挑战点处的求值、多项式与作为偏移量的随机参数相乘后在挑战点处的求值、多项式线性组合在挑战点处的求值进行编码,作为公共参考字符串。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人山东大学,其通讯地址为:250000 山东省济南市历城区山大南路27号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。