δείτε την πρωτότυπη σελίδα τεκμηρίου στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
Αυτή η διπλωματική εργασία μελετά πρωτόκολλα συναίνεσης και συγκεκριμένα το πρωτόκολλο Raft και το πρωτόκολλο Stellar Consensus. Αρχικά ορίζουμε το μοντέλο εκτέλεσης υπό το οποίο μελετάμε τα πρωτόκολλα όπως και την έννοια του ισχυρού κατάστιχου συναλλαγών και τις ιδιότητές του. Στη συνέχεια παρουσιάζουμε το πρωτόκολλο Raft σε αλγοριθμική μορφή και δείχνουμε ότι πράγματι το Raft υλοποιεί ένα ισχυρό κατάστιχο συναλλαγών. Συνεχίζουμε με το πρωτόκολλο Stellar Consensus και αναλύουμε την ομόσπονδη ψηφοφορία, το βασικό μέσο που χρησιμοποιεί το Stellar Consensus για να πετύχει συνέναιση. Έπειτα παρουσιάζουμε τα δύο πρωτόκολλα που αποτελούν το Stellar Consensus, το πρωτόκολλο Nomination και το πρωτόκολλο Ballot, σε αλγοριθμική μορφή. Τέλος δείχνουμε ότι το πρωτόκολλο Ballot έχει και τις δύο απαραίτητες ιδιότητες που οφείλει να έχει ένα πρωτόκολλο για να διατηρεί ένα ισχυρό κατάστιχο συναλλαγών.
(EL)
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.
(EN)
Σχολή Θετικών Επιστημών » Τμήμα Μαθηματικών » Διαπανεπιστημιακό ΠΜΣ Λογική και Θεωρία Αλγορίθμων και Υπολογισμού » Κατεύθυνση Λογική και Θεωρία Αλγορίθμων και Υπολογισμού
Βιβλιοθήκη και Κέντρο Πληροφόρησης » Βιβλιοθήκη Σχολής Θετικών Επιστημών
*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.
Βοηθείστε μας να κάνουμε καλύτερο το OpenArchives.gr.
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
