[发明专利]交互式零知识证明方法、装置、计算机设备和存储介质

权利要求书

1.一种交互式零知识证明方法，所述方法包括：

获取资源转移网络中资源转移节点产生的资源转移数据；

根据所述资源转移数据生成零知识证明，获取所述零知识证明对应的计算机完整性语言数据；

将计算机完整性语言数据分别转换成多项式约束形式得到多项式，并将多项式线性组合后发送至验证节点；

基于FRI协议对线性组合多项式进行低度测试，发送低度测试数据至所述验证节点，由所述验证节点根据所述低度测试数据验证所述线性组合多项式的最大度数是否小于预设值；

当接受所述验证节点反馈的证明接受消息时，判定本次资源转移有效，所述证明接受消息由所述验证节点根据所述低度测试数据验证所述线性组合多项式的最大度数小于预设值时生成。

2.根据权利要求1所述的方法，其特征在于，所述将计算机完整性语言数据分别转换成多项式约束形式得到多项式，并将多项式线性组合后发送至验证节点包括：

将所述计算机完整性语言数据编码成多项式，将所述多项式分别发送至所述验证节点；

接收所述验证节点反馈的组合因子，根据所述组合因子将所述计算机完整性语言数据对应的多项式进行线性组合，得到线性组合多项式；

将所述线性组合多项式发送至所述验证节点，由所述验证节点验证所述线性组合多项式中组合因子为已反馈至证明节点的组合因子。

3.根据权利要求2所述的方法，其特征在于，所述将所述计算机完整性语言数据编码成多项式包括：

根据计算机完整性语言数据生成初始多项式A；

提取所述计算机完整性语言数据中输入向量x；

根据所述初始多项式A和所述输入向量x生成执行跟踪，记录每一步执行的多项式输入和多项式输出；

根据记录的数据，采用reed-solomon算法对多项式系数进行纠错，得到所述计算机完整性语言数据对应的多项式。

4.根据权利要求1所述的方法，其特征在于，所述基于FRI协议对线性组合多项式进行低度测试，发送所述低度测试数据至验证节点包括：

获取线性组合多项式的度数，将所述线性组合多项式分解为两个度数相同的组合多项式；

发送分解后的组合多项式至所述验证节点，接收所述验证节点发送的随机数；

将所述随机数更新至分解后的组合多项式，并将更新后的组合多项式发送至所述验证节点；

将分解后的组合多项式重新作为新的线性组合多项式，返回所述获取线性组合多项式的度数，将所述线性组合多项式分解为两个度数相同的组合多项式的步骤，直至得到只包含常量因子的多项式；

推送所述只包含常量因子的多项式至所述验证节点。

5.根据权利要求4所述的方法，其特征在于，所述推送所述只包含常量因子的多项式至所述验证节点之后，还包括：

接收所述验证节点发送的查询消息，所述查询消息携带所述验证节点在预设数值范围内生成的随机数Z和-Z；

计算变量为Z和变量为-Z时分解后的组合多项式的值，并将分解后的组合多项式的值反馈至所述验证节点；

接收所述验证节点查询分解前线性组合多项式的值的消息，反馈分解前线性组合多项式的值至所述验证节点，以使所述验证节点验证对比接收到的分解前线性组合多项式的值与本地已存的分解前线性组合多项式的值，所述本地已存的分解前线性组合多项式的值由验证节点根据分解后的组合多项式的值计算得到，当对比结果表征一致时，所述验证节点判定本次接收到的线性组合多项式正确；

接收所述验证节点返回的证明接受消息，所述证明接受消息由所述验证节点验证每次接收的线性组合多项式正确时生成。

6.根据权利要求1所述的方法，其特征在于，所述资源转移数据包括资源转出地址、资源接收地址以及资源转移值，所述计算机完整性语言数据包括资源转出地址合法性校验数据、资源接收地址合法性校验数据、余额合法性校验数据以及转账平衡校验数据。