+ | |
+
+ In
+contrast to proof-of-work replication, Byzantine quorum systems
+maintain consistency across replicas with higher throughput, modest
+energy consumption, and deterministic liveness guarantees. If
+complemented with heterogeneous trust and open membership, they have
+the potential to serve as blockchains backbone. This paper presents a
+general model of heterogeneous quorum systems where each participant
+can declare its own quorums, and captures the consistency, availability
+and inclusion properties of these systems. In order to support open
+membership, it then presents reconfiguration protocols for
+heterogeneous quorum systems including joining and leaving of a
+process, and adding and removing of a quorum, and further, proves their
+correctness in the face of Byzantine attacks. The design of the
+protocols is informed by the trade-offs that the paper proves for the
+properties that reconfigurations can preserve. The paper further
+presents a graph characterization of heterogeneous quorum systems, and
+its application for reconfiguration optimization.
+
+
+
+
+ |
+
+ |
+
+