Unit:
Κατεύθυνση Λογική και Θεωρία Αλγορίθμων και ΥπολογισμούLibrary of the School of Science
Supervisors info:
Άγγελος Κιαγιάς, Αναπληρωτής Καθηγητής, Τμήμα Πληροφορικής, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Original Title:
Federated Consensus Protocols
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