一种基于Spark的高效分布式零知识证明方法

本发明公开了一种基于Spark的高效分布式零知识证明方法，包括分布式计算轨迹算术中间形式构建、分布式边界约束算术中间形式构建、分布式转移约束算术中间形式构建、分布式组合约束算术中间形式构建、分布式证明生成。该方法所对应的系统基于Python与PySpark实现，在Spark平台上运行，能够有效的减少证明方所需要的证明时间以及提高证明方能够处理的计算规模，从而让证明系统具有更高的效率与可用性。本方法的数据可用性证明能够让证明方在不暴露数据本身明文信息的情况下，高效的向验证者证明数据在经过某些步骤的计算后，得到某一个输出。将计算轨迹中相邻的中间值需要满足的限制条件称为转移约束条件，将最终的公开输出称为边界约束条件。