[发明专利]区块链背书验证

权利要求书

1.一种区块链背书验证方法，包括：

接收输入，所述输入包括背书策略、区块链网络的结构、以及针对要容忍的故障程度的要求；

将所接收的输入变换为中间数据，所述中间数据包括代表所述区块链网络的节点的故障状态的变量的标识符，以及所述背书策略和针对要容忍的故障程度的所述要求对所述节点的所述故障状态的约束；

否定所述中间数据中所述约束的子集；

基于所有可能的故障状态，确定遵循所述背书策略和针对所述故障程度的所述要求的区块链是否具有区块链固有特性，其中所述区块链固有特性包括拜占庭容错特性；以及

经由显示屏显示所述确定的结果。

2.根据权利要求1所述的方法，其中所述拜占庭容错特性包括活性要求和安全性要求中的一个或多个。

3.根据权利要求1所述的方法，其中，所述变换包括：将所述区块链网络中的一组节点变换为描述相应节点的故障状态的状态变量。

4.根据权利要求3所述的方法，其中，所述变换包括：将所述背书策略变换为对所述状态变量的一组约束。

5.根据权利要求4所述的方法，其中，所述变换包括：将所述背书策略变换为：(i)指示共识存在的约束；以及(ii)指示达成所述共识的值是否正确的约束。

6.根据权利要求3所述的方法，其中，所述变换包括：将针对要容忍的所述故障程度的所述要求变换为对所述状态变量的约束。

7.根据权利要求1所述的方法，其中，所述确定经由对所述中间数据执行约束满足问题CSP求解器来执行。

8.根据权利要求1所述的方法，还包括：输出关于所述背书策略的通过/失败消息。

9.根据权利要求8所述的方法，其中，所述输出进一步包括：输出指示节点故障如何不满足所述区块链的所述要求的反例。

10.一种计算系统，包括：

存储装置，其被配置为存储输入，所述输入包括背书策略、区块链网络的结构、以及针对要容忍的故障程度的要求；以及

处理器，其被配置为实现权利要求1-9中的任一项的步骤。

11.一种非暂态计算机可读介质，包括指令，所述指令在由处理器读取时使所述处理器执行包括权利要求1-9中的任一项的步骤的方法。