基于非交互式零知识证明构造的数据验证方法及系统

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