FLP Impossibility

Result

• Fischer, Lynch, Paterson (1985)
• no deterministic consensus protocol can tolerate even one crash failure in an async system

Assumptions Violated by Raft

• Raft uses randomized timeouts (partially synchronous model)

Practical Escape