From consensus to atomic broadcast: Time-free byzantine-resistant protocols without signatures

Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo

Research output: Contribution to journalArticlepeer-review

65 Scopus citations

Abstract

This paper proposes a stack of three Byzantine-resistant protocols aimed to be used in practical distributed systems: multi-valued consensus, vector consensus and atomic broadcast. These protocols are designed as successive transformations from one to another. The first protocol, multi-valued consensus, is implemented on top of a randomized binary consensus and a reliable broadcast protocol. The protocols share a set of important structural properties. First, they do not use digital signatures constructed with public-key cryptography, a well-known performance bottleneck in this kind of protocols. Second, they are time-free, i.e. they make no synchrony assumptions, since these assumptions are often vulnerable to subtle but effective attacks. Third, they are completely decentralized, thus avoiding the cost of detecting corrupt leaders. Fourth, they have optimal resilience, i.e. they tolerate the failure of f = ⌊(n - 1)/3⌋ out of a total of n processes. In terms of time complexity, the multi-valued consensus protocol terminates in a constant expected number of rounds, while the vector consensus and atomic broadcast protocols have O (f) complexity. The paper also proves the equivalence between multi-valued consensus and atomic broadcast in the Byzantine failure model without signatures. A similar proof is given for the equivalence between multi-valued consensus and vector consensus. These two results have theoretical relevance since they show once more that consensus is a fundamental problem in distributed systems. © The Author 2005. Published by Oxford University Press on behalf of The British Computer Society. All rights reserved.
Original languageEnglish (US)
Pages (from-to)82-96
Number of pages15
JournalComputer Journal
Volume49
Issue number1
DOIs
StatePublished - Jan 1 2006
Externally publishedYes

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint

Dive into the research topics of 'From consensus to atomic broadcast: Time-free byzantine-resistant protocols without signatures'. Together they form a unique fingerprint.

Cite this