International Business Machines Corporation
Blockchain endorsement verification

Abstract:

An example operation may include one or more of receiving an input comprising an endorsement policy, a structure of a blockchain network, and requirements for degrees of faults to be tolerated, transforming the received input into intermediate data including identifiers of variables which represents fault states of the nodes of the blockchain network, and constraints on the fault states of the nodes by the endorsement policy and the requirements for degrees of faults to be tolerated, negating a subset of the constraints in the intermediate data, determining whether a blockchain which follows the endorsement policy and the requirements for the degrees of faults has blockchain-intrinsic properties based on all the possible fault states, and displaying results of the determination via a display screen.