[发明专利]提供机密知识的专门证明的系统和方法

权利要求书

1.一种用于在不揭露共享的数据的情况下验证根据所共享的数据而生成的证明的计算机实现的方法，所述方法包括：

从第一节点接收根据与所述第一节点相关联的第一私钥和在所述第一节点与第二节点之间共享的数据而生成的第一证明；

从所述第二节点接收根据所共享的数据和与所述第二节点相关联的第二私钥而生成的第二证明；

在不揭露所共享的数据的情况下，利用在数学上与所述第一私钥相关的第一公钥和在数学上与所述第二私钥相关的第二公钥来验证所述第一证明和所述第二证明两者都是根据所共享的数据而生成的；以及

基于所述第一证明和所述第二证明两者都是根据所共享的数据而生成的验证来执行动作。

2.根据权利要求1所述的方法，其中，所述第一证明和所述第二证明分别由所述第一节点和所述第二节点公开揭露。

3.根据权利要求1所述的方法，其中，所述动作包括公开揭露所述第一证明和所述第二证明两者都是根据所共享的数据而生成的验证。

4.根据权利要求1所述的方法，其中，所述第一证明仅归属于所述第一节点，并且其中，所述第二证明仅归属于所述第二节点。

5.根据权利要求1所述的方法，其中，所述第一证明或所述第二证明不能仅利用相应的公钥来验证。

6.根据权利要求1所述的方法，其中，所述第一证明和所述第二证明每个都包括利用相应的私钥来生成的所共享的数据的签名。

7.根据权利要求6所述的方法，其中，所述签名基于Boneh-Lynn-Shacham(BLS)签名方案。

8.根据权利要求6所述的方法，其中，所述第一证明和所述第二证明的验证包括基于两个签名、所述第一公钥和所述第二公钥的配对相等性检查。

9.根据权利要求1所述的方法，其中，验证所述第一证明和所述第二证明包括配对相等性检查。

10.根据权利要求1所述的方法，其中，所述第一证明和所述第二证明是在非交互协议中生成和验证的。

11.根据权利要求1所述的方法，其中，所共享的数据包括证明区块链内的区块的至少一个交易的执行的执行跟踪。

12.根据权利要求11所述的方法，其中，所述第一节点包括用于保证执行节点的计算的正确性的验证节点，并且其中，所述计算包括所述执行跟踪。

13.根据权利要求12所述的方法，其中，所述第二节点包括用于执行所述区块的至少一个交易的执行节点，并且其中，所述验证节点发布所述第一证明作为所述计算已被验证的证明。

14.根据权利要求12所述的方法，其中，所述动作包括向客户端提供状态响应，并且其中，所述状态响应是基于所述区块的输出来确定的。

15.根据权利要求12所述的方法，其中，所述计算被分解成块，以允许以并行且独立的方式进行计算验证，并且其中，所述动作包括通过所述执行节点和所述验证节点仲裁所述块中的每一个是根据相同的中间结果一致地生成的。