Optimizing multi-party agreement protocols

Blockchain technology has developed rapidly over the last few years. A Blockchain network uses the multi-party agreement concept to reach an agreement on the transaction confirmation. As the technology is new, tools and techniques for blockchain verification are still under development. We explore optimization techniques of weighted multi-party agreements with stochastic properties in the current work. We represent a multiparty agreement as a discrete-time Markov chain and specification in a probabilistic linear temporal logic form. We demonstrate how to change the protocol parameters to satisfy the specification and illustrate the work of algorithms in experiments. Finally, we discuss the usage of proposed algorithms in the Hyperledger Fabric framework.