[发明专利]一种区块链交易验证方法和系统

权利要求书

1.一种区块链交易验证方法，包括以下步骤：

将区块链中每一证明者维护的证明链C，每间隔len个区块就分隔为一个子段，总共分隔为P个子段C_p，其中，所述证明链C包括n′个区块，所述n′个区块中的前n个区块对应的证据已被验证者验证，第n+1个区块属于子段C_i中，待验证交易包含在第n+1个区块至第n′个区块中的一区块，1＜i≤P；

针对每一子段C_j，其中，j∈[i，P]，i表示第n+1个区块所在的子段C_p的序号；通过构建MMR树，获取对同一个子段C_p中所有区块的承诺值，以及各区块MMR证据，包括：

对于所述证明链C中第s个位置的区块B_s，获取所述区块B_s所在的子段C_p；

在所述子段C_p中，基于所述区块B_s之前的区块，构建区块集合；

根据所述区块集合中各区块的区块头，组成一棵MMR树，其中，所述MMR树的根存放在所述区块B_s的区块头中，且所述MMR树中第一个叶子结点存放的MMR根设置为空值；

基于前一个区块中的MMR根和前一个区块的区块头，获取当前区块中的MMR根；

基于各个区块所在子段C_p中最后一个区块中包含的MMR根，获取对C_p中所有之前区块的承诺值；

基于所述承诺值，获取各区块的MMR证据，所述MMR证据的尺寸与相应的子段C_p的长度成对数关系；

基于所述承诺值与所述MMR证据，计算所述证明链C的有效性证据；

计算所述待验证交易的默克尔路径，并结合所述待验证交易所在区块的区块头与所述MMR证据，生成证明待验证交易的存在性证据；

基于所述证明链C的有效性证据与所述待验证交易的存在性证据，计算所述证明链C中待验证交易的有效性证据，并将所述待验证交易的有效性证据发送至验证者，以使所述验证者基于获取各待验证交易的有效性证据，计算所述待验证交易的验证结果。

2.如权利要求1所述的方法，其特征在于，所述基于所述承诺值与所述MMR证据，计算所述证明链C的有效性证据，包括：

对于每一子段C_j，基于所述承诺值，并利用FlyClient协议中证明算法Prove(C_j，length(C_j)，c)，生成所述子段C_j的初始有效性证据π_j，其中，length(C_j)表示子段C_j的长度，c表示敌手节点数目除以诚实节点数目数值；

将所述子段C_j的第一个区块的区块头和MMR证据，加入所述子段C_j的初始有效性证据，得到所述子段C_j的有效性证据π′_j；

根据各子段C_j的有效性证据π′_j，获取所述证明链C的有效性证据。

3.如权利要求2所述的方法，其特征在于，计算所述长度length(C_j)的方法，包括：

若j＝i，则

若j＝P，则

其它情况，则length(C_j)＝len。

4.如权利要求1所述的方法，其特征在于，所述证明链C的有效性证据，还包括：

获取第一个未被验证者验证的区块序号n+1；

计算所述证明链C中区块总数与已验证区块数的差值n’-n；

将所述区块序号n+1与所述差值n’-n，加入所述证明链C的证据。