Byzantine reliable broadcast and consensus
Event details
| Date | 14.06.2022 |
| Hour | 09:00 › 11:00 |
| Speaker | Martina Camaioni |
| Location | |
| Category | Conferences - Seminars |
EDIC candidacy exam
Exam president: Prof. Bryan Ford
Thesis advisor: Prof. Rachid Guerraoui
Co-examiner: Prof. Edouard Bugnion
Abstract
Byzantine reliable broadcast (BRB) is a fundamental and powerful primitive in distributed computing. This abstraction allows distributed processes to agree on exchanged messages. In this report we first analyze the paper that introduces the Byzantine reliable broadcast problem, presenting an asynchronous implementation to solve it. Then we examine a paper that proves the possibility to build a cryptocurreny on top of BRB. We continue, presenting a paper that uses BRB and a DAG structure to implement the Atomic Byzantine Broadcast abstraction. Finally, we present our implementation of BRB based on the use of untrusted resources to significantly improve the real performances of known BRB protocols. Moreover we propose some possible research directions to discover new efficient implementations of BRB and to extend existing solutions to other distributed primitives.
Background papers
1) Gabriel Bracha. "Asynchronous Byzantine Agreement Protocols" https://core.ac.uk/download/pdf/82523202.pdf
2) Daniel Collins, Rachid Guerraoui, Jovan Komatovic, Matteo Monti, Athanasios Xygkis, Matej Pavlovic, Petr Kuznetsov, Yvonne-Anne Pignolet,
Dragos-Adrian Seredinschi, Andrei Tonkikh. "Online Payments by Merely Broadcasting Messages" https://arxiv.org/pdf/2004.13184.pdf
3) Idit Keidar, Eleftherios Kokoris-Kogias, Oded Naor, Alexander Spiegelman. "All You Need is DAG" https://arxiv.org/pdf/2102.08325.pdf
Exam president: Prof. Bryan Ford
Thesis advisor: Prof. Rachid Guerraoui
Co-examiner: Prof. Edouard Bugnion
Abstract
Byzantine reliable broadcast (BRB) is a fundamental and powerful primitive in distributed computing. This abstraction allows distributed processes to agree on exchanged messages. In this report we first analyze the paper that introduces the Byzantine reliable broadcast problem, presenting an asynchronous implementation to solve it. Then we examine a paper that proves the possibility to build a cryptocurreny on top of BRB. We continue, presenting a paper that uses BRB and a DAG structure to implement the Atomic Byzantine Broadcast abstraction. Finally, we present our implementation of BRB based on the use of untrusted resources to significantly improve the real performances of known BRB protocols. Moreover we propose some possible research directions to discover new efficient implementations of BRB and to extend existing solutions to other distributed primitives.
Background papers
1) Gabriel Bracha. "Asynchronous Byzantine Agreement Protocols" https://core.ac.uk/download/pdf/82523202.pdf
2) Daniel Collins, Rachid Guerraoui, Jovan Komatovic, Matteo Monti, Athanasios Xygkis, Matej Pavlovic, Petr Kuznetsov, Yvonne-Anne Pignolet,
Dragos-Adrian Seredinschi, Andrei Tonkikh. "Online Payments by Merely Broadcasting Messages" https://arxiv.org/pdf/2004.13184.pdf
3) Idit Keidar, Eleftherios Kokoris-Kogias, Oded Naor, Alexander Spiegelman. "All You Need is DAG" https://arxiv.org/pdf/2102.08325.pdf
Practical information
- General public
- Free