Protocol Analysis. We rst show that if in any run (FOR-loop in the above protocol) Byzantine agree- ment is achieved, then the agreement remains persistent (with the same value) for any following run. The following lemma follows immediately by ▇▇▇▇▇ 2.
Appears in 3 contracts
Sources: Byzantine Agreement Protocols, Byzantine Agreement Protocols, Byzantine Agreement Protocols