默克尔证明实体的制作方法

1.本公开涉及证明区块链事务存在于区块链上并获取所述证明的方法。


背景技术：

2.区块链是指一种分布式数据结构，其中在分布式对等(p2p)网络(以下称为“区块链网络”)中的多个节点中的每个节点处维护区块链的副本，并且广泛公开该副本。区块链包括一系列数据区块，其中每个区块包括一个或多个事务(transaction)。除所谓的“coinbase事务”外，每个事务都指向序列中的先前事务，该序列可以跨越一个或多个区块，回到一个或多个coinbase事务。coinbase事务将在下文进一步讨论。提交给区块链网络的事务包括在新区块中。新区块的创建过程通常称为“挖掘”，该过程涉及多个节点中的每个节点争相执行“工作量证明”，即，基于等待被包括在区块链的新区块中的一组定义的有序且核实有效的未决事务的表示解决加密难题。应当注意的是，区块链可以在一些节点处被修剪(prune)，并且区块的发布可以通过仅发布区块头来实现。
3.区块链中的事务可用于以下目的中的一个或多个：传送数字资产(即，一定数量的数字通证)；对虚拟化分类账或注册表中的一组条目进行排序；接收和处理时间戳条目；和/或对索引指针按时间排序。也可利用区块链实现区块链上的层级附加功能。例如，区块链协议可允许在事务中存储附加的用户数据或数据索引。能够存储在单个事务中的最大数据容量没有预先指定的限制，因此可以并入越来越复杂的数据。例如，这可用于在区块链中存储电子文档、音频或视频数据。
4.区块链网络的节点(通常称为“矿工”)执行分布式事务注册和验证过程，这将后续更详细地描述。总之，在该过程中，节点核实事务并将这些事务插入到区块模板中，这些事务尝试为该区块模板标识有效的工作量证明解。一旦找到有效的解，新区块便会被传播到网络的其它节点，从而使得每个节点能够在区块链上记录新区块。为了将事务记录在区块链中，用户(例如，区块链客户端应用程序)将该事务发送到网络中的节点中的一个节点进行传播。接收该事务的节点可以争相寻找将核实有效的事务并入新区块的工作量证明解。每个节点被配置为执行相同的节点协议，该协议将包括用于确认事务有效的一个或多个条件。无效事务将不会传播或并入到区块中。假定事务已经核实有效，从而在区块链上被接受，则该事务(包括任何用户数据)将因此在区块链网络中的每个节点上作为不可改变的公共记录进行注册和索引。
5.成功解决工作量证明难题可创建最新区块的节点通常被奖励一个称为“coinbase事务”的新事务，该事务分发数字资产数额，即通证数量。无效事务的检测和拒绝是通过竞争节点的行动来执行的，这些竞争节点充当网络的代理并且通过激励报告和阻止不正当行为。信息的广泛发布使得用户可以连续地审计节点的性能。仅发布区块头使得参与者可以确保区块链具有持续完整性。
6.在“基于输出的”模型(有时称为基于utxo的模型)中，给定事务的数据结构包括一个或多个输入和一个或多个输出。任何可花费输出包括指定数字资产数额的元素，该元素
可从进行中的事务序列导出。可花费输出有时称为utxo(“未花费事务输出”)。输出还可以包括锁定脚本，该锁定脚本指定输出的未来赎回条件。锁定脚本是限定核实和传送数字通证或资产所必需的条件的谓词。事务(除coinbase事务之外)的每个输入包括指向先前事务中的此类输出的指针(即引用)，并且还可以包括解锁脚本，用于解锁指向输出的锁定脚本。因此，考虑一对事务，将其称为第一事务和第二事务(或“目标”事务)。第一事务包括指定数字资产数额的至少一个输出，并且包括定义解锁该输出的一个或多个条件的锁定脚本。第二目标事务包括至少一个输入和解锁脚本，该至少一个输入包括指向第一事务的输出的指针；该解锁脚本用于解锁第一事务的输出。
7.在此类模型中，当第二目标事务被发送到区块链网络以在区块链中传播和记录时，在每个节点处应用的有效性条件之一将是解锁脚本满足在第一事务的锁定脚本中定义的一个或多个条件中的所有条件。另一条件将是第一事务的输出尚未被另一早期有效事务赎回。根据这些条件中的任何一个条件发现目标事务无效的任何节点都不会传播该事务(作为有效事务，但可能注册无效事务)，也不将该事务包括在要记录在区块链中的新区块中。
8.另一种事务模型是基于账户的模型。在这种情况下，每个事务均不通过参考过去事务序列中先前事务的utxo来定义转移的数额，而是通过参考绝对账户余额进行定义。所有账户的当前状态由节点单独存储到区块链中，并不断更新。


技术实现要素：

