Common Contracts
2 similar Byzantine Agreement contracts
Byzantine Agreement with HomonymsByzantine Agreement • November 4th, 2020
Proposition 28 (Unforgeability) If α correct processes with identifier i perform Broadcast(i, m, r) in superround r and some correct process performs Accept(i, α′, m, r) in superround r then r ≤ r and 0 ≤ α ≤ α + fi.
Byzantine Agreement with HomonymsByzantine Agreement • June 28th, 2020
Proposition 28 (Unforgeability) If α correct processes with identifier i perform Broadcast(i, m, r) in superround r and some correct process performs Accept(i, α′, m, r) in superround r then r ≤ r and 0 ≤ α ≤ α + fi.
