Uniqueness. If an honest party received (vk, sid, v, g) and (vk, sid, v′, g′) from π, then v′ ∈ {v, ⊥}.
Appears in 2 contracts
Sources: Byzantine Agreement, Byzantine Agreement
- Home
- Clauses
- Uniqueness
- Snippet group
Uniqueness. If an honest party received (vk, sid, v, g) and (vk, sid, v′, g′) from π, then v′ ∈ {v, ⊥}.
Appears in 2 contracts
Sources: Byzantine Agreement, Byzantine Agreement