Validity in Network-Agnostic Byzantine AgreementByzantine Agreement • October 28th, 2024
Contract Type FiledOctober 28th, 2024In Byzantine Agreement (BA), there is a set of n parties, from which up to t can act byzantine. All honest parties must eventually decide on a common value (agreement), which must belong to a set determined by the inputs (validity). Depending on the use case, this set can grow or shrink, leading to various possible desiderata collectively known as validity conditions. Varying the validity property requirement can affect the regime under which BA is solvable. We study how the selected validity property impacts BA solvability in the network-agnostic model, where the network can either be synchronous with up to ts byzantine parties or asynchronous with up to ta ts byzantine parties.