How to Trust Strangers: Composition of Byzantine Quorum Systems

Alpos, Orestis; Cachin, Christian; Zanolini, Luca (2021). How to Trust Strangers: Composition of Byzantine Quorum Systems. In: 2021 40th International Symposium on Reliable Distributed Systems (SRDS) (pp. 120-131). IEEE 10.1109/SRDS53918.2021.00021

Text How_to_Trust_Strangers_Composition_of_Byzantine_Quorum_Systems.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (402kB) | Request a copy

Trust is the basis of any distributed, faulttolerant, or secure system. A trust assumption specifies the failures that a system, such as a blockchain network, can tolerate and determines the conditions under which it operates correctly. In systems subject to Byzantine faults, the trust assumption is usually specified through sets of processes that may fail together. Trust has traditionally been symmetric, such that all processes in the system adhere to the same, global assumption about potential faults. Recently, asymmetric trust models have also been considered, especially in the context of lockchains, where every participant is free to choose who to trust. In both cases, it is an open question how to compose trust assumptions. Consider two or more systems, run by different and possibly disjoint sets of participants, with different assumptions about faults: how can they work together? This work answers this question for the first time and offers composition rules for symmetric and for asymmetric quorum systems. These rules are static and do not require interaction or agreement on the new trust assumption among the participants. Moreover, they ensure that if the original systems allow for running a particular protocol (guaranteeing consistency and availability), then so will the joint system. At the same time, the composed system tolerates as many faults as possible, subject to the underlying consistency and availability properties. Reaching consensus with asymmetric trust in the model of personal Byzantine quorum systems (Losa et al., DISC 2019) was shown to be impossible, if the trust assumptions of the processes diverge from each other. With asymmetric quorum systems, and by applying our composition rule, we show how consensus is actually possible, even with the combination of disjoint sets of processes.

Interest & Impact

Downloads

5 since deposited on 18 Feb 2022
0 in the past 12 months

Citations

5 Citations in Web of Science ®
6 Citations in Scopus

Search

in Google Scholar™

Services

Actions (login required)

Edit item

Actions (login required)

Edit item