Heidi Howard — Paxos vs Raft: Have we reached consensus on distributed consensus?