Clairvoyant state machine replication

Rida Bazzi, Maurice Herlihy

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


We consider the state machine replication problem in semi-synchronous systems subject to Byzantine server failures. We propose a new solution to the problem in the form of a protocol for the generalized consensus problem. The protocol solves the consensus problem in a setting in which information about conflicts between transactions is available (such information can be in the form of transaction read and write sets). Unlike most prior proposals (for generalized or classical consensus), which use a leader to order transactions, this protocol is leaderless, and relies on non-skipping timestamps for transaction ordering. Being leaderless, the protocol does not need to pause for leader elections. The use of non-skipping timestamps permits servers to commit transactions as soon as they know that no conflicting transaction can be ordered earlier. For n servers of which f may be faulty, this protocol requires n>4f.

Original languageEnglish (US)
Article number104701
JournalInformation and Computation
StatePublished - May 2022


  • Byzantine
  • Consensus
  • Generalized
  • Ledger
  • State machine

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Information Systems
  • Computer Science Applications
  • Computational Theory and Mathematics


Dive into the research topics of 'Clairvoyant state machine replication'. Together they form a unique fingerprint.

Cite this