Overview

A clean-room implementation of Multi-Paxos consensus protocol in Rust. This is an educational project exploring distributed systems fundamentals through implementing the classic Paxos algorithm.

The implementation includes a replicated log that can be used to build fault-tolerant distributed systems. It demonstrates key concepts like leader lease, proposal numbers, and majority quorums.

Key Features

  • Multi-Paxos consensus implementation
  • Replicated log for state machine replication
  • Leader lease mechanism
  • Educational focus — not for production