Our final project is an extention of the Lab4 ShardKV store that is both faster and more reliable. Our main areas of implementation were 1) The Mencius variant of the Paxos protocol, 2) A persistence architecture which uses periodic checkpointing, and 3) A deployment framework for testing a real-life distributed key-value store over Amazon’s AWS.