[发明专利]一种区块链交易证明的方法及装置

说明书

本发明公开了一种区块链交易证明的方法及装置，包括生成方获取待证明交易所在区块的第一默克尔树，第一默克尔树是根据区块中各交易的哈希值按照大小排序后作为叶子节点构造的，然后在待证明交易的哈希值不是第一默克尔树的叶子节点时，从第一默克尔树中确定出作为第一叶子节点的第一哈希值和作为第二叶子节点的第二哈希值，然后发送第一证明至验证方，第一证明中包括第一哈希值、第一哈希值的第一默克尔证明、第二哈希值以及第二哈希值的第二默克尔证明，第一证明用于作为待证明交易不在第一默克尔树的否定证明。不再需要将第一默克尔树中所有叶子节点的哈希值作为待证明交易的否定证明，减少生成方和验证方的工作量，提高了证明交易的效率。

技术领域

本发明涉及金融科技(Fintech)领域，尤其涉及一种区块链交易证明的方法及装置。

背景技术

随着计算机技术的发展，越来越多的技术(例如：区块链、云计算或大数据)应用在金融领域，传统金融业正在逐步向金融科技转变，大数据技术也不例外，但由于金融、支付行业的安全性、实时性要求，也对大数据技术提出的更高的要求。

在现有技术中，为了保证区块链中的交易准确，验证方(如轻客户端)通过生成方(如全节点)提供的默克尔证明进行验证区块中的交易，防止交易被篡改。然而，生成方生成的默克尔证明只能证明交易的哈希值存在于默克尔树中，因此，若生成方为了证明交易的哈希值不存在于默克尔树中，则需要将默克尔树中所有的叶子节点的哈希值发送给验证方，然后由验证方根据所有的叶子节点的哈希值确定出默克尔树，以验证生成方提供的叶子节点的哈希值是否为默克尔树中的全部数据，其中，生成方发送的默克尔树中所有的叶子节点的哈希值作为交易不在生成方的默克尔树中的否定证明。

因为生成方需要将所有的叶子节点的数据发送给验证方，当数据量过大时，会大幅占用验证方和生成方的带宽，验证方需要计算所有的叶子节点的哈希值，在叶子节点的数量过多时，进一步导致验证方大量的计算开销。因此现亟需一种区块链交易否定证明的方法，降低验证方和生成方的工作量，提高区块链交易验证的效率。

发明内容

本发明实施例提供一种区块链交易证明的方法及装置，用于生成作为待证明交易不在区块的第一默克尔树中的否定证明，以降低验证方和生成方的工作量，提高交易验证的效率。

第一方面，本发明实施例提供一种区块链交易证明的方法及装置，包括：

生成方获取待证明交易所在区块的第一默克尔树；所述第一默克尔树是根据区块中各交易的哈希值按照大小排序后作为叶子节点构造的；

所述生成方在所述待证明交易的哈希值不是所述第一默克尔树的叶子节点时，从所述第一默克尔树中确定出作为第一叶子节点的第一哈希值和作为第二叶子节点的第二哈希值；

所述生成方发送第一证明至验证方；所述第一证明中包括所述第一哈希值、所述第一哈希值的第一默克尔证明、所述第二哈希值以及所述第二哈希值的第二默克尔证明；所述第一证明用于作为所述待证明交易不在所述第一默克尔树的否定证明。

上述技术方案中，生成方根据待证明交易的哈希值确定出第一默克尔树中相邻的第一哈希值和第二哈希值，然后根据第一默克尔树得到第一哈希值的默克尔证明和第二哈希值的默克尔证明，根据验证方验证的第一哈希值和第二哈希值在第一默克尔树中的位置相邻，可以证明第一哈希值和第二哈希值之间不存在其他交易的哈希值，即可证明待证明交易的哈希值不存在于第一默克尔树中，因此将第一哈希值和第二哈希值以及第一哈希值的默克尔证明和第二哈希值的默克尔证明作为待证明交易的哈希值的否定证明。不再需要将第一默克尔树中所有叶子节点的哈希值作为否定证明，不需要将所有的叶子节点由生成方发送至验证方，减少了叶子节点占用的验证方和生成方的带宽，降低了验证方的计算开销，提高了证明交易的效率。

可选的，所述第一默克尔树是根据区块中各交易的哈希值按照大小排序后作为叶子节点构造的，包括：

所述生成方将所述区块中的各交易的哈希值进行排序；