Common Contracts
7 similar Byzantine Agreement contracts
Byzantine Agreement with HomonymsByzantine Agreement • February 24th, 2024
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 • January 25th, 2024
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 • March 29th, 2023
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 • February 2nd, 2023
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 • 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.
Byzantine Agreement with HomonymsByzantine Agreement • May 4th, 2016
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.
