Paper 2018/1153

Dfinity Consensus, Explored

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


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.

Available format(s)
Publication info
Preprint. MINOR revision.
BlockchainByzantine Consensus
Contact author(s)
kartik1507 @ gmail com
2018-12-03: received
Short URL
Creative Commons Attribution


      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},
      note = {\url{}},
      url = {}
Note: In order to protect the privacy of readers, does not use cookies or embedded third party content.