Consensus protocol correctness based on knowledge of failures.
Check the final answer first, then review the worked steps.
Problem
Consensus protocol correctness based on knowledge of failures.
Step-by-step solution
The correctness of many consensus protocols, like Paxos or Raft, depends on knowing the maximum number of faulty processes, denoted by $f$. If $f$ is unknown, the protocol cannot guarantee safety and liveness under all possible failure scenarios.
Answer
Yes, the algorithm discussed in lecture is incorrect if we don't know $f$.