A Simple Byzantine Agreement ProtocolByzantine Agreement Protocol • October 23rd, 2013
Contract Type FiledOctober 23rd, 2013Lemma 2 Let t < n/3. If the king is honest in some execution of the phase-king subroutine, then the outputs of all honest parties agree at the end of that subroutine.