Table of Contents
Fetching ...

Weaker Assumptions for Asymmetric Trust

Ignacio Amores-Sesar, Christian Cachin, Simon Holmgaard Kamp, Juan Villacis

TL;DR

This work tackles distributed systems with asymmetric trust by introducing a depth-based framework that weakens traditional guild-based assumptions. It develops depth-aware primitives—RB[$d$], CC[$d',d$], BGA[$d',d$]—and a depth-based consensus C[$10$], showing reliable broadcast and consensus can be achieved under substantially weaker conditions than prior guild-reliant solutions. The authors demonstrate that guild-based advantages can be replicated or bypassed by deriving symmetric fail-prone systems in guild contexts, and they establish concrete depth thresholds (e.g., RB[$3$], C[$10$]) to guarantee progress. The significance lies in enabling more flexible, scalable asymmetric protocols applicable to core problems in distributed systems and potentially blockchain-like environments.

Abstract

In distributed systems with asymmetric trust, each participant is free to make its own trust assumptions about others, captured by an asymmetric quorum system. This contrasts with ordinary, symmetric quorum systems and threshold models, where trust assumptions are uniformly shared among participants. Fundamental problems like reliable broadcast and consensus are unsolvable in the asymmetric model if quorum systems satisfy only the classical properties of consistency and availability. Existing approaches overcome this by introducing stronger assumptions. We show that some of these assumptions are overly restrictive, so much so that they effectively eliminate the benefits of asymmetric trust. To address this, we propose a new approach to characterize asymmetric problems and, building upon it, present algorithms for reliable broadcast and consensus that require weaker assumptions than previous solutions. Our methods are general and can be extended to other core problems in systems with asymmetric trust.

Weaker Assumptions for Asymmetric Trust

TL;DR

This work tackles distributed systems with asymmetric trust by introducing a depth-based framework that weakens traditional guild-based assumptions. It develops depth-aware primitives—RB[], CC[], BGA[]—and a depth-based consensus C[], showing reliable broadcast and consensus can be achieved under substantially weaker conditions than prior guild-reliant solutions. The authors demonstrate that guild-based advantages can be replicated or bypassed by deriving symmetric fail-prone systems in guild contexts, and they establish concrete depth thresholds (e.g., RB[], C[]) to guarantee progress. The significance lies in enabling more flexible, scalable asymmetric protocols applicable to core problems in distributed systems and potentially blockchain-like environments.

Abstract

In distributed systems with asymmetric trust, each participant is free to make its own trust assumptions about others, captured by an asymmetric quorum system. This contrasts with ordinary, symmetric quorum systems and threshold models, where trust assumptions are uniformly shared among participants. Fundamental problems like reliable broadcast and consensus are unsolvable in the asymmetric model if quorum systems satisfy only the classical properties of consistency and availability. Existing approaches overcome this by introducing stronger assumptions. We show that some of these assumptions are overly restrictive, so much so that they effectively eliminate the benefits of asymmetric trust. To address this, we propose a new approach to characterize asymmetric problems and, building upon it, present algorithms for reliable broadcast and consensus that require weaker assumptions than previous solutions. Our methods are general and can be extended to other core problems in systems with asymmetric trust.

Paper Structure

This paper contains 14 sections, 21 theorems, 3 equations.

Key Result

Lemma 1

Let $\mathbb{Q}$ be an asymmetric Byzantine quorum system among processes $\mathcal{P}$ with asymmetric fail-prone system $\mathbb{F} = \overline{\mathbb{Q}}$, i.e., such that $\mathbb{Q}$ is a canonical asymmetric Byzantine quorum system, and let $\mathcal{T}$ be the tolerated system of $\mathbb{Q}

Theorems & Definitions (52)

  • Definition 1
  • Definition 2: $B^3$-condition
  • Definition 3
  • Definition 4: Tolerated system DBLP:journals/dc/AlposCTZ24
  • Lemma 1: DBLP:journals/dc/AlposCTZ24
  • Definition 5: Quorum-based algorithm
  • Definition 6: Tolerated Symmetric Fail-Prone System
  • Lemma 2
  • proof
  • Theorem 1
  • ...and 42 more