Totality. If some honest party output in the Seeding instance associated to ID, then every honest party activated to execute the Seeding instance would complete the execution and output.
Appears in 2 contracts
Sources: Asynchronous Byzantine Agreement, Asynchronous Byzantine Agreement
Totality. If some honest party output outputs in the Seeding instance associated to ID, then every honest party activated to execute the Seeding instance would complete the execution and output.
Appears in 1 contract
Sources: Asynchronous Byzantine Agreement