[发明专利]用于数据交换的计算机实现的系统及方法

权利要求书

1.一种计算机实现的方法，用于实现语句(S)的零知识证明或验证从而实现证明者和验证者之间的数据的交换，其中，所述证明者有权访问第一区块链上的第一数据，且所述验证者有权访问第二区块链上的第二数据，所述方法包括：

所述证明者为第二区块链生成密钥对，将所述密钥对的公钥(P_A)发送给验证者，并保留所述密钥对的私钥(s_A)；

所述证明者接收针对第一区块链的验证者的公钥(P_B)，所述验证者已经为第一区块链生成密钥对并保留所述密钥对的私钥(s_B)；

所述证明者向所述验证者发送数据集，所述数据集包括零知识证明语句(S)、一个或多个承诺、输入(P_x)以及功能电路输出(h)；

所述证明者创建第一区块链交易所述第一区块链交易将对第一数据的访问转移到公共公钥地址(P_c)，并在第一区块链网络上广播所述交易，所述地址由输入(P_x)和验证者的公钥(P_B)之和限定

P_C＝P_B+P_x

所述证明者验证第二区块链交易所述第二区块链交易是在确认第一区块链交易包括在第一区块链中之后由验证者在第二区块链网络上创建并在第二区块链网络上广播，所述交易将对第二数据的访问转移到证明者的公钥地址(P_A)，该公钥地址(P_A)是证明者使用以下各项可访问的：

证明者的公钥地址(P_A)的有效签名(s_A)，以及

用来确定功能电路输出(h)的功能电路输入的值(x)，

并且证明者确认第二区块链交易被包括在第二区块链上，并通过提供其签名(s_A)和作为功能电路输出(h)的功能电路输入的值(x)来访问第二数据，

从而使得验证者能够观察作为用来确定功能电路输出(h)的功能电路输入的值(x)，并通过使用P_C的私钥提供签名来访问第一数据，所述P_C的私钥是来自椭圆曲线点乘法的同态性质的s_B+x。

2.根据权利要求1所述的计算机实现的方法，其中，所交换的数据是加密货币，并且所述第一数据对应于第一加密货币的量和/或所述第二数据对应于第二加密货币的量。

3.根据任一前述权利要求所述的用于实现语句(S)的零知识证明或验证的计算机实现的方法，在其中，证明者在将对语句的见证(w)保密的同时向验证者证明语句为真，所述方法包括：

所述证明者向验证者发送以下各项：

由具有m个门和n个线的算术电路表示的语句(S)，所述算术电路被配置为实施功能电路并确定对于给定的功能电路输出(h)和椭圆曲线点(P)，至功能电路的线的功能电路输入(s)是否等于对应的椭圆曲线点乘数(s)；

针对电路的线的单独的线承诺和/或成批的承诺；

功能电路输出(h)；以及

证明密钥(PrK)，

这使得验证者能够确定电路得到满足并计算椭圆曲线点(P)且验证所述语句，从而确定证明者拥有对语句的见证(w)。

4.根据权利要求3所述的计算机实现的方法，其中，所述证明者发送单独的线承诺，并且使用∑协议与验证者进行通信以证明知道见证(w)。

5.根据权利要求3所述的计算机实现的方法，其中，所述证明者从验证者接收挑战值(x)，并以公开进行响应。

6.根据权利要求3或4所述的计算机实现的方法，其中，所述证明者向验证者发送随机值(x)，以使得所述验证者能够确定所述语句为真并计算椭圆曲线点(P)。

7.根据权利要求6所述的计算机实现的方法，其中，所述随机值(x)是至少一个承诺的函数。

8.根据权利要求6或7所述的计算机实现的方法，其中，所述随机值(x)是通过哈希化由证明者生成并发送给验证者的所有承诺的级联来计算的。