Federated Byzantine Quorum Systems (Extended Version)

by   Álvaro García-Pérez, et al.

Some of the recent blockchain proposals, such as Stellar and Ripple, use quorum-like structures typical for Byzantine consensus while allowing for open membership. This is achieved by constructing quorums in a decentralised way: each participant independently chooses whom to trust, and quorums arise from these individual decisions. Unfortunately, the theoretical foundations underlying such blockchains have not been thoroughly investigated. To close this gap, in this paper we study decentralised quorum construction by means of federated Byzantine quorum systems, used by Stellar. We rigorously prove the correctness of basic broadcast abstractions over federated quorum systems and establish their relationship to the classical Byzantine quorum systems. In particular, we prove correctness in the realistic setting where Byzantine nodes may lie about their trust choices. We show that this setting leads to a novel variant of Byzantine quorum systems where different nodes may have different understanding of what constitutes a quorum.



page 1

page 2

page 3

page 4


Deconstructing Stellar Consensus (Extended Version)

Some of the recent blockchain proposals, such as Stellar and Ripple, all...

The Sum of Its Parts: Analysis of Federated Byzantine Agreement Systems

Federated Byzantine Agreement Systems (FBASs) are a fascinating new para...

Asynchronous Byzantine Consensus on Undirected Graphs under Local Broadcast Model

In this work we look at Byzantine consensus in asynchronous systems unde...

Mathematical Analysis and Algorithms for Federated Byzantine Agreement Systems

We give an introduction to federated Byzantine agreement systems (FBAS) ...

Centrality of nodes in Federated Byzantine Agreement Systems

The federated Byzantine agreement system (FBAS) is a consensus model int...

Asymmetric Distributed Trust

Quorum systems are a key abstraction in distributed fault-tolerant compu...

SybilQuorum: Open Distributed Ledgers Through Trust Networks

The Sybil attack plagues all peer-to-peer systems, and modern open distr...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.