Common use of Balanced Byzantine Agreement from SRDS Clause in Contracts

Balanced Byzantine Agreement from SRDS. ‌ We start by showing how to combine succinctly reconstructed distributed signatures with the protocol of [15] to obtain BA with balanced O˜(1) communication. We prove the following theorem. Theorem 4.1 ( Theorem 1.1, restated). Let β < 1/3 and assume existence of a βn-secure SRDS scheme in the bulletin-board PKI model (resp., trusted PKI model). Then, there exists a βn-resilient BA protocol (according to Definition 2.2) in a hybrid model for generating the SRDS setup and the relevant PKI, s.t: • The round complexity and communication locality are polylog(n); every party sends/proceeses polylog(n) · poly(κ) bits. • The adversary can adaptively corrupt the parties based on the public setup and the PKI before the onset of the protocol. For bulletin-board PKI, the adversary can additionally replace the corrupted parties’ public keys. Instantiating Theorem 4.1 with our SRDS constructions from Section 5, we get the following corollaries.

Balanced Byzantine Agreement from SRDS. ‌ We start by showing how to combine succinctly reconstructed distributed signatures (SRDS) with the protocol of [1517] to obtain BA with balanced O˜(1) communication. We prove the following theorem. Theorem 4.1 ( Theorem 1.1, restated). Let β < 1/3 and assume existence of a βn-secure SRDS scheme in the bulletinbare-board PKI model (resp., trusted PKI model). Then, there exists a βn-resilient BA protocol (according to Definition 2.2) in a hybrid model for generating the SRDS setup and the relevant PKI, s.tsuch that: • The round complexity and communication locality are polylog(n); every party sends/proceeses communicates polylog(n) · poly(κpoly(n) bits. • The adversary can adaptively corrupt the parties based on the public setup and the PKI before the onset of the protocol. For bulletin-board bare PKI, the adversary can additionally replace the corrupted parties’ public keys. Instantiating By instantiating Theorem 4.1 with our SRDS constructions from Section 5, we get the following corollaries.