Blockchain technology and related frameworks have recently received extensive attention. Blockchain systems use multi-party consensus protocols to reach agreements on transactions. Hyperledger Fabric framework exposes a multi-party consensus, based on endorsement policy protocol, to reach a consensus on a transaction. In this paper, we define a problem of verification of a blockchain multi-party consensus with probabilistic properties. Further, we propose a verification technique of endorsement policies using statistical model checking and hypothesis testing. We analyze several aspects of the policies, including the ability to assign weights to organizations and the refusal probabilities of organizations. We demonstrate on experiments the work of our verification technique and how one can use experimental results to make the model satisfiable the specification. One can use our technique to design enterprise applications with the Hyperledger Fabric framework.
翻译:最近广泛关注了封锁链技术和相关框架。链锁系统使用多党共识协议达成交易协议。超链式法布里克框架暴露了基于背书政策协议的多党共识,以就交易达成共识。在本文件中,我们界定了对具有概率特性的链锁多党共识的核查问题。此外,我们提出了使用统计模式检查和假设测试的认可政策核查技术。我们分析了政策的若干方面,包括组织分配权重的能力和各组织拒绝权的概率。我们展示了我们的核查技术的实验工作,以及人们如何利用实验结果使模型可作比照性规格。我们可以使用我们的技术设计具有超链式法布里奇框架的企业应用程序。