Course
Week 1:
- The network model, the threshold adversary model, and the power of the adversary.
- Definition of Consensus and Agreement
- State Machine Replication for crash failures.
- From single agreement to state machine replication.
- The ideal state machine model and Linearizability.
Week 2:
- Consensus with Omission failures (Paxos) from Recoverable Broadcast.
- Consensus with Omission failures requires $f<n/2$.