Complexity of the quorum intersection property of the Federated Byzantine Agreement System

Łukasz Lachowski

A Federated Byzantine Agreement System is defined as a pair $(V,Q)$ comprising a set of nodes $V$ and a quorum function $Q:V\mapsto 2^{2^V}\setminus \{\varnothing \}$ specifying…