On the round complexity of randomized byzantine agreement

Ran Cohen; Iftach Haitner; Nikolaos Makriyannis; Matan Orland; Alex Samorodnitsky

doi:10.4230/LIPIcs.DISC.2019.12

On the round complexity of randomized byzantine agreement

Ran Cohen, Iftach Haitner, Nikolaos Makriyannis, Matan Orland, Alex Samorodnitsky

The Rachel and Selim Benin School of Engineering and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

9 Scopus citations

Abstract

We prove lower bounds on the round complexity of randomized Byzantine agreement (BA) protocols, bounding the halting probability of such protocols after one and two rounds. In particular, we prove that: 1. BA protocols resilient against n/3 [resp., n/4] corruptions terminate (under attack) at the end of the first round with probability at most o(1) [resp., 1/2 + o(1)]. 2. BA protocols resilient against n/4 corruptions terminate at the end of the second round with probability at most 1 − Θ(1). 3. For a large class of protocols (including all BA protocols used in practice) and under a plausible combinatorial conjecture, BA protocols resilient against n/3 [resp., n/4] corruptions terminate at the end of the second round with probability at most o(1) [resp., 1/2 + o(1)]. The above bounds hold even when the parties use a trusted setup phase, e.g., a public-key infrastructure (PKI). The third bound essentially matches the recent protocol of Micali (ITCS’17) that tolerates up to n/3 corruptions and terminates at the end of the third round with constant probability.

Original language	English
Title of host publication	33rd International Symposium on Distributed Computing, DISC 2019
Editors	Jukka Suomela
Publisher	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)	9783959771269
DOIs	https://doi.org/10.4230/LIPIcs.DISC.2019.12
State	Published - Oct 2019
Event	33rd International Symposium on Distributed Computing, DISC 2019 - Budapest, Hungary Duration: 14 Oct 2019 → 18 Oct 2019

Publication series

Name	Leibniz International Proceedings in Informatics, LIPIcs
Volume	146
ISSN (Print)	1868-8969

Conference

Conference	33rd International Symposium on Distributed Computing, DISC 2019
Country/Territory	Hungary
City	Budapest
Period	14/10/19 → 18/10/19

Bibliographical note

Publisher Copyright:
© Ran Cohen, Iftach Haitner, Nikolaos Makriyannis, Matan Orland, and Alex Samorodnitsky.

Keywords

Byzantine agreement
Lower bound
Round complexity

Access to Document

10.4230/LIPIcs.DISC.2019.12

Cite this

Cohen, R., Haitner, I., Makriyannis, N., Orland, M., & Samorodnitsky, A. (2019). On the round complexity of randomized byzantine agreement. In J. Suomela (Ed.), 33rd International Symposium on Distributed Computing, DISC 2019 Article 12 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 146). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.DISC.2019.12

@inproceedings{ac2fd8a4a9ad412aae8ae555da36cd05,

title = "On the round complexity of randomized byzantine agreement",

abstract = "We prove lower bounds on the round complexity of randomized Byzantine agreement (BA) protocols, bounding the halting probability of such protocols after one and two rounds. In particular, we prove that: 1. BA protocols resilient against n/3 [resp., n/4] corruptions terminate (under attack) at the end of the first round with probability at most o(1) [resp., 1/2 + o(1)]. 2. BA protocols resilient against n/4 corruptions terminate at the end of the second round with probability at most 1 − Θ(1). 3. For a large class of protocols (including all BA protocols used in practice) and under a plausible combinatorial conjecture, BA protocols resilient against n/3 [resp., n/4] corruptions terminate at the end of the second round with probability at most o(1) [resp., 1/2 + o(1)]. The above bounds hold even when the parties use a trusted setup phase, e.g., a public-key infrastructure (PKI). The third bound essentially matches the recent protocol of Micali (ITCS{\textquoteright}17) that tolerates up to n/3 corruptions and terminates at the end of the third round with constant probability.",

keywords = "Byzantine agreement, Lower bound, Round complexity",

author = "Ran Cohen and Iftach Haitner and Nikolaos Makriyannis and Matan Orland and Alex Samorodnitsky",

note = "Publisher Copyright: {\textcopyright} Ran Cohen, Iftach Haitner, Nikolaos Makriyannis, Matan Orland, and Alex Samorodnitsky.; 33rd International Symposium on Distributed Computing, DISC 2019 ; Conference date: 14-10-2019 Through 18-10-2019",

year = "2019",

month = oct,

doi = "10.4230/LIPIcs.DISC.2019.12",

language = "אנגלית",

series = "Leibniz International Proceedings in Informatics, LIPIcs",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

editor = "Jukka Suomela",

booktitle = "33rd International Symposium on Distributed Computing, DISC 2019",

address = "גרמניה",

}

