Formalizing Subjective Trust Assumptions for Resilient Decentralized Consensus
Introducing asymmetric Byzantine quorum systems, this work formally proves safety and liveness in networks where nodes choose their own trust sets.
