Abstract:Prior work studies the question of ``fairly'' ordering transactions in a replicated state machine. Each of $n$ replicas receives transactions in a possibly different order, and the system must aggregate the observed orderings into a single order. We argue that this problem is best viewed through the lens of social choice theory, in which (in the preference aggregation problem) rankings on candidates are aggregated into an election result. Two features make this problem novel. First, the number of transactions is unbounded, and an ordering must be defined over a countably infinite set. And second, decisions must be made quickly, with only partial information. Additionally, some faulty replicas might alter their reported observations; their influence on the output should be bounded and well understood. Prior work studies a ``$\gamma$-batch-order-fairness'' property, which divides an ordering into contiguous batches. If a $\gamma$ fraction of replicas receive $\tau$ before $\tau^\prime$, then $\tau^\prime$ cannot be in an earlier batch than $\tau$. We strengthen this definition to require that batches have minimal size ($\gamma$-batch-order-fairness can be vacuously satisfied by large batches) while accounting for the possibility of faulty replicas. This social choice lens enables an ordering protocol with strictly stronger fairness and liveness properties than prior work. We study the Ranked Pairs method. Analysis of how missing information moves through the algorithm allows our streaming version to know when it can output a transaction. Deliberate construction of a tiebreaking rule ensures our algorithm outputs a transaction after a bounded time (in a synchronous network). Prior work relies on a fixed choice of $\gamma$ and bound on the number of faulty replicas $f$, but our algorithm satisfies our definition for every $\frac{1}{2}<\gamma\leq 1$ simultaneously and for any $f$.

A Note on the Welfare Gap in Fair Ordering

Selfish & Opaque Transaction Ordering in the Bitcoin Blockchain: The Case for Chain Neutrality

SoK: Consensus for Fair Message Ordering

Wendy, the Good Little Fairness Widget

On Fairness Concerns in the Blockchain Ecosystem

Fair Ordering in Replicated Systems via Streaming Social Choice

Quick Order Fairness: Implementation and Evaluation

For One and All: Individual and Group Fairness in the Allocation of Indivisible Goods

We might walk together, but I run faster: Network Fairness and Scalability in Blockchains

Travelers: A scalable fair ordering BFT system

Fair Division of Indivisible Goods Among Strategic Agents

Bipartite Ranking Fairness through a Model Agnostic Ordering Adjustment

Fairness Criteria for Allocating Indivisible Chores: Connections and Efficiencies

The inversion paradox, and classification of fairness notions

Combinatorial Auctions without a Numeraire: The Case of Blockchain Trade-Intent Auctions

Xorder: A Model Agnostic Post-Processing Framework for Achieving Ranking Fairness While Maintaining Algorithm Utility.

Repeated Fair Allocation of Indivisible Items

Fair Division of Indivisible Goods: Recent Progress and Open Questions

Fair Division of Indivisible Goods: A Survey

When Are Welfare Guarantees Robust?

Order but Not Execute in Order