IEEE Transactions on Dependable and Secure Computing · 2006 · 277 citations · 15 references
ComputingComputer EngineeringComputer ScienceDistributed SystemsFault-tolerant SystemsMessage PassingConsensus AlgorithmsConsensus BuildingConsensus ProtocolsDistributed ComputingDistributed ConsensusDistributed TransactionsAsynchronous ConsensusConsensus Protocol DesignState Machine DesignState Machine Models
We present the first protocol that reaches asynchronous Byzantine consensus in two communication steps in the common case. We prove that our protocol is optimal in terms of both number of communication steps and number of processes for two-step consensus. The protocol can be used to build a replicated state machine that requires only three communication steps per request in the common case. Further, we show a parameterized version of the protocol that is safe despite f Byzantine failures and, in the common case, guarantees two-step execution despite some number t of failures (t les f). We show that this parameterized two-step consensus protocol is also optimal in terms of both number of communication steps and number of processes
15
Leslie Lamport · ACM Transactions on Computer Systems · 1998 · 2.7K citations · Full text
Dahlia Malkhi, Michael K. Reiter · Distributed Computing · 1998 · 527 citations