15. Week 13: Distributed Consensus, BFT; Wrap-Up

• Code with examples, package paxos

15.1. Slides

• Distributed Consensus

• Byzantine Fault Tolerance and Blockchains; Wrap-Up

15.2. Papers to Read

• Paxos Made Simple

• Paxos Made Moderately Complex

• Practical Byzantine Fault Tolerance

• Mechanising Blockchain Consensus

• A Concurrent Perspective on Smart Contracts

15.3. Code Commentary

Implementation of Paxos Consensus

• PaxosVocabulary — messages used in the simple Paxos protocol

• SimplePaxos — definitions of Paxos Acceptors, Proposers and Learners as Scala actors

• PaxosFactory — utility class to create arbitrary instances of Paxos system

• PaxosTestUtilities — basic suite to test our simple Paxos implementation

• SimplePaxosTests — testing normal mode

• PaxosFailureTests — testing Paxos with failures of acceptors