Cohen, R, Haitner, I, Makriyannis, N, Orland, M & Samorodnitsky, A 2019, On the round complexity of randomized byzantine agreement. in J Suomela (ed.), 33rd International Symposium on Distributed Computing, DISC 2019., 12, Leibniz International Proceedings in Informatics, LIPIcs, vol. 146, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 33rd International Symposium on Distributed Computing, DISC 2019, Budapest, Hungary, 14/10/19. https://doi.org/10.4230/LIPIcs.DISC.2019.12

On the round complexity of randomized byzantine agreement. / Cohen, Ran; Haitner, Iftach; Makriyannis, Nikolaos et al.
33rd International Symposium on Distributed Computing, DISC 2019. ed. / Jukka Suomela. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019. 12 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 146).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - On the round complexity of randomized byzantine agreement

AU - Cohen, Ran

AU - Haitner, Iftach

AU - Makriyannis, Nikolaos

AU - Orland, Matan

AU - Samorodnitsky, Alex

PY - 2019/10

Y1 - 2019/10

N2 - We prove lower bounds on the round complexity of randomized Byzantine agreement (BA) protocols, bounding the halting probability of such protocols after one and two rounds. In particular, we prove that: 1. BA protocols resilient against n/3 [resp., n/4] corruptions terminate (under attack) at the end of the first round with probability at most o(1) [resp., 1/2 + o(1)]. 2. BA protocols resilient against n/4 corruptions terminate at the end of the second round with probability at most 1 − Θ(1). 3. For a large class of protocols (including all BA protocols used in practice) and under a plausible combinatorial conjecture, BA protocols resilient against n/3 [resp., n/4] corruptions terminate at the end of the second round with probability at most o(1) [resp., 1/2 + o(1)]. The above bounds hold even when the parties use a trusted setup phase, e.g., a public-key infrastructure (PKI). The third bound essentially matches the recent protocol of Micali (ITCS’17) that tolerates up to n/3 corruptions and terminates at the end of the third round with constant probability.

AB - We prove lower bounds on the round complexity of randomized Byzantine agreement (BA) protocols, bounding the halting probability of such protocols after one and two rounds. In particular, we prove that: 1. BA protocols resilient against n/3 [resp., n/4] corruptions terminate (under attack) at the end of the first round with probability at most o(1) [resp., 1/2 + o(1)]. 2. BA protocols resilient against n/4 corruptions terminate at the end of the second round with probability at most 1 − Θ(1). 3. For a large class of protocols (including all BA protocols used in practice) and under a plausible combinatorial conjecture, BA protocols resilient against n/3 [resp., n/4] corruptions terminate at the end of the second round with probability at most o(1) [resp., 1/2 + o(1)]. The above bounds hold even when the parties use a trusted setup phase, e.g., a public-key infrastructure (PKI). The third bound essentially matches the recent protocol of Micali (ITCS’17) that tolerates up to n/3 corruptions and terminates at the end of the third round with constant probability.

KW - Byzantine agreement

KW - Lower bound

KW - Round complexity

UR - http://www.scopus.com/inward/record.url?scp=85074567273&partnerID=8YFLogxK

U2 - 10.4230/LIPIcs.DISC.2019.12

DO - 10.4230/LIPIcs.DISC.2019.12

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85074567273

T3 - Leibniz International Proceedings in Informatics, LIPIcs

BT - 33rd International Symposium on Distributed Computing, DISC 2019

A2 - Suomela, Jukka

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

T2 - 33rd International Symposium on Distributed Computing, DISC 2019

Y2 - 14 October 2019 through 18 October 2019

ER -

Cohen R, Haitner I, Makriyannis N, Orland M, Samorodnitsky A. On the round complexity of randomized byzantine agreement. In Suomela J, editor, 33rd International Symposium on Distributed Computing, DISC 2019. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2019. 12. (Leibniz International Proceedings in Informatics, LIPIcs). doi: 10.4230/LIPIcs.DISC.2019.12

On the round complexity of randomized byzantine agreement

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this