Implementation of a Raft-based distributed key-value store with linearizable reads and dynamic membership.