Deconstructing and Reconstructing Blockchain Analyses

Abstract

Στην παρούσα διπλωματική μελετάμε τις μεθόδους ανάλυσης του blockchain, μιας κρυπτογραφικής κατασκευής η οποία στοχεύει στη δημιουργία ενός αποκεντρωμένου καταλόγου συναλλαγών. Το blockchain, ως σχετικά πρόσφατη τεχνολογία έχει γνωρίσει πολύ μεγάλη ανάπτυξη τα τελευταία χρόνια τόσο σε θεωρητικό όσο και σε τεχνικό επίπεδο. Για αυτό το λόγω θεωρούμε πως αξίζει να εμβαθύνουμε στους τρόπους με τους οποίους αναλύεται.

Αρχίζουμε παραθέτοντας τα μαθηματικά εργαλεία που μας επιτρέπουν να κατασκευάσουμε το blockchain και να αναλύσουμε τις ιδιότητές του. Έπειτα εξερευνούμε τρεις προσπάθειες ανάλυσης του, κάθε μία από τις οποίες χρησιμοποιεί διαφορετικές μεθόδους για να αποδείξει επιθυμητές ιδιότητες. Υπογραμμίζουμε τις διαφορές τους αλλά και τον τρόπο με τον οποίο έχουν αλληλεπιδράσει και επηρεάσει η μία την άλλη.

Τέλος, δημιουργούμε ένα δικό μας, απλοποιημένο μοντέλο του blockchain, το λεγόμενο Μοντέλο των Σφραγίδων, το οποίο χρησιμοποιούμε για να αναπαράξουμε την ανάλυση που μελετήσαμε αποδεικνύοντας τις ιδιότητές του. Στην πορεία τονίζουμε τις διαφορές που προκύπτουν στην ανάλυση εξαιτίας της απλοποίησης αλλά και τις μεθόδους που χρησιμοποιούνται για να καλύψουν αυτό το κενό.