1.一种基于区块链的数据存储证明方法,其特征在于,所述方法包括:
响应于针对存储至区块链上的数据的证明任务,生成相应平凡证明结果;
将所述平凡证明结果作为用于生成电路约束结果的约束输入数据,并从所述约束输入数据中,识别出约束结果具有规律性的第一约束输入数据;
基于预设的约束结果查询表,查找第一约束输入数据对应的电路约束结果;
基于第二约束输入数据进行约束计算,生成相应的电路约束结果;第二约束输入数据,是所述约束输入数据中除第一约束输入数据之外的约束输入数据;
基于得到的所述电路约束结果进行零知识证明处理,生成零知识证明结果。
2.根据权利要求1所述的方法,其特征在于,所述第一约束输入数据为多个;所述基于预设的约束结果查询表,查找第一约束输入数据对应的电路约束结果,包括:
针对每个第一约束输入数据,以所述第一约束输入数据作为键,从预设的约束结果查询表中查找与所述键对应的电路约束结果;
若查找到的电路约束结果为一个,则将查找到的所述电路约束结果,作为与所述第一约束输入数据对应的电路约束结果。
3.根据权利要求2所述的方法,其特征在于,所述方法还包括:
若查找到的电路约束结果为多个,则从所述约束输入数据中识别与所述第一约束输入数据具有关联关系的关联约束输入数据;
对所述第一约束输入数据和所述关联约束输入数据进行约束关系分析;
根据约束分析结果从查找到的多个所述电路约束结果中,识别所述第一约束输入数据最终对应的电路约束结果。
4.根据权利要求1所述的方法,其特征在于,所述基于预设的约束结果查询表,查找第一约束输入数据对应的电路约束结果,包括:
对所述第一约束输入数据进行类别识别;
当所述第一约束输入数据属于唯一性结果类别时,则从预设的约束结果查询表中,查找与所述第一约束输入数据相对应的电路约束结果;
当所述第一约束输入数据属于非唯一性结果类别时,则
对所述第一约束输入数据和相应关联约束输入数据进行约束分析,并将约束分析结果作为键,从所述约束结果查询表中查找对应的电路约束结果。
5.根据权利要求1至4中任一项所述的方法,其特征在于,所述基于得到的所述电路约束结果进行零知识证明处理,生成零知识证明结果,包括:
预测本次执行快速傅里叶变换任务所需的公共参数,并预先加载所述公共参数;
对所述电路约束结果进行有限域数据类型转换,得到类型转换结果;
调用预先加载的所述公共参数,对所述类型转换结果进行快速傅里叶变换,得到变换结果;
根据所述变换结果,生成零知识证明结果。
6.根据权利要求5所述的方法,其特征在于,所述预测本次执行快速傅里叶变换任务所需的公共参数,包括:
分析历史变换任务或变换任务执行逻辑,得到需固定生成的公共参数;其中,历史变换任务是进行快速傅里叶变换的历史任务;
根据所述需固定生成的公共参数,确定本次执行快速傅里叶变换任务所需的公共参数。
7.根据权利要求6所述的方法,其特征在于,所述根据所述变换结果,生成零知识证明结果,包括:
根据所述变换结果,得到有限域大数乘法的证明输入数据;
识别所述证明输入数据中证明结果具有规律性的第一证明输入数据;
基于预设的证明结果查询表,查找与第一证明输入数据相应的第一证明结果;
针对所述输入数据中除所述第一证明输入数据之外的第二证明输入数据,对所述第二证明输入数据进行有限域大数乘法计算,生成相应的第二证明结果;
合并所述第一证明结果和所述第二证明结果,生成零知识证明结果。
8.一种基于区块链的数据存储证明装置,其特征在于,所述装置包括:
生成模块,用于响应于针对存储至区块链上的数据的证明任务,生成相应平凡证明结果;
识别模块,用于将所述平凡证明结果作为用于生成电路约束结果的约束输入数据,并从所述约束输入数据中,识别出约束结果具有规律性的第一约束输入数据;
查找模块,用于基于预设的约束结果查询表,查找第一约束输入数据对应的电路约束结果;
所述生成模块还用于基于第二约束输入数据进行约束计算,生成相应的电路约束结果;第二约束输入数据,是所述约束输入数据中除第一约束输入数据之外的约束输入数据;基于得到的所述电路约束结果进行零知识证明处理,生成零知识证明结果。
9.一种计算机设备,包括存储器和处理器,所述存储器存储有计算机程序,其特征在于,所述处理器执行所述计算机程序时实现权利要求1至7中任一项所述的方法的步骤。
10.一种计算机可读存储介质,其上存储有计算机程序,其特征在于,所述计算机程序被处理器执行时实现权利要求1至7中任一项所述的方法的步骤。