[Resource Topic] 2018/1153: Dfinity Consensus, Explored

Welcome to the resource topic for 2018/1153

Dfinity Consensus, Explored

Authors: Ittai Abraham, Dahlia Malkhi, Kartik Nayak, 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.

ePrint: https://eprint.iacr.org/2018/1153

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .