Reaching Approximate Byzantine Consensus with Multi-hop Communication

Conference paper

DOI: 10.1007/978-3-319-21741-3_2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9212)
Cite this paper as:
Su L., Vaidya N. (2015) Reaching Approximate Byzantine Consensus with Multi-hop Communication. In: Pelc A., Schwarzmann A. (eds) Stabilization, Safety, and Security of Distributed Systems. SSS 2015. Lecture Notes in Computer Science, vol 9212. Springer, Cham

Abstract

We address the problem of reaching approximate consensus in the presence of Byzantine faults in a synchronous system. We analyze iterative algorithms that maintain minimal state, and impose the constraint that in each iteration the nodes may only communicate with other nodes that are up to l hops away. For a given l, we prove a necessary and sufficient condition on the network structure for the existence of correct iterative algorithms that achieve approximate Byzantine consensus. We prove sufficiency of the condition by designing a correct algorithm, which uses a trim function based on a minimal messages cover property introduced in this paper. Our necessary and sufficient condition generalizes the tight condition identified in prior work for \(l=1\). For \(l\ge l^*\), where \(l^*\) is the length of a longest cycle-free path in the given network, our condition is equivalent to the necessary and sufficient conditions for exact consensus in undirected and directed networks both.

Keywords

Approximate byzantine consensus Iterative algorithm Synchronous system Incomplete network Bounded length communication paths 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Department of Electrical and Computer EngineeringUniversity of Illinois at Urbana-ChampaignUrbanaUSA

Personalised recommendations