Homework
1. Prove that the protocol is correct.
i.e. that it satisfies the agreement, validity and
termination (with probability 1) requirements.
Termination means - for reaching a decision.
Assume at most f Byzantine failures.
The communication is reliable FIFO broadcast,
although messages from different processes can
arrive at different order to different processes.
2. (only 437) Modify the algorithm so that
eventually, all non faulty processes halt.
Submission: Wednesday, November 1 at the beginning of the lecture.