CN119515389A 基于非交互式零知识证明算法实现双离线验证方法及系统 （中国计量大学）

基于非交互式零知识证明算法实现双离线本发明公开一种基于非交互式零知识证明曲线进行加密，基于加密结果对付款方交易凭2基于交易数据公钥对交易关系进行初步验证，若交易数据公钥符合ECC曲线上的任意2.根据权利要求1所述的基于非交互式零知识证明算法实现双离线验证方法，其特征其中，(R.+R,-R)8Q表示交易数据的加及减，Q,H分别表示ECC曲线上特定点，分别表示付款方及收款方的交易数据，3.根据权利要求1所述的基于非交互式零知识证明算法实现双离线验证方法，其特征其中，R,P.,P分别表示付款方交易凭证、交易凭证来源及付款方交易找零凭证，表示ECC曲线上特定点的乘及加，R,R,,R分别表示付款方及收款方在交易时由真随机数4.根据权利要求1所述的基于非交互式零知识证明算法实现双离线验证方法，其特征3将付款方的随机点R.和验证方的随机点R进行关联，得到收款方的将收款方的随机点R,发送给验证方，基于ECC曲线上的点Q对收款方的其中，R,P.,P分别表示付款方交易凭证、交易凭证来源及付款方交易找零凭证，分别表示付款方及收款方的交易数据，Q,H分别表示ECC曲线上特定5.根据权利要求1所述的基于非交互式零知识证明算法实现双离线验证方法，其特征表示付款方及收款方在交易时由真随机数生成器生成的随机数，K,8Q表示付款方随机6.根据权利要求1所述的基于非交互式零知识证明算法实现双离线验证方法，其特征4其中，P,P.,P分别表示付款方交易凭证、交易凭证来源及付款方交易找零凭证，Q,H分别表示ECC曲线上特定点，c,e分别表示ECC曲线上特定点的乘及加，7.根据权利要求1所述的基于非交互式零知识证明算法实现双离线验证方法，其特征:::)8.一种基于非交互式零知识证明算法实现双离线验证所述初步验证模块，基于交易数据公钥对交易关系进行初步验证所述第一计算模块，用于基于付款方及收款方的交易数据和隐藏因9.一种计算机可读存储介质，所述计算机可读存储介质存所述计算机程序时实现如权利要求1至7任意一项5[0004]当前的零知识证明算法主要分为两大类，用以验证款方及收款方的交易数据公钥；6基于交易数据公钥对交易关系进行初步验证，若交易数据公钥符合ECC曲线上的其中，R,P.,P分别表示付款方交易凭证、交易凭证来源及付款方交易找零凭证，表示ECC曲线上特定点的乘及加，R,R,,R分别表示付款方及收款方在交易时由真随机数将付款方的随机点R.和验证方的随机点R进行关联，得到收款方的随机点R,，将收款方的随机点R,发送给验证方，基于ECC曲线上的点Q对收款方的随机点R,7其中，R,P.,P分别表示付款方交易凭证、交易凭证来源及付款方交易找零凭证，分别表示付款方及收款方的交易数据，Q,H分别表示ECC曲线上特定其中，R,P.,P分别表示付款方交易凭证、交易凭证来源及付款方交易找零凭证，表示付款方及收款方在交易时由真随机数生成器生成的随机数，S,,S;分别表示收款方签8:::)款方及收款方的交易数据公钥；基于交易数据公钥对交易关系进行初步验证，若交易数据公钥符合ECC曲线上的9款方及收款方的交易数据公钥；基于交易数据公钥对交易关系进行初步验证，若交易数据公钥符合ECC曲线上的其中，R,P.,P分别表示付款方交易凭证、交易凭证来源及付款方交易找零凭证，表示ECC曲线上特定点的乘及加，R,R,,R分别表示付款方及收款方在交易时由真随机数将付款方的随机点R.和验证方的随机点R进行关联，得到收款方的随机点R,，将收款方的随机点R,发送给验证方，基于ECC曲线上的点Q对收款方的随机点R,其中，R,P.,P分别表示付款方交易凭证、交易凭证来源及付款方交易找零凭证，分别表示付款方及收款方的交易数据，Q,H分别表示ECC曲线上特定于。椭圆曲线上的加法和标量乘法运算保持加法和乘法的交换律和结合(k+j)8H=k8HBj8H通过构造应用ECC加法和乘法交换律的特性的计算公式，将需要验证的信息适当实际金额。拥有私钥即拥有交易输出的所有权：交易输出通过拥有ECC私钥来保证其所有[0029]还涉及到交易算法，通过Q和H为某已知ECC加密曲线上的特定点，此点会预先选:::)在一个次具体的交易中，输入凭证币值应于找零币值与收款方收款币值之和相V+V,-V=0付款方为本次交易币值的来源付款方交易找零币值收款方需要收款币值只有当付款方输入凭证有足够的币值并且与交易找零币值与收款方收款明相同的问题在于交易过程中不透露双方信息的情况下让验证方（收款方）获取“(R+R,-R)8Q”值，或可以证明“(R+R,-R)8Q”为在曲线Q上的一个公钥即可证明交易成立。证收款方需要收款凭证根据以上信息，付款方交易找零凭证展开后为：R=(R,+R)8Q田V8H其中，R,P.,P分别表示付款方交易凭证、交易凭证来源及付款方交易找零凭证，分别表示付款方及收款方的交易数据，Q,H分别表示ECC曲线上特定付款方签名：S,=(K,+EXR)8Q收款方签名：S,=(K,+EXR,)8Q交易签名：S'=S,+S,=(K,+K,)8QBEX(R,+R,)8Q交易签名：K'=K,8GBK,8Q=(K,+K,)