Heterogeneous Paxos: Technical Report

TL;DR

Heterogeneous Paxos is a novel consensus algorithm designed for distributed systems with varying trust levels among acceptors and learners, improving efficiency and applicability in cross-domain scenarios like blockchains.

Contribution

It introduces a fully heterogeneous consensus algorithm with a new Learner Graph model, extending Byzantine Paxos to handle diverse trust assumptions.

Findings

Achieves consensus with as few as three message sends in optimal cases.

Supports diverse trust configurations among acceptors and learners.

Demonstrates resource and latency savings in heterogeneous scenarios.

Abstract

In distributed systems, a group of $\textit{learners}$ achieve $\textit{consensus}$ when, by observing the output of some $\textit{acceptors}$, they all arrive at the same value. Consensus is crucial for ordering transactions in failure-tolerant systems. Traditional consensus algorithms are homogeneous in three ways: - all learners are treated equally, - all acceptors are treated equally, and - all failures are treated equally. These assumptions, however, are unsuitable for cross-domain applications, including blockchains, where not all acceptors are equally trustworthy, and not all learners have the same assumptions and priorities. We present the first consensus algorithm to be heterogeneous in all three respects. Learners set their own mixed failure tolerances over differently trusted sets of acceptors. We express these assumptions in a novel $\textit{Learner Graph}$, and demonstrate sufficient conditions for consensus. We present $\textit{Heterogeneous Paxos}$: an extension of Byzantine Paxos. Heterogeneous Paxos achieves consensus for any viable Learner Graph in best-case three message sends, which is optimal. We present a proof-of-concept implementation, and demonstrate how tailoring for heterogeneous scenarios can save resources and latency.