9.默克尔证明通常用于验证事务存在于区块链上。想要验证特定事务存在于所述区块链上的一方(例如，用户)可以从区块链节点寻找默克尔证明。如果使用所接收的默克尔证明，可以将所述事务追溯到与所述区块链的区块中包括的默克尔根匹配的值，则所述用户可以确信所述事务存在于所述区块链上。应当注意的是，为了确保绝对确定，可能需要进行额外的检查。
10.目前，提供默克尔证明的唯一实体是区块链节点(也称为矿工)。如上所述，区块链节点主要涉及事务核实、区块构建和发布。
11.区块链技术的使用量不断增加，因此区块链系统需要能够进行扩展，以满足日益增长的使用量和需求量。扩展区块链系统的一种方法是增加所述区块的大小、提高事务率，并将所述区块链技术用作各种数据应用的不可变分类账。这会大幅增加所述区块链的大小，并增加用于事务核实的处理量。因此，对于终端用户和服务提供者来说，用于存储完整的区块链、核实事务以及响应事务相关查询的资源可能过于昂贵(就存储和处理要求而言)。因此，需要一种能够证明事务存在于所述区块链上而不必存储完整区块链的实体。
12.因此，需要一种资源效率更高的实体，所述实体能够证明事务存在于所述区块链上。
13.根据本文公开的一个方面，提供了一种证明区块链事务存在于区块链上的计算机实现的方法，其中所述方法由默克尔证明实体执行，所述默克尔证明实体被配置为存储相应区块链事务的一组事务标识符、但不向区块链网络发布新的区块链区块，并且其中所述方法包括：获取目标区块链事务的目标事务标识符，其中所述目标事务标识符构成所述存储的一组事务标识符的一部分；获取所述目标区块链事务的目标默克尔证明，其中对应的
目标默克尔根包含在所述区块链的区块头内；以及，输出所述目标默克尔证明，以供请求方用作所述目标区块链事务存在于所述区块链上的证明。
14.所述默克尔证明实体(以下也称为默克尔证明服务器(mps))能够向请求方提供默克尔证明，而不必构建新的区块链区块和/或将其发布到所述区块链网络，因此资源密集度低于区块链节点。将新区块发布到所述区块链网络意味着分发先前看不见的区块，所述先前看不见的区块包括尚未发布在所述区块链上的区块中的事务。此外，在一些示例中，所述mps不需要存储整个区块链，因此与区块链节点相比具有明显更少的存储要求。通过仅存储相关信息来优化数据存储、数据搜索和数据检索，在本例中，所述相关信息与所述存储的事务标识符一样少。
15.所述mps可以通过仅存储任何已发布事务的相应事务标识符(即，不存储所述事务的数据本身)，来提供该事务的默克尔证明。在一些实例中，所述mps可以仅存储一组特定区块链事务的事务标识符，例如，与特定应用程序或服务相关的区块链事务(例如，tokenized或metanet事务)。然后，所述mps可以用于验证是否存在任何tokenized或metanet事务。
16.所述mps需要存储所有已发布事务(或至少一组已发布事务)的事务id(txid)。所述mps可以支持按事务标识符(txid)或完整事务进行查询。
17.所述mps不执行在所述区块链上构建和/或发布区块的操作。换句话说，所述默克尔证明实体不是区块链节点。在一些示例中，所述默克尔证明实体不存储任何区块链事务。在其他示例中，所述默克尔证明实体仅为每个区块存储一个区块链事务。在其他示例中，所述默克尔证明实体为每个区块存储所述区块链事务中的多个而非全部区块链事务。
18.根据本文公开的另一方面，提供了一种获取关于区块链事务存在于区块链上的证明的计算机实现的方法，其中默克尔证明实体存储相应区块链事务的一组事务标识符，其中所述默克尔证明实体被配置为存储相应区块链事务的一组事务标识符、但不向区块链网络发布新的区块链区块，其中所述方法由请求方执行并且包括：向所述默克尔证明实体，发送目标区块链事务和/或所述目标事务的目标事务标识符；以及，从所述默克尔证明实体，获取所述目标区块链事务的目标默克尔证明，其中所述默克尔证明基于所述存储的一组事务标识符中的一个或多个事务标识符。
附图说明
19.为了帮助理解本公开的实施例并示出如何实施此类实施例，现将仅通过举例的方式参考附图进行说明，其中：
20.图1是一种用于实现区块链的系统的示意性框图；
21.图2示意性地示出了可记录在区块链中的事务的一些示例；
22.图3a示出了客户端应用程序的示意性框图；
23.图3b示出了可由图3a的客户端应用程序表示的示例性用户界面的示意性模型；
24.图4示意性地示出了默克尔树；
25.图5示意性地示出了示例性默克尔证明；
26.图6a和图6b分别示意性地示出了根据本发明的一些实施例的示例性系统；
27.图7示意性地示出了根据本发明的一些实施例的默克尔证明实体存储的数据；以及
28.图8示出了根据本发明的一些实施例的示例性方法。
具体实施方式
29.示例性系统概述
30.图1示出了一种用于实现区块链150的示例性系统100。系统100可以包括分组交换网络101，通常是诸如互联网的广域互联网。分组交换网络101包括多个区块链节点104，该多个区块链节点可以被设置成在分组交换网络101内形成对等(p2p)网络106。虽然未示出，但是区块链节点104可以被设置为近完全图。因此，每个区块链节点104高度连接到其它区块链节点104。
31.每个区块链节点104包括对等体的计算机设备，不同的节点104属于不同的对等体。每个区块链节点104包括处理装置，该处理装置包括一个或多个处理器，例如一个或多个中央处理单元(cpu)、加速器处理器、专用处理器和/或现场可编程门阵列(fpga)，以及其它设备，例如专用集成电路(asic)。每个节点还包括存储器，即采用非暂时性计算机可读介质形式的计算机可读存储器。存储器可包括一个或多个存储器单元，其采用一个或多个存储器介质，例如诸如硬盘等磁介质、诸如固态硬盘(ssd)、闪存或电可擦可编程只读存储器(eeprom)等电子媒介和/或诸如光盘驱动器等光学介质。
32.区块链150包括一系列数据区块151，其中在分布式或区块链网络106中的多个区块链节点104中的每个节点处维护区块链150的相应副本。如上所述，维护区块链150的副本不一定意味着完全存储区块链150。相反，只要每个区块链节点150存储每个区块151的区块头(下面讨论)，区块链150就可以进行数据修剪。区块链中的每个区块151均包括一个或多个事务152，其中该上下文中的事务是指一种数据结构。数据结构的性质将取决于用作事务模型或计划的一部分的事务协议类型。给定的区块链全程使用一个特定的事务协议。在一种常见的事务协议中，每个事务152的数据结构至少包括一个输入和至少一个输出。每个输出指定将数字资产的数量表示为财产的数额，其一个示例是输出被密码锁定到的用户103(需要该用户的签名或其它解进行解锁，从而进行赎回或花费)。每个输入指向先前事务152的输出，从而链接这些事务。
33.每个区块151还包括区块指针155，其指向区块链中先前创建的区块151，以定义区块151的顺序。每个事务152(除coinbase事务之外)包括指向上一事务的指针，以定义事务序列的顺序(注：事务152的序列可进行分支)。区块151的区块链一直追溯到创始区块(gb)153，该创始区块是区块链中的第一区块。区块链150中早期的一个或多个原始事务152指向创始区块153，而非先前事务。
34.每个区块链节点104被配置为将事务152转发到其它区块链节点104，从而使得事务152在整个网络106中传播。每个区块链节点104被配置为创建区块151，并将相同区块链150的相应副本存储在其相应的存储器中。每个区块链节点104还维护等待并入到区块151中的事务152的有序集(或“池”)154。有序池154通常称为“内存池”。在本文中，该术语并不意在限制于任何特定的区块链、协议或模型。该术语是指节点104已接受为有效的有序事务集，并且对于该有序事务集，强制节点104不接受试图花费相同输出的任何其它事务。
35.在给定的当前事务152j中，输入(或每个输入)包括指针，该指针引用事务序列中先前事务152i的输出，指定该输出将在当前事务152j中被赎回或“花费”。通常，先前事务可
以是有序集154或任何区块151中的任何事务。尽管为了确保当前事务有效，将需要存在先前事务152i并核实其有效，但是在创建当前事务152j甚至向网络106发送当前事务152j时，不必存在先前事务152i。因此，在本文中，“先前”是指由指针链接的逻辑序列中的前任，而不一定是时间序列中的创建时间或发送时间，因此，不一定排除无序创建或发送事务152i、152j的情况(参见下面关于孤立事务的讨论)。先前事务152i同样可以称为先行事务或前任事务。
36.当前事务152j的输入还包括输入授权，例如先前事务152i的输出被锁定到的用户103a的签名。反过来，当前事务152j的输出可以加密锁定到新用户或实体103b。因此，当前事务152j可将先前事务152i的输入中定义的数额转移到当前事务152j的输出中定义的新用户或实体103b。在某些情况下，事务152可具有多个输出，以在多个用户或实体间分割输入数额(其中一个可以是原始用户或实体103a，以便进行变更)。在某些情况下，事务还可以具有多个输入，将一个或多个先前事务的多个输出中的数额汇总在一起，并重新分配到当前事务的一个或多个输出。
37.根据基于输出的事务协议，例如比特币，当诸如个体用户或组织这类的一方103希望颁布新的事务152j时(由该方采用的自动程序或人为地)，该颁布方将该新事务从其计算机终端102发送到接收者。颁布方或接收者将最终向网络106的一个或多个区块链节点104(现在通常是服务器或数据中心，但原则上也可以是其它用户终端)发送该事务。另外还不排除颁布新事务152j的一方103可以将事务直接发送到一个或多个区块链节点104，并且在一些示例中，可以不将事务发送到接收者。接收事务的区块链节点104根据在每个区块链节点104处应用的区块链节点协议来检查事务是否有效。区块链节点协议通常要求区块链节点104检查新事务152j中的加密签名是否与预期签名相匹配，这取决于事务152的有序序列中的上一事务152i。在这种基于输出的事务协议中，这可以包括检查新事务152j的输入中包括的一方103的密码签名或其它授权是否与新事务分配的先前事务152i的输出中定义的条件匹配，其中该条件通常包括至少检查新事务152j的输入中的密码签名或其它授权是否解锁新事务的输入所链接到的上一事务152i的输出。条件可以至少部分地由包括在先前事务152i的输出中的脚本来定义。或者，这可仅由区块链节点协议单独确定，或可通过其组合确定。无论采用哪种方式，如果新事务152j有效，区块链节点104会将其转发到区块链网络106中的一个或多个其它区块链节点104。这些其它区块链节点104根据相同的区块链节点协议应用相同的测试，并因此将新事务152j转发到一个或多个其它节点104等等。通过这种方式，新事务在区块链节点104的整个网络中进行传播。
38.在基于输出的模型中，给定输出(例如，utxo)是否分配(例如，花费)的定义是，根据区块链节点协议，其是否通过另一个随后事务152j的输入有效赎回。事务有效的另一个条件是其试图赎回的先前事务152i的输出尚未被另一个事务赎回。同样，如果无效，则事务152j将不会在区块链150中传播(除非被标记为无效并且被传播用于提醒)或记录。这可防止重复花费，即事务处理者对同一个事务的输出分配超过一次。另一方面，基于账户的模型通过保持账户余额防止重复花费。因为同样存在定义的事务顺序，账户余额在任何时候均具有单一定义的状态。
39.除了核实事务有效之外，区块链节点104还争相成为在通常称为挖矿的过程中创建事务区块的第一个节点，而该过程由“工作量证明”支持。在区块链节点104处，新事务被
添加到尚未出现在记录在区块链150上的区块151中的有效事务的有序池154。然后，区块链节点争相通过尝试解决加密难题以组装有序事务集154中事务152的新有效事务区块151。通常情况下，这包括搜索“随机数”值，从而当随机数与未决事务有序池154的表示并置且进行哈希处理时，哈希值的输出满足预定条件。例如，预定条件可以是哈希值的输出具有某个预定义的前导零数。注意，这仅仅是一种特定类型的工作量证明难题，并且不排除其它类型。哈希函数的特性是，相对于其输入，其具有不可预测的输出。因此，该搜索只能通过强力执行，从而在试图解决难题的每个区块链节点104处消耗大量的处理资源。
40.解决难题的第一区块链节点104在网络106上宣布难题解决，提供解决方案作为证明，然后网络中的其它区块链节点104则可以轻松检查该解决方案(一旦给出哈希值的解决方案，就可以直接检查该解决方案是否使哈希值的输出满足条件)。第一区块链节点104将一个区块传播到接受该区块的其它节点达成阈值共识，从而执行协议规则。然后，有序事务集154被每个区块链节点104记录为区块链150中的新区块151。区块指针155还分配给指向该区块链中先前创建的区块151n-1的新区块151n。创建工作量证明解所需的大量工作(例如采用哈希的形式)发出信号通知第一节点104的意图以遵循区块链协议。这些规则包括如果它分配与先前核实有效的事务相同的输出，则不接受事务为有效，否则称之为重复花费。一旦创建，区块151就不能修改，因为它在区块链网络106中的每个区块链节点104处进行标识和维护。区块指针155还向区块151施加顺序。由于事务152记录在网络106中每个区块链节点104处的有序区块中，因此提供了事务的不可改变公共分类账。
41.应当注意的是，在任何给定时间争相解决难题的不同区块链节点104可以基于在任何给定时间尚未发布的事务的池154的不同快照来这样做，具体取决于它们何时开始搜索解或接收事务的顺序。解决相应难题的人员首先定义新区块151n中包括的事务152及其顺序，并且更新当前的未发布事务池154。然后，区块链节点104继续争相从新定义的未发布事务有序池154中创建区块，等等。此外，还存在解决可能出现的任何“分叉”的协议，其中两个区块链节点104彼此在很短的时间内解决难题，从而在节点104之间传播区块链的冲突视图。简言之，分叉方向最长的成为最终区块链150。应当注意的是，这不会影响网络的用户或代理，因为同一事务将出现在两个分叉中。
42.根据比特币区块链(和大多数其它区块链)，成功构造新区块104的节点被授予在分配附加限定数量数字资产的新特殊类型事务中新分配附加的、接受的数额的数字资产的能力(与代理间或用户间事务相反，该事务将一定数量的数字资产从一个代理或用户转移到另一个代理或用户)。这种特殊类型的事务通常称为“coinbase事务”，但是也可以称为“启动事务initiation transaction”或“生成事务generation transaction”。它通常形成新区块151n的第一事务。工作量证明发出信号通知构造新区块的节点的意图以遵循协议规则，从而允许稍后赎回该特定事务。在可以赎回该特殊事务之前，区块链协议规则可能需要成熟期，例如100个区块。通常，常规(非生成)事务152还将在其输出中的一个输出中指定附加事务费用，以进一步奖励创建其中发布该事务的区块151n的区块链节点104。该费用通常称为“事务费用”，并在下文中讨论。
43.由于事务核实和发布中涉及的资源，通常至少每个区块链节点104采用包括一个或多个物理服务器单元的服务器的形式，或者甚至整个数据中心。但是，原则上来说，任何给定区块链节点104均可采用一个用户终端或联网在一起的一组用户终端的形式。
44.每个区块链节点104的存储器均存储被配置为在区块链节点104的处理装置上运行的软件，以根据区块链节点协议执行其相应的角色并处理事务152。应当理解的是，在本文中归因于区块链节点104的任何动作均可通过在相应计算机设备的处理装置上运行的软件执行。节点软件可以在应用层或诸如操作系统层或协议层的较低层或这些层任意组合的一个或多个应用中实现。
45.扮演消费用户角色的多方103中的每一方的计算机设备102也连接到网络101。这些用户可以与区块链网络106交互，但不参与核实事务或构造区块。其中一些用户或代理103可以充当事务中的发送者和接收者。其它用户可以与区块链150交互，而不必充当发送者或接收者。例如，一些当事方可以充当存储区块链150的副本(例如，已经从区块链节点104获得区块链的副本)的存储实体。
46.各方103中的一些或所有当事方可以作为不同网络的一部分连接，例如覆盖在区块链网络106之上的网络。区块链网络的用户(经常称为“客户端”)可以被称为是包含区块链网络106的系统的一部分；然而，这些用户不是区块链节点104，因为它们不执行区块链节点所需的角色。相反，每一方103可以与区块链网络106交互，从而通过连接到区块链节点106(即，与区块链节点106通信)来利用区块链150。出于说明目的，示出了双方103及其相应的设备102：第一方103a及其相应的计算机设备102a，以及第二方103b及其相应的计算机设备102b。应当理解的是，更多此类当事方103及其相应的计算机设备102可能存在并参与系统100，但为了方便起见，未进行说明。每一方103均可以是个人或组织。仅出于说明目的，在本文中，第一方103a称为爱丽丝，第二方103b称为鲍勃，但应当理解的是，这并不仅限于爱丽丝或鲍勃，且本文对爱丽丝或鲍勃的任何引用均可分别用“第一方”和“第二方”替换。
47.每一方103的计算机设备102包括相应的处理装置，其包括一个或更多个处理器，例如一个或更多个cpu、图形处理单元(gpu)、其他加速器处理器、特定应用程序处理器和/或fpga。每一方103的计算机设备102还包括存储器，即采用非暂时性计算机可读介质形式的计算机可读存储器。该存储器可包括一个或更多个存储器单元，其采用一个或更多个存储器介质，例如诸如硬盘等磁介质、诸如ssd、闪存或eeprom等电子媒介和/或诸如光盘驱动器等的光学介质。每一方103的计算机设备102上的存储器存储软件，其包括被设置为在处理装置上运行的至少一个客户端应用程序105的相应实例。应当理解的是，在本文中归因于给定方103的任何行动均可通过在相应计算机设备102的处理装置上运行的软件执行。每一方103的计算机设备102包括至少一个用户终端，例如台式或笔记本电脑、平板电脑、智能手机或诸如智能手表等的可穿戴设备。给定方103的计算机设备102还可包括一个或更多个其他网络资源，诸如通过用户终端访问的云计算资源。
48.客户端应用程序105最初可通过例如从服务器下载的适当计算机可读存储介质，或通过诸如可移动ssd、闪存密钥、可移动eeprom、可移动磁盘驱动器、软盘或磁带等的可移动存储设备、诸如cd或dvd rom等的光盘或可移动光驱等提供至任何给定方103的计算机设备102。
49.客户端应用程序105至少包括“钱包”功能。这有两个主要功能。其中一个功能是使相应方103能够创建、授权(例如签名)事务152并将其发送到一个或多个位比特币节点104，然后在区块链节点104的网络中传播，从而包括在区块链150中。另一个功能是向相应方汇报其目前拥有的数字资产数额。在基于输出的系统中，该第二功能包括整理分散在区块链
150中属于相关方的各种事务152的输出中定义的数额。
50.注意：虽然各种客户端功能可以描述为集成到给定客户端应用程序105中，但这不一定是限制性的，相反，在本文中所描述的任何客户端功能可以在由两个或更多个不同应用程序组成的套件中实现，例如经由api进行接口连接或一个应用程序作为另一个应用程序的插件。更通俗地说，客户端功能可以在应用层或诸如操作系统的较低层或这些层的任意组合实现。下面将根据客户端应用程序105进行描述，但应当理解的是，这不是限制性的。
51.每个计算机设备102上的客户端应用程序或软件105的实例可操作地耦合到网络106的区块链节点104中的至少一个。这可以启用客户端105的钱包功能，以将事务152发送至网络106。客户端105还可联络区块链节点104，以在区块链150中查询相应方103作为接收者的任何事务(或实际上在区块链150中检查其它方的事务，因为在实施例中，区块链150是在某种程度上通过其公开可见性提供事务信任的公共设施)。每个计算机设备102上的钱包功能被配置为根据事务协议制定和发送事务152。如上所述，每个区块链节点104运行软件，该软件被配置为根据区块链节点协议核实事务152并转发事务152以便在区块链网络106中传播。事务协议和节点协议相互对应，给定事务协议和给定节点协议一起实现给定的事务模型。相同的事务协议用于区块链150中的所有事务152。网络106中的所有节点104使用相同的节点协议。
52.当给定方103(比方说爱丽丝)希望发送拟包含在区块链150中的新事务152j时，她将根据相关事务协议(使用其客户端应用程序105中的钱包功能)制定新事务。然后，她将事务152从客户端应用程序105发送到她所连接的一个或多个区块链节点104。例如，这可能是与爱丽丝的计算机102最佳连接的区块链节点104。当任何给定区块链节点104接收新事务152j时，其将根据区块链节点协议及其相应的角色进行处理。这包括首先检查新接收的事务152j是否满足变为“有效”的特定条件，具体示例稍后将详细讨论。在一些事务协议中，有效条件可通过事务152中包含的脚本在每个事务的基础上进行配置。或者，条件可仅仅是节点协议的内置功能，或通过组合脚本和节点协议进行定义。
53.如果新接收的事务152j通过有效性测试(即：“有效”的条件下)，接收事务152j的任何区块链节点104将向在区块链节点104处维护的有序事务集154中添加新的核实有效事务152。进一步地，接收事务152j的任何区块链节点104随后将核实有效事务152传播至网络106中的一个或多个其它区块链节点104。由于每个区块链节点104应用相同的协议，因此假定事务152j有效，这意味着事务很快将在整个网络106中传播。
54.一旦进入在给定区块链节点104处维护的未决事务有序池154，该区块链节点104将开始争相解决其各自的包含新事务152的池154的最新版本上的工作量证明难题(请记住，其它区块链节点104可以尝试基于不同的事务池154来解决难题。但是，首先解决难题的人将定义包括在最新区块151中的事务集合。最终，区块链节点104将解决有序池154的一部分的难题，该有序集154包括爱丽丝的事务152j)。一旦包括新事务152j的池154完成工作量证明，其将不可变地成为区块链150中区块151中的一个区块的一部分。每个事务152包括指向早前事务的指针，因此事务的顺序也被不可变地记录下来。
55.不同的区块链节点104可以首先接收给定事务的不同实例，并且因此在一个实例被发布到新区块151中之前具有关于哪个实例“有效”的冲突视图，此时所有区块链节点104同意所发布的实例是唯一的有效实例。如果区块链节点104将一个实例接受为有效实例，然
后发现第二实例已记录在区块链150中，则区块链节点104必须接受这一点，并将丢弃(即，视为无效)其最初接受的实例(即，在区块151中尚未公布的实例)。
56.作为基于账户的事务模型的一部分，由一些区块链网络操作的另一种类型的事务协议可称为“基于账户的”协议。在基于账户的情况下，每个事务均不通过参考过去事务序列中先前事务的utxo来定义转移的数额，而是通过参考绝对账户余额进行定义。所有账户的当前状态由网络的节点单独存储到区块链中，并不断更新。在此类系统中，事务使用账户的运行事务记录(也称为“头寸”)进行排序。该值由发送者签名作为其加密签名的一部分，并作为事务引用计算的一部分进行哈希处理。此外，可选的数据字段也可以在事务中签名。例如，如果数据字段中包含上一事务的id，该数据字段可指向上一事务。
57.基于utxo的模型
58.图2示出了示例性事务协议。这是基于utxo的协议的示例。事务152(简称“tx”)是区块链150的基本数据结构(每个区块151包括一个或多个事务152)。下面将通过参考基于输出或基于“utxo”的协议进行描述。但这并不限于所有可能的实施例。应当注意的是，虽然参考比特币描述了示例性基于utxo的协议，但是它同样可以在其它示例区块链网络上实现。
59.在基于utxo的模型中，每个事务(“tx”)152包括数据结构，其包括一个或多个输入202和一个或多个输出203。每个输出203可包括未花费事务输出(utxo)，其可用作另一新事务的输入202的来源(如果utxo尚未赎回)。utxo包括指定数字资产数额的值。这表示分布式分类账上的一组通证。utxo还可包含其来源事务的事务id以及其它信息。事务数据结构还可包括标头201，其可包括输入字段202和输出字段203的大小指示符。标头201还可包括事务的id。在实施例中，事务id是事务数据(不含事务id本身)的哈希值，且存储在提交至节点104的原始事务152的标头201中。
60.比方说爱丽丝103a希望创建转移相关数字资产数额至鲍勃103b的事务152j。在图2中，爱丽丝的新事务152j标记为“tx
1”。该新事务获取在序列中先前事务152i的输出203中锁定至爱丽丝的数字资产数额，并至少将此类数额中的一部分转移至鲍勃。在图2中，先前事务152i标记为“tx
0”。tx0和tx1只是任意的标记，其不一定意味着tx0指区块链151中的第一事务且tx1指池154中的下一事务。tx1可指向仍具有锁定至爱丽丝的未花费输出203的任何先前(即先行)事务。
61.当爱丽丝创建其新事务tx1时，或至少在她将该新事务发送至网络106时，先前事务tx0可能已经有效并包括在区块链150的区块151中。该事务此时可能已包括在区块151中的一个区块中，或者可能仍在有序集154中等待，在这种情况下，该事务将很快包括在新区块151中。或者，tx0和tx1可以创建并一起发送至网络106；或者，如果节点协议允许缓冲“孤立”事务，tx0甚至可以在tx1之后发送。本文事务序列上下文中使用的“先前”和“后续”一词是指由事务中指定的事务指针定义的序列中的事务顺序(哪个事务指向哪个其他事务等等)。它们同样可以替换为“前任”和“继任”、“先行”和“后代”或“父项”和“子项”等。这不一定指其创建、发送至网络106或到达任何给定区块链节点104的顺序。然而，指向先前事务(先行事务或“父事务”)的后续事务(后代事务或“子事务”)不会有效除非父事务有效。在父事务之前到达区块链节点104的子事务被视为孤立事务。根据节点协议和/或节点行为，其可被丢弃或缓冲一段时间，以等待父事务。
62.先前事务tx0的一个或更多个输出203中的一个包括特定的utxo，标记为utxo0。每个utxo包括指定utxo表示的数字资产数额的值以及锁定脚本，该锁定脚本定义后续事务的输入202中的解锁脚本必须满足的条件，以使后续事务有效，从而成功赎回utxo。通常情况下，锁定脚本将数额锁定至特定方(该数额的事务的受益人)。即，锁定脚本定义解锁条件，该解锁条件通常包括以下条件：后续事务的输入中的解锁脚本包括先前事务被锁定到的一方的加密签名。
63.锁定脚本(亦称scriptpubkey)是节点协议识别的域特定语言中写入的一段代码。此类语言的特定示例称为“脚本(script)”(s大写)，其可由区块链网络所使用。锁定脚本指定花费事务输出203所需的信息，例如爱丽丝签名的要求。解锁脚本出现在事务的输出中。解锁脚本(亦称scriptsig)是提供满足锁定脚本标准所需信息的域特定语言中写入的一段代码。例如，其可包含鲍勃的签名。解锁脚本出现在事务的输入202中。
64.因此在示出的示例中，tx0的输出203中的utxo0包括锁定脚本[checksig pa]，该锁定脚本需要爱丽丝的签名sig pa，以赎回utxo0(严格来说，是为了使试图赎回utxo0的后续事务有效)。[checksig pa]包含爱丽丝的公私密钥对中的公钥pa的表示(即哈希)。tx1的输入202包括指向tx1的指针(例如，通过其事务id(txid0)，其在实施例中是整个事务tx0的哈希值)。tx1的输入202包括在tx0中标识utxo0的索引，以在tx0的任何其他可能输出中对其进行标识。tx1的输入202进一步包括解锁脚本《sig pa》，该解锁脚本包括爱丽丝的加密签名，该签名由爱丽丝通过将其密钥对中的私钥应用于预定的部分数据(有时在密码学中称为“消息”)创建。爱丽丝需要签名以提供有效签名的数据(或“消息”)可通过锁定脚本、节点协议或其组合进行定义。
[0065]
当新事务tx1到达区块链节点104时，该节点应用节点协议。这包括一起运行锁定脚本和解锁脚本，以检查解锁脚本是否满足锁定脚本中定义的条件(其中该条件可包括一个或更多个标准)。在实施例中，这涉及并置两个脚本：
[0066]
《sig pa》《pa》||[checksig pa]
[0067]
其中“||”表示并置，“《
…
》”表示将数据放在堆栈上，“[
…
]”表示由锁定脚本组成的函数(在该示例中指基于堆栈的语言)。同样，脚本可以使用公共堆栈一个接一个地运行，而不是并置脚本。无论采用哪种方式，当一起运行时，脚本使用爱丽丝的公钥pa(包括在tx0的输出的锁定脚本中)，以认证tx1的输入中的解锁脚本是否包含爱丽丝签名预期部分的数据时的签名。也需要包括预期的部分数据本身(“消息”)，以便执行此认证。在实施例中，签名的数据包括整个tx1(因此不需要包括一个单独的元素来明文指定签名的部分数据，因为其本身便已存在)。
[0068]
本领域技术人员将熟悉通过公私密码进行验证的细节。基本上而言，如果爱丽丝已使用其私钥加密签署消息，则给定爱丽丝的公钥和明文中的消息，诸如节点104等其它实体可验证消息必须已经由爱丽丝签名。签署通常包括对消息进行哈希，签署哈希值和将此标记到消息作为签名，从而使公钥的任何持有者能够验证签名。因此，应当注意的是，在实施例中，在本文中对签名特定数据片段或事务部分等的任何引用可以意味着对该数据片段或事务部分的哈希值进行签名。
[0069]
如果tx1中的解锁脚本满足tx0的锁定脚本中指定的一个或多个条件(因此，在所示示例中，如果在tx1中提供了爱丽丝的签名并进行验证)，则区块链节点104认为tx1有效。这
意味着区块链节点104会将tx1添加到待定事务有序池154。区块链节点104还会将事务tx1转发到网络106中的一个或多个其它区块链节点104，以便其会在整个网络106中传播。一旦tx1有效并包括在区块链150中，这会将utxo0从tx0定义为已花费。应当注意的是，tx1仅在花费未花费事务输出203时才有效。如果其试图花费另一事务152已经花费的输出，则即使满足所有其它条件，tx1也将无效。因此，区块链节点104还需要检查先前事务tx0中引用的utxo是否已经花费(即，其是否已经形成另一有效事务的有效输入)。这是为何区块链150对事务152施加定义的顺序很重要的原因之一。在实践中，给定区块链节点104可维护单独的数据库，标记已花费事务152的utxo 203，但最终定义utxo是否已花费取决于是否在区块链150中形成了另一有效事务的有效输入。
[0070]
如果给定事务152的所有输出203中指定的总数额大于其所有输入202所指向的总数额，则这是大多数事务模型中的另一失效依据。因此，此类事务不会传播或包括在区块151中。
[0071]
请注意，在基于utxo的事务模型中，给定utxo需要作为一个整体使用。不能“留下”utxo中定义为已花费的一部分数额，而同时又花费另一部分。但utxo的数额可以在下一事务的多个输出之间分割。例如，tx0的utxo0中定义的数额可以在tx1中的多个utxo之间分割。因此，如果爱丽丝不想将utxo0中定义的所有数额都给鲍勃，她可以使用剩余部分在tx1的第二输出中自己找零，或者支付给另一方。
[0072]
在实践中，爱丽丝通常还需要包括用于比特币节点104的费用，该比特币节点104在区块151中成功包含爱丽丝的事务104。如果爱丽丝未包括此类费用，则tx0可能会被区块链节点104拒绝，并且因此尽管在技术上有效，但可能不会传播并且包括在区块链150中(如果区块链节点104不希望接受事务152，节点协议不强迫区块链节点104接受)。在一些协议中，事务费用不需要其自身的单独输出203(即不需要单独的utxo)。相反，输入202指向的总数额与给定事务152的输出203指定的总数额之间的任何差额都将自动提供给发布事务的区块链节点104。例如，假设指向utxo0的指针是tx1的唯一输入，并且tx1仅具有一个输出utxo1。如果在utxo0中指定的数字资产数额大于在utxo1中指定的数额，则可以由赢得工作量证明竞赛以创建包含utxo1的区块的节点104分配该差值。替代地或附加地，这不一定排除可以在其自身事务152的其中一个utxo 203中明确指定事务费用。
[0073]
爱丽丝和鲍勃的数字资产由区块链150中任何位置的任何事务152中的锁定至他们的utxo组成。因此，通常情况下，给定方103的资产分散在整个区块链150的各种事务152的utxo中。区块链150中的任何位置均未存储定义给定方103的总余额的一个数字。客户端应用程序105的钱包功能的作用是将锁定至相应方且在其它随后事务中尚未花费的各种utxo值整理在一起。为实现这一点，其可以查询存储在任何一个位比特币节点104处的区块链150的副本。
[0074]
应当注意的是，脚本代码通常用示意图表示(即使用非精确语言)。例如，可以使用操作码(opcode)来表示特定功能。“op_...”是指脚本语言的特定操作码。举例来说，op_return是脚本语言操作码，当在锁定脚本的开始处在操作码前加上op_false时，操作码创建事务的不可花费输出，该输出可以在事务内存储数据，从而将数据不可改变地记录在区块链150中。例如，数据可包括需存储在区块链中的文件。
[0075]
通常，事务的输入包含对应于公钥pa的数字签名。在实施例中，这基于使用椭圆曲
线secp256k1的ecdsa。数字签名对特定的数据段进行签名。在实施例中，对于给定事务，签名将对部分事务输入以及部分或全部事务输出进行签名。对输出的特定部分进行签名取决于sighash标志。sighash标志通常是包含在签名末尾的4字节代码，用于选择签名的输出(并因此在签名时固定)。
[0076]
锁定脚本有时称为“scriptpubkey”，指其通常包括相应事务被锁定到的当事方的公钥。解锁脚本有时称为“scriptsig”，指其通常提供相应的签名。但是更通俗地说，在区块链150的所有应用中，utxo赎回的条件并不一定包括对签名进行验证。更通俗地说，脚本语言可用于定义任何一个或多个条件。因此，可以优选更为通用的术语“锁定脚本”和“解锁脚本”。
[0077]
客户端软件
[0078]
图3a示出了用于实现本公开方案的实施例的客户端应用程序105的示例性实施方式。客户端应用程序105包括事务引擎401和用户界面(ui)层402。根据上文讨论的方案以及稍后将进一步详细讨论的内容，事务引擎401被配置为实现客户端105的基础事务相关功能，诸如制定事务152，通过侧信道301接收和/或发送事务和/或其他数据，和/或发送事务至一个或更多个节点104以通过区块链网络106传播。
[0079]
该ui层402被配置为通过相应用户的计算机设备102的用户输入/输出(i/o)方式呈现用户界面，包括通过设备102的用户输出方式向相应用户103输出信息，和通过设备102的用户输入方式接收来自相应用户103的输入。例如，用户输出方式可包括提供视觉输出的一个或显示多个屏(触摸或非触摸屏)、提供音频输出的一个或更多个扬声器、和/或提供触觉输出的一个或更多个触觉输出设备等。用户输入方式可包括例如一个或更多个触摸屏的输入阵列(可与用于输出方式的那个/那些相同或不同)；一个或更多个基于光标的设备，诸如鼠标、轨迹板或轨迹球；一个或更多个麦克风和语音或声音识别算法，用于接收语音或声音输入；一个或更多个基于手势的输入设备，用于接收手动或身体手势形式的输入；或者一个或更多个机械按钮、开关或控制杆等。
[0080]
注：虽然本文中的各种功能可以被描述为集成到同一客户端应用程序105中，但这并不一定构成限制，相反，它们可以在两个或更多个不同应用程序组成的一套程序中实现，例如一个应用程序作为另一个应用程序的插件或经由api(应用程序编程接口)进行接口。比如，事务引擎401的功能可以在单独的应用程序中实现，而不是在ui层402中实现，或者诸如事务引擎401的给定模块的功能可以在多个应用程序之间分割。同时，也不排除部分或全部描述的功能可以在比如操作系统层实现。在本文任何位置引用单个或给定应用程序105或诸如此类的情况下，应当理解的是这只是作为示例，并且更通俗地说，所描述的功能可以在任何形式的软件中实现。
[0081]
图3b给出了用户界面(ui)500的示例的模型，该ui可由客户端应用程序105a的ui层402在爱丽丝的设备102a上呈现。应当理解的是，类似的ui可以由客户端105b在鲍勃的设备102b或任何其他方的设备上呈现。
[0082]
通过图示的方式，图3b从爱丽丝的角度示出了ui 500。该ui 500可包括一个或更多个ui元素501、502、503，该一个或更多个ui元素通过用户输出方式呈现为不同的ui元素。
[0083]
例如，ui元素可包括一个或更多个用户可选择的元素501，这些元素可以是屏幕上的不同按钮、菜单中的不同选项或者诸如此类。用户输入方式被设置成使用户103(在这种
情况下为爱丽丝103a)能够选择或以其它方式操作其中一个选项，诸如通过点击或触摸屏幕上的ui元素，或者说出所需选项的名称(注：本文使用的“手动”一词仅用于与自动进行对比，而不一定限于用手执行操作)。
[0084]
此外/或者，ui元素可包括一个或更多个数据输入字段502。这些数据输入字段通过用户输出方式呈现，例如屏幕上，并且数据可通过用户输入方式输入到字段中，例如键盘或触摸屏。或者，数据可以例如基于语音识别口头地接收。
[0085]
此外/或者，ui元素可包括向用户输出信息的一个或更多个信息元素503。例如，这/这些可以在屏幕上呈现或可听见。
[0086]
应当理解的是，呈现各种ui元素、选择选项和输入数据的特定方式并不重要。这些ui元素的功能稍后将进行更详细地讨论。还应当理解的是，图3中示出的ui 500只是一个图示模型，在实践中，它可包括一个或更多个进一步的ui元素，为了简洁起见，未对其进行说明。
[0087]
默克尔树
[0088]
默克尔树是分层数据结构，能够对数据集合进行安全验证。在默克尔树中，树中的每个节点均提供有索引对(i,j)，并且表示为n(i,j)。索引i、j只是与树中的特定位置相关的数字标签。
[0089]
默克尔树的一个重要特征是，其每个节点的构造由以下方程式控制：
[0090][0091]
其中h是加密哈希函数。
[0092]
图4中示出了根据这些方程式构建的二进制默克尔树。从图中可以看出，i＝j情况对应于叶节点，该叶节点仅仅是数据di的对应第i分组的哈希。i≠j情况对应于内部节点或父节点，其通过递归地哈希和级联子节点直到找到一个父节点(默克尔根)而生成。
[0093]
例如，节点n(0,3)由四个数据包d0,
…
,d3构造为
[0094]
n(0,3)＝h(n(0,1)||n(2,3))
[0095]
＝[h(n(0,0)||n(1,1))||h(n(2,2)||n(3,3))]
[0096]
＝[h(h(d0)||h(d1))||h(h(d2)||h(d3))]。
[0097]
树的深度m被定义为树中节点的最低级别，节点的深度m是节点所在的层级。例如，m
root
＝0且m
leaf
＝m，其中在图4中，m＝3。
[0098]
对于比特币和一些其他区块链中的默克尔树，哈希函数是双重sha256，即应用标准哈希函数sha-256两次：h(x)＝sha256(sha256(x))。
[0099]
默克尔证明
[0100]
默克尔树的主要功能是验证某个数据包di是n个数据包的列表或集合的成员。该验证机制称为默克尔证明，涉及为给定的数据包di和默克尔根r获取一组称为默克尔路径的哈希。数据包的默克尔证明只是通过反复哈希和级联的方式重建根r所需的最小哈希列表，通常称为“认证证明”。
[0101]
如果证明者知道所有分组d0,
…
,d
n-1
及其顺序，则可以简单地执行存在证明。然而，这确实需要比默克尔证明大得多的存储开销，并且需要整个数据集可供证明者使用。
[0102]
使用默克尔证明和使用整个列表的比较如下表所示，其中使用了二进制默克尔树，并假设数据块的数量n正好等于2的整数幂。
[0103]
下表示出了默克尔树中叶节点的数量与默克尔证明所需的哈希数量(默克尔证明)之间的关系。
[0104][0105]
在这个简化场景中(其中数据包的数量等于叶节点的数量)，已发现，计算默克尔证明所需的哈希值的数量以对数方式缩放。显然，计算涉及log2n个哈希的默克尔证明比存储n个数据哈希并计算显示证明要高效和实用得多。
[0106]
方法
[0107]
如果给定默克尔根r，则希望证明数据块d0属于由r表示的有序列表可以按如下所述执行默克尔证明：
[0108]
i.从可信源获取默克尔根r。
[0109]
ii.从源获取默克尔证明γ。在这种情况下，γ是哈希的集合：
[0110]
γ＝{n(1,1),n(2,3),n(4,7)}。
[0111]
iii.使用d1和γ按如下所述计算默克尔证明：
[0112]
a.对数据块进行哈希处理以得到：
[0113]
n(0,0)＝h(d0)。
[0114]
b.与n(1,1)级联并进行哈希处理以得到：
[0115]
n(0,1)＝h(n(0,0)||n(1,1))。
[0116]
c.与n(2,3)级联并进行哈希处理以得到：
[0117]
n(0,3)＝h(n(0,1)||n(2,3))。
[0118]
d.与n(4,7)级联并进行哈希处理以获取根：
[0119]
n(0,7)＝h(n(0,3)||n(4,7))，r
′
＝n(0,7)。
[0120]
e.将计算得出的根r
′
与(i)中获取的根r进行比较：
[0121]
1.如果r
′
＝r，则确认树中存在d0，从而确认数据集d。
[0122]
2.如果r
′
≠r，则证明失败，无法确认d0是的成员。
[0123]
这是一种有效机制，可为作为由默克尔树及其根表示的数据集的一部分的某些数据提供存在证明。例如，如果数据d0对应于区块链事务，并且根r作为区块头的一部分公开可用，则可以快速证明该事务包含在该区块中。
[0124]
图5示出了作为我们的示例性默克尔树的一部分验证存在d0的过程。这表明对给定区块d0和根r执行默克尔证明，仅使用必要的最少哈希值就可有效地“向上”遍历默克尔树。
[0125]
构建默克尔证明所需的最少信息
[0126]
在构建单叶的默克尔证明时，所需的最少信息为
[0127]
1.叶的索引：叶在默克尔树的叶层中的位置。
[0128]
2.哈希值的有序列表：计算默克尔根所需的哈希值。
[0129]
为了阐明叶的索引的工作原理，请考虑图5所示的默克尔树。鲍勃知道树的根r，但不知道树的所有叶。d0的默克尔分支由一个索引0和三个哈希值(用圆圈圈出)组成。该索引用于指示所提供的哈希值应级联到所计算的哈希值的左侧还是右侧。
[0130]
假设默克尔树具有n＝2m个叶。给定层级0处的索引i，使得i0＝i，b0＝i0mod 2，即
[0131][0132]
p0是索引为i0的叶节点的成对叶节点的索引，称为对，因为此类叶节点被级联和哈希处理，以在默克尔树中计算其父哈希节点(参见上文)。索引为p0的节点也称为“所提供的哈希”或“所需的数据”，因为其必须在计算i0叶节点的默克尔根时提供。
[0133]
因此，可以在层级m定义，使得
[0134][0135]bm
＝immod 2
[0136]
则所提供哈希的索引为
[0137][0138]
上面的方程式假定索引从0开始。
[0139]
在本发明的上下文中，索引为i0的叶节点是目标事务的事务标识符。
[0140]
存在证明
–
事务
[0141]
图6a示出了用于实现本发明实施例的示例性系统600。该系统包括默克尔证明实体(或默克尔证明服务器(mps))601。应当注意的是，术语“默克尔证明实体”仅用作被配置为执行本文中所描述的动作的实体的便利标签。类似地，术语“默克尔证明服务器”不一定意味着所描述的动作由服务器(即，一个或更多个服务器单元)来执行，尽管这是一种可能的实现方式。
[0142]
mps 601被配置为证明事务存在于区块链150上。mps 601被配置为存储一组事务标识符(txid)。每个txid唯一地识别相应事务。txid是事务的哈希(例如，双重哈希)。mps 601可以存储在区块链150上发布的每个事务的相应txid。或者，mps 601可以仅存储部分而非全部已发布事务的相应txid。例如，mps 601可以存储具有某些共同之处的所有事务的相应txid，例如来自特定区块的所有事务、在特定时间(采用unix时间或区块高度)之后发布的所有事务、来自特定区块链节点104发布的一个或多个区块的所有事务等。
[0143]
mps 601不是区块链节点104。也就是说，mps 601不是挖矿节点或“矿工”。mps 601可以由区块链节点操作或连接到区块链节点，但是mps 601本身不执行以下操作：执行工作证明；构建区块；发布区块；强制遵循共识规则等。在一些示例中，mps 601不核实事务。然而，不排除以下情况，即mps 601可以核实事务，而不执行发布区块的操作。
[0144]
此外，mps 601不需要存储完整的区块链150，尽管并不排除这种情况。也就是说，mps 601不需要存储全部已发布事务。在一些示例中，mps 601不存储任何事务。或者，mps 601可以存储选定的少数已发布事务，例如一个或多个coinbase事务。
[0145]
mps 601被配置为获取目标事务标识符，即目标事务的事务。该目标事务是请求其存在证明的事务。例如，系统600可以包括一个或多个请求方602。请求方602可以向mps 601发送目标txid，作为对目标事务的默克尔证明的请求的一部分。在其他示例中，第三方可以代表请求方602向mps 601发送目标txid。在一些示例中，仅将向mps 601发送目标txid视为对默克尔证明的请求。
[0146]
mps 601可以接收目标事务本身，而不是接收目标txid。也就是说，请求方602或第三方可以向mps 601发送目标事务。然后，mps 601可以对目标事务进行哈希(例如，双重哈希)处理以获取目标txid。也不排除以下情况，即mps 601可以接收目标txid和目标事务。在该示例中，mps 601可以确认目标事务的(双重)哈希与目标txid匹配；如果不匹配，则警告请求方602。
[0147]
mps 601还被配置为获取目标事务的“目标默克尔证明”，即用于证明目标事务存在于区块链上的默克尔证明。目标默克尔证明基于所存储的一组txid中的一个或多个txid，因为对应默克尔树的叶实际上是txid。上面已经描述了默克尔证明。目标默克尔证明包括至少一组有序的哈希值。该组有序的哈希值中哈希值的数量基于默克尔树中叶的数量，即包含目标事务的区块151中事务的数量。默克尔证明还可以包括叶的索引，该索引指示该组有序的哈希值中的第一哈希值是应级联到目标txid的左侧还是右侧。
[0148]
mps 601可以为每个事务(即，每个txid)存储相应的默克尔证明。在该示例中，获取目标默克尔证明包括：从存储器中提取目标默克尔证明。例如，mps 601可以预先计算每个事务的默克尔证明。当获取目标txid时，mps 601查找对应的默克尔证明(每个默克尔证明可以与存储器中的相应txid相关联)。
[0149]
该mps可以预先计算并存储一个或多个默克尔树，而不是或不仅仅是存储每个事务或txid的相应默克尔证明。每个默克尔树包括所存储的一组txid的子集、一组内部哈希值(或内部节点)和默克尔根。在该示例中，获取目标默克尔证明包括：从包含目标txid的默克尔树中提取默克尔证明(即，所需的哈希值)。
[0150]
作为另一示例，mps 601可以响应于获取目标txid来计算目标默克尔证明。也就是说，mps 601可以使用所存储的一组txid中的一个或多个txid来计算目标默克尔证明(例如，通过计算完整的默克尔树并提取所需的哈希值)。应当注意的是，该方法要求mps 601将来自包括目标事务的区块151的所有txid存储在存储器中。
[0151]
目标默克尔证明可以包括对应的默克尔树的一个或多个内部哈希或内部节点。在这种情况下，有用的是向请求方提供此类内部哈希的索引，使得请求方知道是将先前哈希(例如，目标txid)级联到内部哈希的左侧还是右侧。因此，当提取目标默克尔证明时，mps 601使用叶哈希的索引(即，目标事务的txid)来计算目标默克尔证明中内部哈希的索引。该mps可能需要计算这些索引，以便从所存储的树中提取默克尔证据，即mps具有所存储的树，并且叶索引允许其确定从树中挑选哪些内部节点以提取正确的默克尔证明。应当注意的是，至少在一些示例中，mps 601只需要计算目标txid的索引。该单个索引可能足以确定所需的内部哈希。
[0152]
mps 601还被配置为输出目标默克尔证明。例如，可以将目标默克尔证明直接传输给请求方602。或者，可以在网页等上发布目标默克尔证明。目标默克尔证明可以用作目标事务存在于区块链上的证明。
[0153]
图8示出了可由mps 601执行的示例性方法800。在步骤801中，该mps存储一组txid。在一些示例中，基于对应事务在区块151中出现的顺序对txid进行排序。在步骤802中，mps 601获取(例如，接收)目标txid。在步骤803中，mps 601获取目标txid(即，目标事务)的默克尔证明。mps 601可以从存储器或本地存储器等获取默克尔证明，也可以通过计算默克尔证明来获取默克尔证明。在步骤804中，该mps输出默克尔证明。
[0154]
在一些示例中，mps 601还从包含目标事务的区块151的区块头输出默克尔根。默克尔根可以作为包含默克尔根的区块头的一部分输出，或者单独输出，亦或与区块头的一个或多个其他数据字段(例如，先前区块哈希)组合输出。默克尔根可以直接输出给请求方602或以其他方式发布。
[0155]
mps 601可以基于在其中发布对应事务的区块来成子集存储txid。也就是说，来自区块n的事务的txid可以存储在一个子集中，来自区块n-1的事务的txid可以存储在不同的子集中，以此类推。每个子集中的txid可以存储在有序列表中，其中txid的顺序与给定区块中对应事务的顺序匹配。
[0156]
区块链150的每个区块151包括相应的区块头。mps 601可以存储一个或多个区块头。例如，mps 601可以存储每个所公布的区块151的区块头。区块头可以存储在有序列表中。区报头的顺序可以与区块链150中的对应区块151的顺序匹配。在一些示例中，来自给定区块151的txid可以与该区块151的区块头相关联地存储。
[0157]
出于安全原因，应存储区块头的所有字段，以便能够复制区块头的值并核实工作证明。然而，不排除以下情况，即在一些示例中，mps 601可以仅存储区块头的一个或多个而非全部数据字段，而不是存储完整的区块头。例如，mps 601可以仅存储包含在区块头内的默克尔根。或者，mps 601可以存储包含在区块头内的默克尔根和先前哈希(存储在区块头n中的先前哈希等于第n-1个区块头)。
[0158]
mps 601可以从区块链网络106(例如，从区块链节点)获取部分或全部所存储的txid。可以从单个区块链节点104获取全部txid。或者，可以从多个节点获取txid，例如，从一个区块链节点获取一些，从其他区块链节点获取一些，以此类推。这同样适用于区块头。也就是说，可以从单个区块链节点104或从多个节点104获取部分或全部所存储的区块头(或仅获取所存储的默克尔根和/或先前区块哈希)。在一些示例中，mps 601可以从来自相同区块链节点104的给定区块(以及可选地，该区块的区块头)获取全部事务的txid。
[0159]
在一些示例中，mps 601可以通过从多个节点104获取相同的txid和/或区块头来验证部分或全部所获取的txid和/或区块头。
[0160]
附加地或替代地，如图6a所示，可以从一个或多个简单支付验证(spv)客户端604获取区块头中的部分或全部区块头。spv客户端是一种客户端应用程序，其被配置为：存储区块链的一个、部分或全部区块头；以及执行spv方法。例如，有关详细信息，请参阅https://wiki.bitcoinsv.io/index.php/simplified_payment_verification。例如，mps 601可以操作spv客户端，或者具有与由不同实体(不一定是不同的mps)操作的spv客户端的连接。
[0161]
简而言之，为了花费utxo，使用spv钱包的发送者将向接收者传递以下信息：
[0162]
1.包含utxo作为输出的事务tx0；
[0163]
2.tx0的默克尔证明；
[0164]
3.包含从默克尔证明(或其标识符，例如区块高度)导出的默克尔根的区块头；
[0165]
4.花费utxo的事务tx1。
[0166]
为了核实该信息，接收者根据tx0的默克尔证明计算默克尔根。然后，接收者将其与区块头中指定的默克尔根进行比较。如果两者相同，则接收者接受tx0在区块链中。
[0167]
如上所述，mps 601可以存储一个或多个事务，即原始事务数据。例如，mps 601可以为每个区块存储一个事务。mps 601可以存储每个区块的coinbase事务(请记住，每个区块只有一个coinbase事务)。然而，不排除以下情况，即mps 601可以存储除coinbase事务之外的事务，或者mps 601可以存储一些区块的相应coinbase事务以及其他区块的不同事务。
[0168]
给定区块的所存储的事务将称为“第一事务”。这并不一定意味着该事务最先出现在区块中，尽管coinbase事务确实如此。在这些示例中，mps 601可以获取在与目标事务相同的区块中发布的第一事务的默克尔证明。然后，例如，mps 601可以将第一事务的默克尔证明以及第一事务本身一起输出给请求方602。这可以供请求方602用于验证目标默克尔证明是否具有正确的长度。例如，如果第一事务的默克尔证明的长度为十(即，十个哈希值)，则目标默克尔证明的长度也应当为十。
[0169]
mps 601采用计算装置的形式(例如，与图1所示类似)，该计算装置包括一个或多个用户终端，例如台式电脑、笔记本电脑、平板电脑、智能电话、智能手表等可穿戴智能设备或汽车等车辆的板载电脑等。附加地或替代地，该计算装置可以包括服务器。本文中的服务器是指可以包括位于一个或多个地理位置处的一个或多个物理服务器单元的逻辑实体。在需要的情况下，分布式或“云”计算技术本身在本领域中是已知的。服务器的一个或多个用户终端和/或一个或多个服务器单元可以经由分组交换网络彼此连接，例如，该分组交换网络可以包括互联网等广域网、3gpp网络等移动蜂窝网络、以太网等有线局域网(lan)，或者wi-fi、线程或6lowpan网络等无线lan。该计算装置包括控制器和接口。该控制器可操作地耦合到接口204。该控制器被配置为执行归因于该mps的动作。该接口被配置为发送和接收数据，例如txid、区块头、默克尔证明等。
[0170]
控制器和接口中的每一个可以软件代码的形式实现，该软件代码包含在计算机可读存储器上并在处理装置上运行，该处理装置包括cpu等一个或多个处理器、gpu等工作加速器协处理器和/或在位于一个或多个地理位置处的一个或多个计算机终端或单元上实现的其他专用处理器。在其上存储代码的存储器可以包括采用一种或多种存储介质(例如，电子或磁介质)的一个或多个存储器设备，该存储器设备也在位于一个或多个地理位置处的一个或多个计算机终端或单元上实现。在实施例中，控制器和/或接口可以在服务器上实现。或者，这些组件中的一个或两个的相应实例可以在一个或多个用户终端中的一个、部分或全部用户终端中的每个用户终端上部分地或甚至全部地实现。在其他示例中，上述组件的功能可以在用户终端和服务器的任意组合之间拆分。还应当注意的是，在需要的情况下，分布式计算技术本身在本领域中是已知的。也不排除以下情况，即这些组件中的一个或多个组件可以在专用硬件中实现。
[0171]
现在将描述请求方602。请求方602被配置为向mps 601发送对默克尔证明的请求。请求方602可以向mps 601发送目标txid和/或目标事务。作为响应，该请求方被配置为接收或以其他方式获取目标默克尔证明。请求方602可以使用目标默克尔证明来证明目标事务存在于区块链上。例如，请求方602可以将目标默克尔证明连同目标事务等一起发送给接收
方603。请求方602还可以基于目标事务将默克尔树的默克尔根(例如，作为区块头的一部分)发送给接收方603。默克尔根可以从mps 601获取。
[0172]
在一些示例中，请求方602可以使用目标默克尔证明来证明存在一个或多个父事务。在这种情况下，如果目标事务是子事务，则目标默克尔证明可证明每个父事务已发布在区块链150上(如果每个父事务均未发布在区块链150上，则子事务不会发布在区块链150上)。通常，事务链中最近发布的事务的默克尔证明可证明所有其他事务存在于该链中。
[0173]
请求方602可以是(或操作)spv客户端。也就是说，spv客户端(例如，由花费者操作)可以使用目标默克尔证明来执行spv方法，即通过向另一方(例如，接收者)603提供目标默克尔证明。在这种情况下，目标事务可以包括utxo，其锁定到花费者，并且由包括锁定到接收者的utxo的花费事务来引用。
[0174]
请求方602可以是(或操作)钱包应用程序。该钱包应用程序可以存储目标事务。在在线模式或状态(即，连接到mps 601)下，该钱包应用程序可以获取目标事务的目标默克尔证明。然后，该钱包应用程序可以在离线模式或状态(即，未连接到mps 601)下运行。该钱包应用程序可以向接收方603提供目标事务和目标默克尔证明，作为目标事务存在于区块链上的证明。
[0175]
请求方602可以采用爱丽丝103a或鲍勃103b的形式。
[0176]
请求方602可以是辅助mps(secondary mps)。辅助mps(也称为“完整性mps(integrity mps)”)被配置为：存储一组区块链事务(包括目标事务)；向mps 601(也称为主mps(primary mps)或“通用mps(general mps)”)发送目标txid；获取目标默克尔证明；以及将目标默克尔证明输出给第二请求方，例如接收方603、终端用户(例如，爱丽丝103a或鲍勃103b)等。
[0177]
图6b示出了完整性mps 602与通用mps 601之间交互的示例性系统600b。如图所示，系统600b包括一个或多个区块链节点104、完整性mps 602、通用mps 601、请求方(不同于完整性mps，例如第三方用户)603和spv客户端604。系统600b可以包括多个请求方603和/或spv客户端604。
[0178]
从通用mps 601开始，它主要涉及为给定事务标识符(txid)提供默克尔证明。通用mps 601可以将默克尔证明输出给请求方603或完整性mps 602。例如，请求方603或完整性mps 602可以向通用mps 601发送txid，并且通用mps 601反过来提供默克尔证明。通用mps 601可以从一个或多个源获取产生默克尔证明所需的数据。例如，可以从区块链节点104获取默克尔证明本身。附加地或替代地，通用mps 601可以从区块链节点104或从spv客户端604获取txid和一个或多个对应的区块头。通用mps 601可以使用txid和对应的区块头来计算默克尔证明。
[0179]
关于完整性mps 602，它主要涉及向请求方603提供默克尔证明。完整性mps 602可以从请求方603接收事务组件(或事务数据字段或数据项)，并且反过来提供包含该组件的事务的默克尔证明。请求方603转而可以将事务和默克尔证明发送给另一方，例如spv客户端604。完整性mps 602可以从区块链节点104和/或spv客户端604获取事务。完整性mps 601还可以从区块链节点104和/或spv客户端604获取区块头，以用作默克尔证明的一部分，尽管在有足够数据可用的情况下，区块头可以由完整性mps 602计算。
[0180]
通常，完整性mps 602可以从通用mps 601获取多个默克尔证明，例如每个所存储
的事务一个默克尔证明。例如，当完整性mps接收并存储新事务时，完整性mps 602可以向通用mps 601发送对新事务的默克尔证明的请求。
[0181]
现在将描述本发明的一些实施例的示例性实现方式。
[0182]
通用mps
[0183]
通用mps 601充当专用服务器以向接收方(例如，用户)提供默克尔证明。也就是说，通用mps 601是服务器，如果给定事务发布在区块链上，则该服务器提供该事务或事务id的默克尔证明。通用mps 601不存储完整的事务数据。这可以视为对存储默克尔树的区块链网络中spv客户端的补充。更准确地说，通用mps具有以下存储要求列表：
[0184]
1.表示具有最多工作证明的链的区块头的有序列表(可选要求)
[0185]
2.每个区块头的事务id的有序列表(核心要求)
[0186]
3.为每个区块头预先计算的默克尔树，其中默克尔根与区块头中指定的一个默克尔根匹配(可选要求)
[0187]
4.每个区块中coinbase事务的原始数据或区块中每个区块头的事务的任何原始数据(可选要求)
[0188]
第一项要求旨在确保通用mps 601的数据完整性。区块头中的默克尔根可以用作对事务id列表的完整性检查。也就是说，当形成默克尔树的叶时，区块头可以用于检查来自给定区块的txid在区块头中给出默克尔根。例如，如果txid可信，或者如果通用mps 601可安全访问可信spv客户端或任何实体，该实体受信任地以最多工作证明来存储链的区块头，则可以摒弃第一项要求。
[0189]
第二项要求是核心的，其旨在按照默克尔叶在默克尔树中出现的顺序来提供默克尔叶，以便可以重建默克尔树。应当注意的是，coinbase事务id始终是列表中的第一叶或第一哈希。叶的顺序由构建获胜区块的区块链节点确定。在比特币sv中，该顺序应反映拓扑顺序和先见规则。
[0190]
第三项要求提供在计算与存储之间进行权衡的选项。图7示出了存储要求，其中实线框是必需的(在一些示例中)，虚线框是可选的。应当注意的是，区块头包含所示区块头的附加字段，但是对于默克尔证明，通常仅需根哈希。可以使用先前哈希为根哈希建立索引。关键在于，通用mps 601不需要存储默克尔树的内部节点。应当注意的是，为了证明指向区块头中工作证明的链接，需要区块头的所有字段。挑选出“先前哈希”字段来命名的原因在于，其说明了区块头之间的链关系。挑选出“根哈希”字段的原因在于，其说明了指向默克尔树的链接。然而，只有在提供所有区块头组件的情况下，才能核实指向工作证明的链接。
[0191]
第四项要求旨在提供默克尔树的深度证明。这是可由通用mps 601向其用户提供的额外服务。由于向任何验证者呈现事务的原始数据，任何验证者都可以确信其默克尔证明中的第一哈希实际上是叶，因为对于并非充当叶的给定哈希值，构建有意义的事务在计算上是不可行的。此外，由于默克尔证明的长度意味着默克尔树的深度，因此来自同一树的所有默克尔证明具有相同的长度。当用户不拥有相关事务的原始数据时，该服务尤其有用。
[0192]
给定事务id，例如txid1，通用mps 601遍历事务id的有序列表。如果通用mps 601发现txid1，则会构建或提取txid1的默克尔证明并输出该默克尔证明。否则，通用mps 601会输出相关内容，例如“找不到事务”。给定事务的原始数据，通用mps 601可以对数据进行哈希处理，以获取对应的事务id并如上所述继续执行操作。
[0193]
当新区块发布后，通用mps 601会获取以下信息：
[0194]
1.新区块头；
[0195]
2.新区块的事务id的有序列表；以及
[0196]
3.原始coinbase事务。
[0197]
可选地，通用mps 601可以检查以下各项：
[0198]
1.新区块头具有有效的工作证明；
[0199]
2.根据事务id计算的默克尔根等于区块头中的默克尔根；以及
[0200]
3.coinbase事务的哈希等于叶中的第一元素。
[0201]
应当注意的是，服务器不需要获取原始事务或对事务运行签名验证。
[0202]
下面描述了提供默克尔树的深度是一项有价值服务的原因。spv客户端将事务id和默克尔证明作为输入，并且如果默克尔根与区块头中的一个区块头中的默克尔根匹配，则输出true，否则输出false。然而，由于缺少必要信息，这种验证不会检查默克尔证明的长度是否与默克尔树的长度匹配。在某些情况下，攻击者可以提交缩短的默克尔证明，以试图证明存在并不存在的事务id。这种缩短的默克尔证明可以通过移除叶或后续全部哈希来获取。
[0203]
作为默克尔证明提供者的通用mps 601最适合提供验证默克尔证明的长度所需的信息。通用mps 601提供coinbase事务的原始数据和其默克尔证明，而不是显式地提供默克尔树的深度。伪造原始事务数据和默克尔证明在计算上是不可行的。因此，这用作默克尔树的深度证明。了解树的深度可以减少上述关键漏洞。应当注意的是，如果spv提供有相关事务的原始数据和默克尔证明，则它是安全的，不会遭受该漏洞的攻击。如果spv不具有相关事务的原始数据，可以使用coinbase事务的原始数据和其默克尔证明，来建立默克尔树的深度或相对于该默克尔树的默克尔证明的正确长度。
[0204]
理论上，该漏洞还可以用于欺骗通用mps 601接受叶或任何后续层级被完全移除的默克尔树。然而，通用mps 601可以连接到多个区块链节点104，以确保所接收信息的一致性和正确性。此外，通用mps 601还可以选择下载coinbase事务的原始数据，以验证新区块的默克尔树的深度。
[0205]
通用mps 601有时可能不得不处理竞争区块、重组和孤立区块，在同一时间发现同一区块高度的多个区块时会发生这种情况。幸运的是，这种情况不会发生，除非在最近的区块头中，但是这种情况很少发生。区块链150通常在一个或两个区块之后收敛到竞争链中的一个竞争链。因此，当通用mps 601在同一高度接收多个区块151后，它将保留所有此类区块，直到区块链网络收敛到具有最多工作证明的链。
[0206]
存储空间节省
[0207]
目前，bsv全球分类账中共有约5亿个事务(btc的订单数量类似)。所有txid需要约15gb的存储空间。bsv区块链本身当前的存储空间为224gb。通用mps 601将需要存储占整个区块链6.7％的事务。此外，存储空间取决于事务的数量，而不是事务的大小。在区块高度为638009且区块头的大小为80字节时，区块头需要总共49mb的存储空间，每年增加4mb。
[0208]
如果通用mps 601要存储默克尔树的预先计算部分以缩短生成默克尔证明所花费的时间：根节点之后的第一层将由2个节点组成，每棵树需要2x32字节。因此，当mps生成任何tx的默克尔分支时，级联到区块头的80字节的64字节将使mps少执行一次哈希计算，即
mps针对每个区块头使用144字节，而不是80字节。默克尔树的第二层由4个节点组成，即每个区块头272个字节，以此类推。第十层将需要每个区块头65552个字节，并将所需存储空间增加到总共39gb。这应包括15gb的txid，并假设每个区块具有1024个事务。
[0209]
仅限txid mps的局限性
[0210]
所述通用mps 601具有一些局限性。给定未发布事务，例如txid
payment
，通用mps 601将不能验证在输入中引用的输出点是否存在，这是因为输出点是事务id和索引的级联。通用mps 601能够确定事务id是否存在，但它不具有关于该事务具有的输出数量或该输出是否可花费的信息。解决这一问题的一种方法是，将在txid
payment
中引用的事务的原始数据作为输入的一部分提供给通用mps 601。另一种方法是，通用mps 601存储未花费事务的原始数据。(未花费事务在这里是指具有至少一个未花费的可花费输出的事务。)
[0211]
应当注意的是，如果通用mps 601仅存储事务id和对应的索引，则通用mps 601无法验证或证明索引未被篡改。通用mps 601需要完整的原始数据，以便验证或证明索引的完整性。
[0212]
此外，它将无法向用户提供对事务内特定数据元素的搜索，例如锁定脚本或标志。因此，它将无法支持使用布隆过滤器等的用户，因为他们通常基于事务中包括的锁定脚本和公钥来过滤事务。
[0213]
这导致需要一种能够提供更细粒度信息的mps，其称为完整性mps。完整性mps将存储一些事务的原始数据。应当注意的是，如果用户给出完整的事务，则可以使用通用mps 601来证明所发布事务的完整性。可以使用完整性mps，通过存储全部相关事务来证明从所发布事务中提取的一些数据的完整性。用户不需要提供完整的事务。
[0214]
完整性mps
[0215]
完整性mps存储一组相关事务的原始事务和其对应的默克尔证明。对于关于该组中事务的查询，该服务器可以提供原始事务及其默克尔证明作为其完整性的证明。该服务器还允许搜索部分事务或事务内容中的数据元素。可以基于数据应用程序(例如，weather sv、tokenized、metanet或任何其他数据协议)甚至数据字符串(例如，锁定脚本、公钥、输出点等)来确定相关事务。因此，可以存在仅用于weather sv应用程序的完整性mps，其被配置为存储仅携带weather sv的事务。
[0216]
一组相关原始事务被传递到完整性mps，并且在发布的情况下会持续存在于服务器上。完整性mps可以视为网关，或者可以访问用于特定应用程序事务的网关。当区块链系统扩展到百万兆字节区块时，这将是维护完整性mps的最高效方式。对于其他情况，例如完全去中心化的对等数据应用程序，必须采用下载完整的事务区块的机制，并修剪不相关事务，或者使用布隆过滤器过滤比特币改进提案37(bip37)中的事务。
[0217]
在操作过程中
[0218]
在一些实施例中，在默克尔树中维护相关原始事务及其默克尔证明的完整性mps执行以下步骤：
[0219]
步骤1：获取相关原始事务。
[0220]
步骤2：对原始事务进行哈希处理以获取事务id。
[0221]
步骤3：查询通用mps 601以获取默克尔证明。
[0222]
步骤4：如果事务未发布在区块中，请等待10分钟，然后重试。
[0223]
可以用下载和修剪机制来代替对步骤3中的通用mps 601的依赖，尽管这会导致效率低下。可以在预定义时间限制之后丢弃步骤4中的未发布事务，以避免拥塞。该限制可以根据应用的不同而变化。
[0224]
可以通过提供事务的默克尔证明来证明该事务要发布在区块链150上。或者，可以通过该事务的一个已花费输出来证明这一点。当事务txi的输出在事务txj中花费时，将txi称为父事务，并将txj称为子事务。事务具有多个输出意味着该事务可以具有多个子项。事务具有多个输入意味着该事务可以具有多个父项。如果事务的原始数据可用，则该事务的默克尔证明足以证明其所有父项均已发布，无需存储父项的默克尔证明。
[0225]
事实上，可以通过以下声明来概括该观察结果，即如果存在事务链，则该链中最后一个事务的默克尔证明和所有事务的原始数据可以证明所有事务均存在于该链中。
[0226]
这允许删除事务的默克尔证明，并将其替换为该事务的任何子项的默克尔证明。这适用于以下情况：
[0227]
1.区块大小
–
子事务发布在远远小于父事务的区块中，在这种情况下，与父事务的默克尔证明的大小相比，子事务及其默克尔证明的总大小更小；或
[0228]
2.多个输入
–
子事务具有来自不同事务的多个输入，在这种情况下，与其父事务的所有默克尔证明的总大小相比，子事务及其默克尔明的总大小更小。
[0229]
例如，对于特定应用程序，所有事务可以具有专用的默克尔证明输出。有时，可以收集并在一个子事务中花费这些输出。子事务及其默克尔证明将能够证明其所有父事务的完整性和存在性。因此，不需要存储任何父事务的默克尔证明。
[0230]
观察结果可以汇总在下表中，其中列出了可从所提供数据中得出的证明。
[0231][0232]
该表显示，如果满足以下条件，则证明存在输出：
[0233]
1.提供原始事务且该事务存在；或
[0234]
2.该输出或更高的索引输出用于支付现有事务。
[0235]
结论
[0236]
一旦给出本文的公开内容，所公开技术的其它变体或用例对于本领域技术人员可能变得显而易见。本公开的范围不受所描述的实施例限制，而仅受随附权利要求限制。
[0237]
例如，上面的一些实施例已经根据比特币网络106、比特币区块链150和比特币节点104进行了描述。然而，应当理解的是，比特币区块链是区块链150的一个特定示例，并且上述描述通常可以应用于任何区块链。也就是说，本发明决不限于比特币区块链。更一般地，以上对比特币网络106、比特币区块链150和比特币节点104的任何引用可以分别参考区
块链网络106、区块链150和区块链节点104来替换。区块链、区块链网络和/或区块链节点可以共享如上所述的比特币区块链150、比特币网络106和比特币节点104的部分或全部所述特性。
[0238]
在本发明的优选实施例中，区块链网络106是比特币网络，并且比特币节点104至少执行对区块链150的区块151进行创建、发布、传播和存储中的所有所述功能。不排除可能存在仅执行这些功能中的一个或部分功能但不是全部功能的其它网络实体(或网络元件)。也就是说，网络实体可以执行传播和/或存储区块的功能，而不创建和发布区块(请记住，这些实体不被认为是优选的比特币网络106的节点)。
[0239]
在本发明的另一些实施例中，区块链网络106可以不是比特币网络。在这些实施例中，不排除节点可以执行对区块链150的区块151进行创建、发布、传播和存储中的至少一个或部分功能但不是所有功能。例如，在这些其它区块链网络上，“节点”可用于指被配置为创建和发布区块151但不存储和/或传播这些区块151到其它节点的网络实体。
[0240]
甚至更通俗地说，上面对术语“比特币节点”104的任何引用可以用术语“网络实体”或“网络元件”代替，其中这样的实体/元件被配置为执行对区块进行创建、发布、传播和存储中的一些或全部角色。这种网络实体/元件的功能可以在硬件中实现，方法与上面参照区块链节点104所述的方式相同。
[0241]
应当理解的是，上述实施例仅通过示例的方式进行描述。更通俗地说，可根据下述任何一个或多个语句提供一种方法、装置或程序。
[0242]
语句1.一种证明区块链事务存在于区块链上的计算机实现的方法，其中所述方法由默克尔证明实体执行，所述默克尔证明实体被配置为存储相应区块链事务的事务标识符的集合但不向区块链网络发布新的区块链区块，并且其中所述方法包括：
[0243]
获取目标区块链事务的目标事务标识符，其中所述目标事务标识符构成所存储的事务标识符的集合的一部分；
[0244]
获取所述目标区块链事务的目标默克尔证明，其中对应的目标默克尔根包含在所述区块链的区块头内；以及，
[0245]
输出所述目标默克尔证明，以供请求方将其用作所述目标区块链事务存在于所述区块链上的证明。
[0246]
所述默克尔证明实体不执行在所述区块链上构建和/或发布区块的操作。换句话说，所述默克尔证明实体不是区块链节点。在一些示例中，所述默克尔证明实体不存储任何区块链事务。在其他示例中，所述默克尔证明实体仅为每个区块存储一个区块链事务。在其他示例中，所述默克尔证明实体为每个区块存储所述区块链事务中的部分或全部区块链事务。
[0247]
语句2.根据语句1所述的方法，其中所述默克尔证明实体不存储完整的区块链。
[0248]
语句3.根据语句1或2所述的方法，其中获取所述目标默克尔证明包括：计算所述目标事务标识符在对应的目标默克尔树的叶层内的索引。
[0249]
语句4.根据语句3所述的方法，所述方法包括：将所述索引输出至所述请求方。
[0250]
语句5.根据前述任一项语句所述的方法，其中所述的获取所述目标事务标识符包括：从所述请求方获取所述目标事务标识符。
[0251]
语句6.根据前述任一项语句所述的方法，其中所述的获取所述目标事务标识符包
括：获取所述目标区块链事务，以及基于所述目标区块链事务构建所述目标事务标识符。
[0252]
可以从所述请求方接收所述目标区块链事务。
[0253]
语句7.根据前述任一项语句所述的方法，其中所述的获取所述目标默克尔证明包括：使用所存储的事务标识符的集合中的一个或多个事务标识符，来计算所述目标默克尔证明。
[0254]
语句8.根据前述任一项语句所述的方法，其中所述默克尔证明实体存储包含所述目标事务标识符的所存储的事务标识符的集合中的一个或多个事务标识符的相应默克尔证明，并且其中所述的获取所述目标默克尔证明包括：从存储位置提取所述目标默克尔证明。
[0255]
语句9.根据前述任一项语句所述的方法，其中所述的输出所述目标默克尔证明包括：将所述目标默克尔证明传输至所述请求方。
[0256]
语句10.根据前述任一项语句所述的方法，其中所述的输出所述目标默克尔证明可以包括：发布所述目标默克尔证明。
[0257]
语句11.根据前述任一项语句所述的方法，其中所述默克尔证明实体存储一个或多个默克尔根，其中每个默克尔根基于所存储的事务标识符的集合的相应子集。
[0258]
语句12.根据语句11所述的方法，所述方法包括：基于所述目标事务标识符，将所述默克尔根输出至所述请求方。
[0259]
语句13.根据语句11或12所述的方法，其中所述默克尔证明实体为所述一个或多个默克尔根中的每个默克尔根存储默克尔树。
[0260]
语句14.根据语句13所述的方法，其中所述的获取所述目标默克尔证明包括：从包含所述目标事务标识符的所存储的默克尔树中提取所述目标默克尔证明。
[0261]
语句15.根据前述任一项语句所述的方法，其中所存储的事务标识符的集合包括事务标识符的多个子集，其中事务标识符的每个子集包括来自所述区块链的相应区块的所有事务标识符。
[0262]
事务标识符的每个子集可以存储在有序列表中，所述有序列表对应于存储在所述相应区块中的所述区块链事务的顺序。
[0263]
语句16.根据语句15所述的方法，其中事务标识符的每个子集与所述区块链的所述相应区块的相应区块头相关联地存储。
[0264]
所述相应区块头可以存储在有序列表中，所述有序列表对应于在所述区块链上发布的区块的顺序。
[0265]
语句17.根据前述任一项语句所述的方法，所述方法包括：对在所述区块链上发布的每个区块链事务的相应事务标识符进行存储。
[0266]
语句18.根据前述任一项语句所述的方法，其中所存储的事务标识符的集合中的至少一些事务标识符是从一个或多个区块链节点获取的。
[0267]
例如，可以从区块链节点获取所述存储的事务标识符中的全部事务标识符。
[0268]
语句19.根据语句16或其任何从属语句所述的方法，其中所述区块头中的至少一些区块头是从一个或多个区块链节点获取的，和/或其中所述区块头中的至少一些区块头是从一个或多个简单支付验证(spv)客户端应用程序获取的。
[0269]
语句20.根据语句16或其任何从属语句所述的方法，其中所述默克尔证明实体操
作或能够访问存储所述区块头中的一个或多个区块头的spv客户端应用程序。
[0270]
语句21.根据语句15或其任何从属语句所述的方法，其中所述默克尔证明实体为事务标识符的每个子集存储来自所述相应区块的第一区块链事务。
[0271]
语句22.根据语句21所述的方法，所述方法包括：
[0272]
获取所述第一区块链事务的第一默克尔证明，其中所述第一默克尔证明基于所存储的事务标识符的集合中的一个或多个事务标识符；以及，
[0273]
输出所述第一区块链事务和所述第一默克尔证明，以供所述请求方将其用于验证所述目标默克尔证明的长度与所述对应的目标默克尔树的长度匹配。
[0274]
语句23.根据语句22所述的方法，其中所述第一区块链事务是生成事务(generation transaction)。
[0275]
生成事务(也称为coinbase事务或发起事务)是逻辑上最先发布在区块中的事务，由发布该区块的所述区块链节点创建。
[0276]
语句24.根据前述任一项语句所述的方法，其中所述请求方操作简单支付验证(spv)客户端应用程序。
[0277]
所述请求方可以操作离线钱包应用程序。
[0278]
语句25.根据语句1至23中任一项所述的方法，其中所述请求方包括第二默克尔证明实体，所述第二默克尔证明实体被配置为：存储包含所述目标区块链事务的区块链事务的集合，以及将所述目标默克尔证明输出给第二请求方。
[0279]
例如，所述第二请求方可以是终端用户。
[0280]
语句26.一种获取关于区块链事务存在于区块链上的证明的计算机实现的方法，其中默克尔证明实体存储相应区块链事务的事务标识符的集合，其中所述默克尔证明实体被配置为存储相应区块链事务的事务标识符的集合但不向区块链网络发布新的区块链区块，其中所述方法由请求方执行并且包括：
[0281]
向所述默克尔证明实体，发送目标区块链事务和/或所述目标事务的目标事务标识符；以及，
[0282]
从所述默克尔证明实体，获取所述目标区块链事务的目标默克尔证明，其中所述默克尔证明基于所存储的事务标识符的集合中的一个或多个事务标识符。
[0283]
语句27.根据语句26所述的方法，所述方法包括：向第二请求方发送所述目标默克尔证明，作为所述目标区块链事务存在于所述区块链上的证明。
[0284]
语句28.根据语句26或27所述的方法，其中所述目标区块链事务是区块链事务链中最近的一个区块链事务，其中所述请求方能够访问所述区块链事务链中的每个事务，其中所述目标默克尔证明用作所述区块链事务链中的每个事务存在于所述区块链上的证明。
[0285]
语句29.一种计算机设备，所述计算机设备包括：
[0286]
存储器，所述存储器包括一个或多个存储器单元；以及，
[0287]
处理装置，所述处理装置包括一个或多个处理单元，其中所述存储器存储被设置在所述处理装置上运行的代码，所述代码被配置为当在所述处理装置上运行时，执行根据语句1至25中任一项所述的方法。
[0288]
语句30.一种计算机程序，所述计算机程序包含在计算机可读存储器上并且被配置为当在一个或多个处理器上运行时，执行根据语句1至25中任一项所述的方法。
[0289]
语句31.一种计算机设备，所述计算机设备包括：
[0290]
存储器，所述存储器包括一个或多个存储器单元；以及，
[0291]
处理装置，所述处理装置包括一个或多个处理单元，其中所述存储器存储被设置在所述处理装置上运行的代码，所述代码被配置为当在所述处理装置上运行时，执行根据语句26至28中任一项所述的方法。
[0292]
语句32.一种计算机程序，所述计算机程序包含在计算机可读存储器上并且被配置为当在一个或多个处理器上运行时，执行根据语句26至28中任一项所述的方法。
[0293]
根据本文公开的另一方面，可以提供一种方法，所述方法包括所述默克尔证明实体和所述请求方的动作。
[0294]
根据本文公开的另一方面，可以提供一种系统，所述系统包括所述默克尔证明实体和所述请求方的计算机设备。

