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

by   Martin Florian, et al.
Humboldt-Universität zu Berlin

Federated Byzantine Agreement Systems (FBASs) are a fascinating new paradigm in the context of consensus protocols. Originally proposed for powering the Stellar payment network, FBASs can be thought of as a middle way between typical permissionless systems (like Bitcoin) and permissioned approaches for solving consensus (like classical BFT protocols). Unlike Bitcoin and the like, validators must be explicitly chosen by peers. Unlike permissioned protocols, there is no need for the whole system to agree on the same set of validators. Instead, every node is free to decide for itself with whom it requires agreement. In this paper, we propose an intuitive yet precise methodology for determining whether the quorum systems resulting from such individual configurations can enable liveness and safety, respectively how many (byzantine) node failures they are away from losing these qualities. We apply our analysis approach and software to evaluate the effects of different node configuration policies, i.e., logics through which node configurations result from strategic considerations or an existing inter-node relationship graph. Lastly, we also investigate the reported "open-membership" property of FBASs. We observe that an often small group of nodes is exclusively relevant for determining safety and liveness "buffers", and prove that these top tiers are effectively "closed-membership" if maintaining safety is a core requirement.


Federated Byzantine Quorum Systems (Extended Version)

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

Scalable and Secure Computation Among Strangers: Resource-Competitive Byzantine Protocols

Motivated, in part, by the rise of permissionless systems such as Bitcoi...

Blockmania: from Block DAGs to Consensus

Blockmania is a byzantine consensus protocol. Nodes emit blocks forming ...

Centrality of nodes in Federated Byzantine Agreement Systems

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

Mathematical Analysis and Algorithms for Federated Byzantine Agreement Systems

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

Is Stellar As Secure As You Think?

Stellar is one of the top ten cryptocurrencies in terms of market capita...

Optimal Eventual Byzantine Agreement Protocols with Omission Failures

Work on optimal protocols for Eventual Byzantine Agreement (EBA) – proto...

Code Repositories


Tool and library for analyzing FBASs like Stellar

view repo

Please sign up or login with your details

Forgot password? Click here to reset