Synchronous Byzantine Lattice Agreement in O(log (f)) Rounds

by   Giuseppe Antonio Di Luna, et al.
Sapienza University of Rome

In the Lattice Agreement (LA) problem, originally proposed by Attiya et al., a set of processes has to decide on a chain of a lattice. More precisely, each correct process proposes an element e of a certain join-semi lattice L and it has to decide on a value that contains e. Moreover, any pair p_i,p_j of correct processes has to decide two values dec_i and dec_j that are comparable (e.g. dec_i ≤ dec_j or dec_j < dec_i). LA has been studied for its practical applications, as example it can be used to implement a snapshot objects or a replicated state machine with commutative operations. Interestingly, the study of the Byzantine Lattice Agreement started only recently, and it has been mainly devoted to asynchronous systems. The synchronous case has been object of a recent pre-print where Zheng et al. propose an algorithm terminating in O(√(f)) rounds and tolerating n/3-1 Byzantine processes. In this paper we present new contributions for the synchronous case. We investigate the problem in the usual message passing model for a system of n processes with distinct unique IDs. We first prove that, when only authenticated channels are available, the problem cannot be solved if f=n/3 or more processes are Byzantine. We then propose a novel algorithm that works in a synchronous system model with signatures (i.e., the authenticated message model), tolerates up to f byzantine failures (where f<n/3) and that terminates in O(log f) rounds. We discuss how to remove authenticated messages at the price of algorithm resiliency (f < n/4).


page 1

page 2

page 3

page 4


Byzantine Lattice Agreement in Asynchronous Systems

We study the Byzantine lattice agreement (BLA) problem in asynchronous d...

Lattice Agreement in Message Passing Systems

This paper studies the lattice agreement problem and the generalized lat...

Byzantine Lattice Agreement in Synchronous Systems

In this paper, we study the Byzantine lattice agreement problem in synch...

Byzantine Generalized Lattice Agreement

The paper investigates the Lattice Agreement (LA) problem in asynchronou...

Reaching Agreement Among k out of n Processes

In agreement problems, each process has an input value and must choose t...

Gathering despite a linear number of weakly Byzantine agents

We study the gathering problem to make multiple agents initially scatter...

Money Transfer Made Simple

It has recently been shown (PODC 2019) that, contrarily to a common beli...

Please sign up or login with your details

Forgot password? Click here to reset