Sharded Paxos Ledger

A replicated bank ledger in Python: Multi-Paxos inside each shard, two-phase commit across them. The figures run the same protocol steps the nodes do.

Three shards of three replicas each; accounts 1–3000, 3001–6000 and 6001–9000. Reads are answered by a shard's leader without a consensus round.