【技术实现步骤摘要】
交互式零知识证明方法、装置、计算机设备和存储介质
本申请涉及计算机加密
,特别是涉及一种交互式零知识证明方法、装置、计算机设备和存储介质。
技术介绍
当前社会正处于信息时代,要解决好各种安全问题,密码技术的应用必不可少。目前密码学在网络、通信、支付等领域也有了广泛的应用,与人类的生活息息相关,可以说,密码学是解决现代信息安全技术的核心技术之一,在对信息安全有极高要求的资源转移网络(如交易网络,支付网络等)中,密码学更是重中之重。在传统资源转移网络中,其资源转移者可能是匿名的或者是由网络分配的临时身份,在资源转移网络上的身份所做的所有资源转移信息是透明的,也就是说第三方可以通过持续观察资源转移网络上的资源转移信息,比如资源转移金额、资源转移时间等,去把这些资源转移和某个真实的人去来联系到一起,因此,传统资源转移网络中资源转移者实际上是半匿名的。针对这种问题,密码学专家们作出了不少努力,研究出了针对性的技术,其中零知识证明技术最具代表性。零知识证明技术凭借其数学保障性,除了唯一的解之外,其他任何数字都无法解码,使其 ...
【技术保护点】
1.一种交互式零知识证明方法,所述方法包括:/n获取资源转移网络中资源转移节点产生的资源转移数据;/n根据所述资源转移数据生成零知识证明,获取所述零知识证明对应的计算机完整性语言数据;/n将计算机完整性语言数据分别转换成多项式约束形式得到多项式,并将多项式线性组合后发送至验证节点;/n基于FRI协议对线性组合多项式进行低度测试,发送低度测试数据至所述验证节点,由所述验证节点根据所述低度测试数据验证所述线性组合多项式的最大度数是否小于预设值;/n当接受所述验证节点反馈的证明接受消息时,判定本次资源转移有效,所述证明接受消息由所述验证节点根据所述低度测试数据验证所述线性组合多项 ...
【技术特征摘要】
1.一种交互式零知识证明方法,所述方法包括:
获取资源转移网络中资源转移节点产生的资源转移数据;
根据所述资源转移数据生成零知识证明,获取所述零知识证明对应的计算机完整性语言数据;
将计算机完整性语言数据分别转换成多项式约束形式得到多项式,并将多项式线性组合后发送至验证节点;
基于FRI协议对线性组合多项式进行低度测试,发送低度测试数据至所述验证节点,由所述验证节点根据所述低度测试数据验证所述线性组合多项式的最大度数是否小于预设值;
当接受所述验证节点反馈的证明接受消息时,判定本次资源转移有效,所述证明接受消息由所述验证节点根据所述低度测试数据验证所述线性组合多项式的最大度数小于预设值时生成。
2.根据权利要求1所述的方法,其特征在于,所述将计算机完整性语言数据分别转换成多项式约束形式得到多项式,并将多项式线性组合后发送至验证节点包括:
将所述计算机完整性语言数据编码成多项式,将所述多项式分别发送至所述验证节点;
接收所述验证节点反馈的组合因子,根据所述组合因子将所述计算机完整性语言数据对应的多项式进行线性组合,得到线性组合多项式;
将所述线性组合多项式发送至所述验证节点,由所述验证节点验证所述线性组合多项式中组合因子为已反馈至证明节点的组合因子。
3.根据权利要求2所述的方法,其特征在于,所述将所述计算机完整性语言数据编码成多项式包括:
根据计算机完整性语言数据生成初始多项式A;
提取所述计算机完整性语言数据中输入向量x;
根据所述初始多项式A和所述输入向量x生成执行跟踪,记录每一步执行的多项式输入和多项式输出;
根据记录的数据,采用reed-solomon算法对多项式系数进行纠错,得到所述计算机完整性语言数据对应的多项式。
4.根据权利要求1所述的方法,其特征在于,所述基于FRI协议对线性组合多项式进行低度测试,发送所述低度测试数据至验证节点包括:
获取线性组合多项式的度数,将所述线性组合多项式分解为两个度数相同的组合多项式;
发送分解后的组合多项式至所述验证节点,接收所述验证节点发送的随机数;
将所述随机数更新至分解后的组合多项式,并将更新后的组合多项式发送至所述验证节点;
将分解后的组合多项式重新作为新的线性组合多项式,返回所述获取线性组合多项式的度数,将所述线性组合多项式分解为两个度数相同的组合多项式的步骤,直至得到只包含常量因子的多项式;
推送所述只包含常量因子的多项式至所述验证节点。
5.根据权利要求4所述的方法,其特征在于,所述推送所述只包含常量因子的多项式至所述验证节点之后,还包括:
接收所述验证节点发送的查询消息,所述查询消息携带所述验...
【专利技术属性】
技术研发人员:袁立威,李志辉,王凌斌,陈海洋,
申请(专利权)人:平安壹钱包电子商务有限公司,
类型:发明
国别省市:广东;44
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。