Distributed consensus and transactional trust mechanisms based on Blockchain technologies

Abstract

Η Τεχνολογία βρίσκεται διαχρονικά σε διαλεκτική σχέση με τη ζωή και την Οικονομία. Ο αέναος κύκλος της οικονομικής άνθισης και ύφεσης τροφοδοτεί και τροφοδοτείται διαρκώς από τη σχέση αυτή. Παγιωμένα πρότυπα, διαδικασίες και θεσμοί τίθενται περιοδικά υπό κρίση και παράγουν νέες μορφές λειτουργίας και αλληλεπίδρασης σε τεχνολογικό, οικονομικό και κοινωνικό επίπεδο. Μια από τις πρόσφατες σχετικά τεχνολογικές εξελίξεις, αυτή του Blockchain, έρχεται να εισάγει μια νέα φιλοσοφία στις συναλλαγές, στην οικονομική και εν γένει κοινωνική αλληλεπίδραση. Η δυνατότητα δυο δυνητικά μη έμπιστων αλληλοεπιδρώντων μερών να συναλλάσσονται μεταξύ τους με αξιοπιστία χωρίς την αναγκαιότητα της παρεμβολής τρίτου έμπιστου μέρους είναι επαναστατική. Καθίσταται πλέον σαφής η ανάγκη ενδελεχούς μελέτης των μηχανισμών της και η σε βάθος έρευνα της επίδρασής της στην σύγχρονη οικονομία με ποσοτικά κριτήρια.Η ιδέα των «κατανεμημένων καθολικών» (distributed ledgers) και των «αλυσίδων αναμφισβήτητων μεταβάσεων» (Blockchain) είναι σχετικά νέα [1],[2],[3], ωστόσο η καταλυτική της επίδραση στην ανθρώπινη δραστηριότητα είναι πρωτοφανής και οι πιθανές της επιπτώσεις της τώρα αρχίζουν να γίνονται αντιληπτές [4],[5],[6]. Υπό το πρίσμα και την πρωτοφανή αύξηση της δημοτικότητας και της αξίας των κρυπτογραφικών νομισμάτων, οι τεχνολογίες Blockchain τυγχάνουν ραγδαία αυξανόμενης σημαντικότητας στην παγκόσμια δραστηριότητα. Έχουν καταλυτική επίπτωση σε υπολογιστικό, οικονομικό, διαχειριστικό και διοικητικό επίπεδο [7]-[15]. Κάθε πτυχή, τόσο της της ανθρώπινης δραστηριότητας, όσο και της δραστηριότητας πρακτόρων ευφυούς λογισμικού αλλά και αντικειμένων στο πλαίσιο του διαδικτύου των πραγμάτων [6],[7], η οποία χαρακτηρίζεται από την αλληλεπίδραση και την ανταλλαγή πληροφορίας, υπόκειται δυνητικά στην επαναστατική αυτή διαδικασία [8]-[13]. Η μοντέρνα οικονομία και διοίκηση (management / administration) καλείται ήδη να αφομοιώσει την τεχνολογική αυτή εξέλιξη [4],[5],[7]-[15]. Το Blockchain προκαλεί «αναστάτωση» ανάλογη των μεγάλων τεχνολογικών και διανοητικών επιτευγμάτων όπως οι τηλεπικοινωνίες, το συμβόλαιο, το χρήμα. Η υιοθέτηση μοντέλων Blockchain στην παραγωγική και σύγχρονη διοικητική διαδικασία προϋποθέτει την κατανόηση και αποδοχή τους.Η εισαγωγή ενός νέου τεκμηρίου σε ένα πραγματικό ή εικονικό περιβάλλον είναι μια δυνητικά απαιτητική διαδικασία από πλευράς υπολογιστικού ή και επικοινωνιακού φόρτου και κόστους, αλλά, μόλις συμβεί αυτό, η επαλήθευση και αποδοχή ενός τεκμηρίου ως «αντικειμενικά πραγματικού» είναι στη συνέχεια αυταπόδεικτη και δεν απαιτεί ιδιαίτερη προσπάθεια.Σε φιλοσοφικό επίπεδο έρχεται να εισάγει ένα νέο προσδιορισμό της «αντικειμενικής», υπό την έννοια της «δύσκολα αμφισβητήσιμης», συλλογικής αλήθειας [16]-[20], τόσο σε φυσικά περιβάλλοντα αλληλεπίδρασης και συναλλαγής, όσο και σε περιβάλλοντα εικονικής, επαυξημένης και μικτής πραγματικότητας. Πρόκειται για μια επαναστατική διαδικασία, την οποία το σύγχρονο οικονομικό περιβάλλον καλείται να αφομοιώσει και να αξιοποιήσει ταχύτατα. Η παρούσα Διατριβή εξετάζει την εφαρμογή της ιδέας των κατανεμημένων αλυσίδων αναμφισβήτητων μεταβάσεων στις συναλλαγές και εν γένει στη σύγχρονη οικονομική λειτουργία, σε περιβάλλοντα πεπερασμένης πολυπλοκότητας.Υπό το πρίσμα αυτό, διερευνά τη δυνητική επίδραση κατανεμημένων μοντέλων του τύπου Blockchain στην εγκαθίδρυση μιας οικουμενικής αντίληψης της έννοιας του έγκυρου, χωρίς την απαίτηση τρίτων έμπιστων μερών, την επίπτωση και το κόστος εφαρμογής που αυτό έχει στο σύγχρονη οικονομία και διοίκηση.ΕΡΕΥΝΗΤΙΚΟ ΕΝΔΙΑΦΕΡΟΝ - ΠΡΩΤΟΤΥΠΙΑΗ ιδέα του καθολικού είναι θεμελιώδης στη σύγχρονη λογιστική και χρηματοοικονομική επιστήμη. Η ακεραιότητα των καταγραφών των συναλλαγών εδράζεται σε σημαντικό βαθμό στο διπλογραφικό σύστημα καταχωρήσεων [21]. Η ιδέα της ύπαρξης «ακριβούς αντίγραφου» της πληροφορίας της συναλλαγής είναι κεντρική, και διασφαλίζει τη συναλλαγή από την ύπαρξη κακόβουλου συναλλασσόμενου μέρους. Κατά αναλογία, η ύπαρξη ενός διαφανούς, υπό την έννοια του δημοσίως διαθέσιμου, προσβάσιμου και διατηρήσιμου από τον καθένα αντιγράφου του καθολικού των συναλλαγών αποτελεί βασικό συστατικό της τεχνολογίας Blockchain. Η ίδια η αξιοπιστία και η ευρωστία του Blockchain στηρίζεται επί του παρόντος στην ιδέα της ακριβούς αναπαραγωγής του καθολικού των συναλλαγών σε πολλαπλά αντίγραφα. Όπως γίνεται άμεσα αντιληπτό, προϊόντος του χρόνου, παραλλαγές της αλυσίδας αναμένεται να εμφανιστούν στο σύστημα τόσο εξαιτίας τεχνικών αδυναμιών των δικτύων επικοινωνιών (καθυστέρηση διάδοσης) όσο και εξαιτίας της δυνητικής ύπαρξης κακόβουλων μερών. Η ύπαρξη γενικά αποδεκτών κανόνων συναίνεσης ως προς την εγκυρότητα του καθολικού είναι θεμελιώδης, η δε επίτευξη συναίνεσης με πλήρως κατανεμημένο τρόπο συνιστά ανοικτό ερευνητικό πεδίο.Στην παρούσα εργασία επανεξετάζουμε και αμφισβητούμε την αναγκαιότητα της «απόλυτης και ακριβούς» μονολιθικής αντιγραφής του συνόλου του καθολικού των συναλλαγών, και αντιπροτείνουμε τον επιμερισμό της αντιγραφής στο επίπεδο της ελάχιστης συναλλακτικής αλληλεπίδρασης, αυτή της μονομερούς συναλλαγής. Με τον τρόπο αυτό πετυχαίνουμε:Α. να φέρουμε τη λειτουργικότητα του Blockchain στο ελάχιστο δυνατό φυσικό επίπεδο, μέσα σε κάθε μικρο-συσκευή του Internet των πραγμάτων.Β. να δομήσουμε και να υποστηρίξουμε πολύπλοκους μηχανισμούς κατανεμημένης συναίνεσης και αντικειμενικότητας συλλογικά, σε συστήματα ατόμων πεπερασμένων δυνατοτήτων. Η χρήση του πλήρως κατανεμημένου Blockchain ως βασικού μέσου για τη διαμόρφωση και την εγκαθίδρυση μιας γενικά αποδεκτής και υπό την οπτική αυτή αντικειμενικής αλήθειας και συναλλακτικής πίστης, συνιστά καινοτόμα θεώρηση, η οποία αγγίζει την ίδια τη φύση της ανθρώπινης λειτουργίας και αλλάζει άρδην τους κανόνες της οικονομικής και όχι μόνο αλληλεπίδρασης και συναλλαγής: μόλις ένας απλός κανόνας μετάβασης γίνει γενικά αποδεκτός (αξίωμα) τότε, το σύνολο της αλήθειας ενός περιβάλλοντος μπορεί να χτιστεί και να συντηρηθεί συλλογικά, βασισμένο επάνω σε αυτό τον απλό κανόνα. Η παρούσα εργασία αναλύει την αιτιότητα της διαδικασίας επίτευξης συναίνεσης σε συστήματα ομότιμων ατόμων και μελετά διεξοδικά τόσο την εφικτότητα της εφαρμογής της όσο και τις παραμέτρους που υπεισέρχονται σε αυτή. Αποδεικνύει στην πράξη ότι ένα μικρό σύνολο πρωταρχικών μεταβατικών συναλλακτικών κανόνων είναι αρκετό για εγκαθιδρυθεί και να επιτηρηθεί συλλογικά η έννοια της έγκυρης συναλλαγής και εν γένει της εγκυρότητας μέσα σε ένα σύστημα.Βιώνουμε την απαρχή της μετάβασης από την «πίστη στους θεσμούς» στην «πίστη στην αποδείξιμη διαδικασία». Η μετάβαση αυτή απαιτεί αυξημένες δεξιότητες σε ατομικό επίπεδο. Προσδίδει δε στο άτομο και την κοινωνία απαράμιλλες δυνατότητες αυτόνομης λειτουργίας, και επιβάλλει πλήρη σεβασμό στους κοινά αποδεκτούς κανόνες του συνόλου. Η σύγχρονη οικονομική και διοικητική λειτουργία έχει ήδη ξεκινήσει να ερευνά και να αφομοιώνει την τεχνολογική αυτή εξέλιξη [8]-[14].Η Συναίνεση σε ένα σύστημα είναι θεμελιώδους σημασίας. Βασίζεται στην αμοιβαία αποδεκτή απόδειξη μιας ιδιότητας και αποτελεί τη βάση κάθε συναλλαγής. Η ιδιότητα αυτή μπορεί να ποικίλει ανάλογα με τις απαιτήσεις κάθε πεδίου εφαρμογής. Μερικές από τις διαδεδομένες «κλάσεις αποδείξεων» αποτελούν οι: απόδειξη έργου (Proof of Work – PoW), μεριδίου (Proof of Stake-PoS), γνησιότητας (Proof of Originality-PoO), ιδιοκτησίας (Proof of Ownership – PoOw), συνέπειας (Proof of consistency-PoC), κλπ.. Ενδιαφέρον παρουσιάζει επίσης η κατηγορία της «μη διαδραστικής απόδειξης – απόδειξης έργου (Non Interactive proof of PoW)» η οποία επιτρέπει την διεξαγωγή χρηματικών συναλλαγών σε περιβάλλοντα μειωμένης παρουσίας ή και περιστασιακής απουσίας δικτύου (off-grid). Μια από τις αδυναμίες των κυρίαρχων σήμερα αρχιτεκτονικών Blockchain είναι η εφαρμογή τους σε πλήρως κατανεμημένα περιβάλλοντα αυτόνομων, ομότιμων κόμβων (ατόμων). Η παρούσα διατριβή θεραπεύει αυτή την αδυναμία, εισάγοντας την έννοια της «προσωπικής και επαληθεύσιμης διασυνδεδεμένης αλυσίδας» ως μέσο επίτευξης συλλογικής συναίνεσης σε ένα σύστημα. Μελετάει την ανάπτυξη εξελικτικών μεθόδων επίτευξης συλλογικής συναίνεσης και συναλλακτικής πίστης, αξιοποιώντας καλά εδραιωμένες μεθόδους υπό το πρίσμα της θεωρίας των πολύ-Γράφων και των Παιγνίων. Μελετά και διευρύνει τη θεώρηση του Blockchain όχι ως μιας απλής «αποκεντρωμένης» ως μιας «πλήρως κατανεμημένης» δομής.Οι κλασσικές αρχιτεκτονικές Blockchain βασίζονται στην ύπαρξη πολλαπλών ακριβών αντιγράφων του συνόλου του καθολικού σε πολλαπλούς κόμβους στο σύστημα (exact database replication). Η παρούσα εργασία εισάγει την ιδέα του πλήρως κατανεμημένου καθολικού, υπό τη μορφή υποκειμενικών διασυνδεδεμένων αλυσίδων γεγονότων οι οποίες τηρούνται τοπικά σε κάθε κόμβο. Με τον τρόπο αυτό, κάθε κόμβος αποκτά λειτουργική αυτοτέλεια και αποτελεί μοναδικό «άτομο» του συστήματος.Αποδεικνύει στην πράξη, ότι με τη χρήση των αρχών των τεχνολογιών Blockchain είναι δυνατή και υπολογιστικά εφικτή η επίτευξη σύνθετης συναίνεσης σε συστήματα τα οποία αποτελούνται από άτομα πεπερασμένων δυνατοτήτων. Με βάση τα ευρήματα της παρούσας εργασίας αποδεικνύεται εμφατικά ότι άτομα «τετριμμένων δυνατοτήτων» είναι δυνατόν να συνεργαστούν προκειμένου να εξυπηρετήσουν διαδικασίες επίτευξης σύνθετης και πολύπλοκης συναίνεσης, η οποία ξεπερνά κατά πολύ τις υπολογιστικές δυνατότητες του μεμονωμένου ατόμου. Αυτή είναι μια θεμελιώδης και καινοτόμα θεώρηση, η οποία εισάγει και προάγει την αντίληψή μας επί του Blockchain ως μιας πλήρως κατανεμημένης, συλλογικής οργανωτικής δομής η οποία διαρθρώνεται «από κάτω προς τα πάνω», σέβεται την αυτοτέλεια του ατόμου και εδράζει στην ελάχιστη κοινή πρωτογενή ικανότητά του να διακρίνει το «ὄν» από το «οὐκ ὄν», το υφιστάμενο από το μη υφιστάμενο. Εισάγει και μελετά την έννοια της «υποκειμενικής αλυσίδας γεγονότων» και αποδεικνύει ότι εισάγοντας ένα απλό και καθολικό λειτουργικό κανόνα εγκυρότητας σε ατομικό επίπεδο, κάθε σύστημα μπορεί αυτοδύναμα να ορίσει και να επιτηρήσει σύνθετους κανόνες συναίνεσης. Μπορεί να αναπτύσσει και να υποστηρίζει σύνθετους μηχανισμούς ελέγχου εγκυρότ