A characterization of eventual Byzantine agreement
A characterization of eventual Byzantine agreement
复制标题
最终拜占庭协议的特征
DOI：
--
复制
发表时间：
1990
期刊：
影响因子：
--
通讯作者：
Orli Waarts
中科院分区：
文献类型：
--
作者：
Joseph Y. Halpern;Yoram Moses;Orli Waarts
我们研究了最终拜占庭协议（EBA）在崩溃和遗漏失效模式。重点是根据处理器实现EBA所需的知识状态来描述最佳EBA协议。众所周知，无故障处理器之间的共同知识是实现同步拜占庭协议（SBA）的充分必要条件。我们定义了一个新的变体，我们称之为持续常识，并使用它来提供实现EBA的充分必要条件。使用这种特性，我们提供了一种技术，该技术允许我们从任何EBA协议开始，并使用两步过程将其转换为最佳EBA协议。
We investigate eventual Byzantine agreement (EBA) in the crash and omission failure modes. The emphasis is on characterizing optimal EBA protocols in terms of the states of knowledge required by the processors in order to attain EBA. It is well known that common knowledge among the nonfaulty processors is a necessary and sufficient condition for attaining simultaneous Byzantine agreement (SBA). We define a new variant that we call continual common knowledge and use it to provide necessary and sufficient conditions for attaining EBA. Using this characterization, we provide a technique that allows us to start with any EBA protocol and convert it to an optimal EBA protocol using a two-step process.