拜占庭将军口头消息协议OM(m)算法分析与应用

Algorithm Analysis and Application of Oral Message Protocol OM(m)of the Byzantine Generals Problem

区块链的各种共识协议的交互机制复杂度高,面对具体业务需求,协同使用和定制修改共识协议成为一种挑战。针对共识机制间区别联系的问题,广泛研究现今流行共识协议的区别和联系后,提出从所有共识协议的理论基石拜占庭将军口头消息协议OM(m)进行重新研究。从最小限制条件的理论算法开始,实例化保持全网数据一致性的完整过程。然后总结最小限制条件的共性和具体应用条件。最后,在此基础上逐次加入新需求和更改相应算法,产生满足新场景的共识协议。理论分析和实践表明,与大多数直接从具体的异步共识协议开始入手的方法相比,从理论算法口头消息协议进行分析,能有效降低分析和应用新共识协议的复杂度。

Due to the high complexity of the interaction mechanism of consensus protocols in blockchains,the collaborative use and customization of consensus protocols have become challenges in the face of specific business needs.In view of the difference and connection between consensus mechanisms,after extensive study of the differences and links between popular consensus protocols,this paper proposes to re-study the General Byzantine oral message protocol OM(m),which is the theoretical cornerstone of all consensus agreements.First,starting with the theoretical algorithm of minimum restriction condition,the whole process of maintaining data consistency of the whole network is instantiated.Then,the commonness and specific application conditions of the minimum restriction conditions are summarized.Finally,new requirements and corresponding algorithms are added successively to generate consensus protocols to meet new scenarios based on these conclusions.Theoretical analysis and practice show that,compared with most methods that start with specific asynchronous consensus protocols directly,the complexity of analysis and application of new consensus protocols can be effectively reduced by analyzing oral message protocols of theoretical algorithms.