Stellar Quorum Systems

Giuliano Losa 📧

August 1, 2019

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


We formalize the static properties of personal Byzantine quorum systems (PBQSs) and Stellar quorum systems, as described in the paper “Stellar Consensus by Reduction” (to appear at DISC 2019).


BSD License


Session Stellar_Quorums