[发明专利]用于零知识证明的证明方法、系统、电子设备和存储介质

权利要求书

1.一种用于零知识证明的证明方法，其特征在于包括：

获取证明参数和待证明数据，对所述证明参数和所述待证明数据进行电路合成处理，得到R1CS数据，其中，用于电路合成处理的电路包括至少一个子电路，所述R1CS数据包括至少一个R1CS子数据，每个所述子电路用于构造一个所述R1CS子数据；

当存在尚未被FFT计算处理的所述R1CS子数据时，基于所述R1CS子数据，使用GPU进行FFT计算处理，得到所述R1CS子数据对应的多项式数据；

当存在尚未被FFT计算处理的所述R1CS子数据时，基于所述R1CS子数据及所述R1CS子数据对应的多项式数据，使用CPU进行MultiExp计算处理，得到所述R1CS子数据对应的证明分量；

当所有的R1CS子数据均已被FFT计算处理时，基于所述R1CS子数据及所述R1CS子数据对应的多项式数据，使用所述CPU和所述GPU并行进行MultiExp计算处理，得到所述R1CS子数据对应的证明分量；

基于所述R1CS数据中所有的R1CS子数据对应的证明分量，生成证明；

基于所述R1CS子数据及所述R1CS子数据对应的多项式数据，使用CPU进行MultiExp计算处理，得到所述R1CS子数据对应的证明分量包括：

基于所述R1CS子数据，使用CPU进行MultiExp计算处理，得到所述R1CS子数据对应的证明分量的第一分量数据，其中，所述第一分量数据与所述R1CS子数据对应的多项式数据无关；

基于所述R1CS子数据及所述R1CS子数据对应的多项式数据，使用CPU进行MultiExp计算处理，得到所述R1CS子数据对应的证明分量的第二分量数据，其中，所述第二分量数据所述R1CS子数据对应的多项式数据相关；

基于所述第一分量数据和所述第二分量数据，获取所述R1CS子数据对应的证明分量；

其中，所述第一分量数据包括：、和；所述第二分量数据包括：；表示一个有限域，个数分别为m个，表示输入的公开信息中中的元素的个数，，为中的元素，、、代表多项式，、、为随机数；

表示特定根组成的一个多项式，的阶数比的阶数小2，

。

2.根据权利要求1所述的用于零知识证明的证明方法，其特征在于，所述CPU为多核多线程CPU，所述CPU使用至少一个线程进行MultiExp计算处理，其中，每个线程包括多个协程，所述多个协程用于并发处理一个所述R1CS子数据对应的证明分量。

3.根据权利要求1所述的用于零知识证明的证明方法，其特征在于，所述CPU为多核多线程CPU，所述CPU使用多个线程进行MultiExp计算处理，其中，所述多个线程用于并行处理一个所述R1CS子数据对应的证明分量。

4.根据权利要求1所述的用于零知识证明的证明方法，其特征在于，基于所述R1CS子数据，使用GPU进行FFT计算处理，得到所述R1CS子数据对应的多项式数据包括：

使用GPU对所述至少一个R1CS子数据依次进行FFT计算处理，得到与各所述R1CS子数据对应的多项式数据。