Asynchronous Byzantine Agreement in Incomplete Networks [Technical Report]

by   Ye Wang, et al.

The Byzantine agreement problem is considered to be a core problem in distributed systems. For example, Byzantine agreement is needed to build a blockchain, a totally ordered log of records. Blockchains are asynchronous distributed systems, fault-tolerant against Byzantine nodes. In the literature, the asynchronous byzantine agreement problem is studied in a fully connected network model where every node can directly send messages to every other node. This assumption is questionable in many real-world environments. In the reality, nodes might need to communicate by means of an incomplete network, and Byzantine nodes might not forward messages. Furthermore, Byzantine nodes might not behave correctly and, for example, corrupt messages. Therefore, in order to truly understand Byzantine Agreement, we need both ingredients: asynchrony and incomplete communication networks. In this paper, we study the asynchronous Byzantine agreement problem in incomplete networks. A classic result by Danny Dolev proved that in a distributed system with n nodes in the presence of f Byzantine nodes, the vertex connectivity of the system communication graph should be at least (2f+1). While Dolev's result was for synchronous deterministic systems, we demonstrate that the same bound also holds for asynchronous randomized systems. We show that the bound is tight by presenting a randomized algorithm, and a matching lower bound.


page 1

page 2

page 3

page 4


Cob: a Multidimensional Byzantine Agreement Protocol for Asynchronous Incomplete Networks

In this paper we extend the Multidimensional Byzantine Agreement (MBA) P...

Reaching Efficient Byzantine Agreements in Bipartite Networks

For reaching efficient deterministic synchronous Byzantine agreement upo...

Probabilistic Indistinguishability and the Quality of Validity in Byzantine Agreement

Lower bounds and impossibility results in distributed computing are both...

VLSM: Validating Labelled State Transition and Message Production Systems

In this paper we introduce the notion of a validating labelled state tra...

You Only Live Multiple Times: A Blackbox Solution for Reusing Crash-Stop Algorithms In Realistic Crash-Recovery Settings

Distributed agreement-based algorithms are often specified in a crash-st...

Sublinear Message Bounds of Authenticated Implicit Byzantine Agreement

This paper studies the message complexity of authenticated Byzantine agr...

DORA: Distributed Oracle Agreement with Simple Majority

Oracle networks feeding off-chain information to a blockchain are requir...

Please sign up or login with your details

Forgot password? Click here to reset