Paper 2018/1153

Dfinity Consensus, Explored

Ittai Abraham, Dahlia Malkhi, Kartik Nayak, and Ling Ren

Abstract

We explore a Byzantine Consensus protocol called Dfinity Consensus, recently published in a technical report. Dfinity Consensus solves synchronous state machine replication among $n = 2f + 1$ replicas with up to $f$ Byzantine faults. We provide a succinct explanation of the core mechanism of Dfinity Consensus to the best of our understanding. We prove the safety and liveness of the protocol specification we provide. Our complexity analysis of the protocol reveals the follows. The protocol achieves expected $O(f \times \Delta)$ latency against an adaptive adversary, (where \Delta is the synchronous bound on message delay), and expected $O(\Delta)$ latency against a mildly adaptive adversary. In either case, the communication complexity is unbounded. We then explain how the protocol can be modified to reduce the communication complexity to $O(n^3)$ in the former case, and to $O(n^2)$ in the latter.

Metadata
Available format(s)
PDF
Publication info
Preprint. MINOR revision.
Keywords
BlockchainByzantine Consensus
Contact author(s)
kartik1507 @ gmail com
History
2018-12-03: received
Short URL
https://ia.cr/2018/1153
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2018/1153,
      author = {Ittai Abraham and Dahlia Malkhi and Kartik Nayak and Ling Ren},
      title = {Dfinity Consensus, Explored},
      howpublished = {Cryptology {ePrint} Archive, Paper 2018/1153},
      year = {2018},
      url = {https://eprint.iacr.org/2018/1153}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.