技术特征：
1.一种证明区块链事务存在于区块链上的计算机实现的方法，其中所述方法由默克尔证明实体执行，所述默克尔证明实体被配置为存储相应区块链事务的事务标识符的集合但不向区块链网络发布新的区块链区块，并且其中所述方法包括：获取目标区块链事务的目标事务标识符，其中所述目标事务标识符构成所存储的事务标识符的集合的一部分；获取所述目标区块链事务的目标默克尔证明，其中对应的目标默克尔根包含在所述区块链的区块头内；以及输出所述目标默克尔证明，以供请求方用作所述目标区块链事务存在于所述区块链上的证明。2.根据权利要求1所述的方法，其中所述默克尔证明实体不存储完整的区块链。3.根据权利要求1或2所述的方法，其中获取所述目标默克尔证明包括：计算所述目标事务标识符在对应的目标默克尔树的叶层内的索引。4.根据权利要求3所述的方法，所述方法包括：将所述索引输出至所述请求方。5.根据前述任一项权利要求所述的方法，其中所述的获取所述目标事务标识符包括：从所述请求方获取所述目标事务标识符。6.根据前述任一项权利要求所述的方法，其中所述的获取所述目标事务标识符包括：获取所述目标区块链事务，以及基于所述目标区块链事务构建所述目标事务标识符。7.根据前述任一项权利要求所述的方法，其中所述的获取所述目标默克尔证明包括：使用所存储的事务标识符的集合中的一个或多个事务标识符，来计算所述目标默克尔证明。8.根据前述任一项权利要求所述的方法，其中所述默克尔证明实体存储包含所述目标事务标识符的所存储的事务标识符的集合中的一个或多个事务标识符的相应默克尔证明，并且其中所述的获取所述目标默克尔证明包括：从存储位置提取所述目标默克尔证明。9.根据前述任一项权利要求所述的方法，其中所述的输出所述目标默克尔证明包括：将所述目标默克尔证明传输至所述请求方。10.根据前述任一项权利要求所述的方法，其中所述的输出所述目标默克尔证明可以包括：发布所述目标默克尔证明。11.根据前述任一项权利要求所述的方法，其中所述默克尔证明实体存储一个或多个默克尔根，其中每个默克尔根基于所存储的事务标识符的集合的相应子集。12.根据权利要求11所述的方法，所述方法包括：基于所述目标事务标识符，将所述默克尔根输出至所述请求方。13.根据权利要求11或12所述的方法，其中所述默克尔证明实体为所述一个或多个默克尔根中的每个默克尔根存储默克尔树。14.根据权利要求13所述的方法，其中所述的获取所述目标默克尔证明包括：从包含所述目标事务标识符的所存储的默克尔树中提取所述目标默克尔证明。15.根据前述任一项权利要求所述的方法，其中所存储的事务标识符的集合包括事务标识符的多个子集，其中事务标识符的每个子集包括来自所述区块链的相应区块的所有事务标识符。16.根据权利要求15所述的方法，其中事务标识符的每个子集与所述区块链的所述相
应区块的相应区块头相关联地存储。17.根据前述任一项权利要求所述的方法，所述方法包括：存储在所述区块链上发布的每个区块链事务的相应事务标识符。18.根据前述任一项权利要求所述的方法，其中所存储的事务标识符的集合中的至少一些事务标识符是从一个或多个区块链节点获取的。19.根据权利要求16或其任何从属权利要求所述的方法，其中所述区块头中的至少一些区块头是从一个或多个区块链节点获取的，和/或其中所述区块头中的至少一些区块头是从一个或多个简单支付验证spv客户端应用程序获取的。20.根据权利要求16或其任何从属权利要求所述的方法，其中所述默克尔证明实体操作或能够访问spv客户端应用程序，所述spv客户端应用程序存储所述区块头中的一个或多个区块头。21.根据权利要求15或其任何从属权利要求所述的方法，其中所述默克尔证明实体为事务标识符的每个子集存储来自所述相应区块的第一区块链事务。22.根据权利要求21所述的方法，所述方法包括：获取所述第一区块链事务的第一默克尔证明，其中所述第一默克尔证明基于所存储的事务标识符的集合中的一个或多个事务标识符；以及输出所述第一区块链事务和所述第一默克尔证明，以供所述请求方用于验证所述目标默克尔证明的长度与所述对应的目标默克尔树的长度匹配。23.根据权利要求22所述的方法，其中所述第一区块链事务是生成事务。24.根据前述任一项权利要求所述的方法，其中所述请求方操作简单支付验证spv客户端应用程序。25.根据权利要求1至23中任一项所述的方法，其中所述请求方包括第二默克尔证明实体，所述第二默克尔证明实体被配置为：存储区块链事务的集合，所述区块链事务的集合包括所述目标区块链事务；以及将所述目标默克尔证明输出至第二请求方。26.一种获取关于区块链事务存在于区块链上的证明的计算机实现的方法，其中默克尔证明实体存储相应区块链事务的事务标识符的集合，其中所述默克尔证明实体被配置为存储相应区块链事务的事务标识符的集合但不向区块链网络发布新的区块链区块，其中所述方法由请求方执行并且包括：向所述默克尔证明实体，发送目标区块链事务和/或所述目标事务的目标事务标识符；以及从所述默克尔证明实体，获取所述目标区块链事务的目标默克尔证明，其中所述默克尔证明基于所存储的事务标识符的集合中的一个或多个事务标识符。27.根据权利要求26所述的方法，所述方法包括：向第二请求方发送所述目标默克尔证明，作为所述目标区块链事务存在于所述区块链上的证明。28.根据权利要求26或27所述的方法，其中所述目标区块链事务是区块链事务链中最近的一个区块链事务，其中所述请求方能够访问所述区块链事务链中的每个事务，其中所述目标默克尔证明用作所述区块链事务链中的每个事务存在于所述区块链上的证明。29.一种计算机设备，所述计算机设备包括：存储器，所述存储器包括一个或多个存储器单元；以及
处理装置，所述处理装置包括一个或多个处理单元，其中所述存储器存储被设置在所述处理装置上运行的代码，所述代码被配置为当在所述处理装置上运行时，执行根据权利要求1至25中任一项所述的方法。30.一种计算机程序，所述计算机程序包含在计算机可读存储器上并且被配置为当在一个或多个处理器上运行时，执行根据权利要求1至25中任一项所述的方法。31.一种计算机设备，所述计算机设备包括：存储器，所述存储器包括一个或多个存储器单元；以及处理装置，所述处理装置包括一个或多个处理单元，其中所述存储器存储被设置在所述处理装置上运行的代码，所述代码被配置为当在所述处理装置上运行时，执行根据权利要求26至28中任一项所述的方法。32.一种计算机程序，所述计算机程序包含在计算机可读存储器上并且被配置为当在一个或多个处理器上运行时，执行根据权利要求26至28中任一项所述的方法。

技术总结
一种证明区块链事务存在于区块链上的计算机实现的方法，其中所述方法由默克尔证明实体执行，所述默克尔证明实体被配置为存储相应区块链事务的事务标识符的集合但不向区块链网络发布新的区块链区块，并且其中所述方法包括：获取目标区块链事务的目标事务标识符，其中所述目标事务标识符构成所存储的事务标识符的集合的一部分；获取所述目标区块链事务的目标默克尔证明，其中对应的目标默克尔根包含在所述区块链的区块头内；以及，输出所述目标默克尔证明，以供请求方用作所述目标区块链事务存在于所述区块链上的证明。务存在于所述区块链上的证明。务存在于所述区块链上的证明。


技术研发人员：张伟 巴席姆
受保护的技术使用者：区块链许可股份公司
技术研发日：2021.10.12
技术公布日：2023/8/1