Federated Consensus Protocols

Postgraduate Thesis uoadl:1956163 727 Read counter

Unit:
Κατεύθυνση Λογική και Θεωρία Αλγορίθμων και Υπολογισμού
Library of the School of Science
Deposit date:
2017-10-03
Year:
2017
Author:
Myrto Galenianou
Supervisors info:
Άγγελος Κιαγιάς, Αναπληρωτής Καθηγητής, Τμήμα Πληροφορικής, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Original Title:
Federated Consensus Protocols
Languages:
English
Translated title:
Federated Consensus Protocols
Summary:
This dissertation studies consensus protocols and specifically Raft and the Stellar Consensus protocol. We first define the execution model under which we study the protocols as well as the notion of a robust transaction ledger that we want the protocols to maintain and its properties. We proceed by presenting Raft as concrete algorithm and we prove that indeed Raft maintains a robust transaction ledger. We then move to the Stellar Consensus protocol and analyse federated voting, Stellar’s mean to reach consensus. Subsequently, we present the two protocols that constitute the Stellar Consensus protocol, the Nomination and Ballot protocol, as concrete algorithms and further explore their properties. Finally, we show that the Ballot protocol has both
persistence and liveness, the two necessary properties a protocol need to have to maintain a robust transaction ledger.
Main subject category:
Science
Other subject categories:
Technology - Computer science
Keywords:
consensus, consensus protocol, robust transaction ledger
Index:
No
Number of index pages:
0
Contains images:
No
Number of references:
14
Number of pages:
38
Myrto_Galenianou_Thesis.pdf (860 KB) Open in new window