A Characterization of Eventual Byzantine Agreement (1990) [19 citations — 13 self]
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
author = {Joseph Y. Halpern and Yoram Moses and Orli Waarts},
title = {A Characterization of Eventual Byzantine Agreement},
year = {1990}
}
Bookmarks
OpenURL
Abstract:
: 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 our 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. An early version of this work appeared in the Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990. y Much of this work was carried out while the author was at the IBM Almaden Research Center. IBM's support is gratefully acknowledged. The work was als...
