Μετά από δύο χρόνια, επέστρεψα στο ιστολόγιο για μια ανάρτηση που διαφέρει από τις συνηθισμένες βαρετές διαλέξεις για τον Χάσκελ και τα μαθηματικά. Εργάζομαι στο fintech στην ΕΕ τα τελευταία χρόνια και φαίνεται ότι ήρθε η ώρα να γράψω για ένα θέμα που έχει λάβει ελάχιστη προσοχή από τα τεχνολογικά μέσα.
Το Facebook κυκλοφόρησε πρόσφατα αυτό που αποκαλεί μια «νέα πλατφόρμα χρηματοοικονομικών υπηρεσιών» που ονομάζεται Libra. Τοποθετείται ως ένα ψηφιακό σύστημα διακανονισμού που βασίζεται σε ένα καλάθι διεθνών νομισμάτων που διαχειρίζονται σε «blockchain» και αποθηκεύονται σε μια δεξαμενή χρημάτων που διαχειρίζεται από την Ελβετία. Οι στόχοι του έργου είναι φιλόδοξοι και συνεπάγονται γεωπολιτικές συνέπειες μεγάλης κλίμακας.
В и Πολλά λογικά άρθρα σχετικά με τις αβάσιμες νομισματικές και οικονομικές υποθέσεις πίσω από το προτεινόμενο χρηματοπιστωτικό σύστημα. Αλλά δεν υπάρχουν αρκετοί ειδικοί ικανοί να αναλύσουν από τεχνική άποψη. Δεν είναι πολλοί οι άνθρωποι που εργάζονται σε χρηματοοικονομικές υποδομές και μιλούν δημόσια για τη δουλειά τους, επομένως αυτό το έργο δεν τυγχάνει μεγάλης κάλυψης στα τεχνολογικά μέσα, αν και τα μύχια του είναι ανοιχτά στον κόσμο. Εννοώ ανοιχτού κώδικα σε αποθετήρια и .
Αυτό που είναι ανοιχτό στον κόσμο είναι ένα αρχιτεκτονικά σχιζοφρενικό τεχνούργημα με ισχυρισμούς ότι είναι μια ασφαλής πλατφόρμα για την παγκόσμια υποδομή πληρωμών.
Εάν βουτήξετε στη βάση κώδικα, η πραγματική υλοποίηση του συστήματος αποκλίνει εντελώς από τον δηλωμένο στόχο και με τους πιο περίεργους τρόπους. Είμαι βέβαιος ότι αυτό το έργο έχει μια ενδιαφέρουσα εταιρική ιστορία. Επομένως, είναι λογικό να υποθέσουμε ότι σχεδιάστηκε με κάποια επιμέλεια, αλλά στην πραγματικότητα βλέπω ένα πραγματικά περίεργο σύνολο αρχιτεκτονικών αποφάσεων που σπάνε ολόκληρο το σύστημα και θέτουν τους χρήστες σε κίνδυνο.
Δεν θα προσποιηθώ ότι έχω αντικειμενική άποψη για το Facebook ως εταιρεία. Λίγοι άνθρωποι στον κλάδο της πληροφορικής την κοιτούν με συμπάθεια. Αλλά μια σύγκριση των δηλώσεών της και του δημοσιευμένου κώδικα δείχνει ξεκάθαρα ότι ο δηλωμένος σκοπός είναι βασικά παραπλανητικός. Με λίγα λόγια, αυτό το έργο δεν εξουσιοδοτεί κανέναν. Θα παραμείνει εξ ολοκλήρου υπό τον έλεγχο μιας εταιρείας της οποίας η διαφημιστική επιχείρηση είναι τόσο βυθισμένη στο σκάνδαλο και τη διαφθορά που δεν έχει άλλη επιλογή από το να προσπαθήσει να διαφοροποιήσει τις πληρωμές και το πιστωτικό της σκορ για να επιβιώσει. Ο ξεκάθαρος μακροπρόθεσμος στόχος είναι να ενεργεί ως διαμεσολαβητής δεδομένων και μεσολαβητής στην πρόσβαση των καταναλωτών στην πίστωση με βάση τα προσωπικά δεδομένα των μέσων κοινωνικής δικτύωσης. Αυτή είναι μια απολύτως φρικτή και σκοτεινή ιστορία που δεν λαμβάνει την προσοχή που της αξίζει.
Η μόνη σωτήρια χάρη αυτής της ιστορίας είναι ότι το τεχνούργημα που δημιούργησαν είναι τόσο ξεκαρδιστικά ακατάλληλο για το έργο που επιδιώκουν, που μπορεί να θεωρηθεί μόνο ως πράξη ύβρις. Υπάρχουν πολλά σημαντικά αρχιτεκτονικά λάθη σε αυτό το έργο:
Η επίλυση του προβλήματος των βυζαντινών στρατηγών σε ένα δίκτυο ελέγχου πρόσβασης είναι ένας ασυνεπής σχεδιασμός
Το πρόβλημα των βυζαντινών στρατηγών είναι μια μάλλον στενή περιοχή έρευνας των κατανεμημένων συστημάτων. Περιγράφει την ικανότητα ενός συστήματος δικτύου να αντέχει σε τυχαίες βλάβες εξαρτημάτων ενώ λαμβάνει διορθωτικές ενέργειες κρίσιμες για τη λειτουργία του συστήματος. Ένα ανθεκτικό δίκτυο πρέπει να αντέχει διάφορους τύπους επιθέσεων, συμπεριλαμβανομένων επανεκκινήσεων, διακοπών, κακόβουλων φορτίων και κακόβουλης ψηφοφορίας σε εκλογές ηγεσίας. Αυτή είναι η κύρια απόφαση για την αρχιτεκτονική του Libra, και είναι εντελώς άνευ σημασίας.
Η χρονική πολυπλοκότητα αυτής της πρόσθετης δομής εξαρτάται από τον αλγόριθμο. Υπάρχει πολλή βιβλιογραφία σχετικά με τις παραλλαγές των πρωτοκόλλων των Παξών και του Raft που λύνουν το πρόβλημα των βυζαντινών στρατηγών, αλλά όλες αυτές οι δομές εισάγουν πρόσθετο κόστος για την επικοινωνία. 
να διατηρηθεί η απαρτία. Για τους Ζυγούς επέλεξαν έναν αλγόριθμο με το υψηλότερο δυνατό κόστος επικοινωνίας σε περίπτωση αποτυχίας της ηγεσίας. Και υπάρχουν επιπλέον έξοδα από πιθανή επανεκλογή ηγετών σε πολλούς τύπους συμβάντων αποτυχίας δικτύου.
Για ένα σύστημα που λειτουργεί σε μια κοινοπραξία πολυεθνικών εταιρειών με υψηλή ρύθμιση, όπου όλοι οι χρήστες έχουν κωδικό υπογεγραμμένο από το Facebook και η πρόσβαση στο δίκτυο ελέγχεται από το Facebook, απλά δεν έχει νόημα να εξετάζονται κακόβουλοι συμμετέχοντες σε επίπεδο συναίνεσης. Δεν είναι σαφές γιατί αυτό το σύστημα θα έλυνε ακόμη και το πρόβλημα των βυζαντινών στρατηγών, αντί να διατηρήσει απλώς μια συνεπή διαδρομή ελέγχου για τον έλεγχο της συμμόρφωσης. Η πιθανότητα ένας κόμβος Libra που εκτελείται από τη Mastercard ή τον Andressen Horrowitz να ξεκινήσει ξαφνικά να εκτελεί κακόβουλο κώδικα είναι ένα περίεργο σενάριο που πρέπει να προγραμματιστεί και αντιμετωπίζεται καλύτερα απλά διασφαλίζοντας την ακεραιότητα του πρωτοκόλλου και τα μη τεχνικά (δηλαδή νομικά) μέσα.
Η μαρτυρία στο Κογκρέσο τιμολόγησε το προϊόν ως ανταγωνιστή νέων διεθνών πρωτοκόλλων πληρωμών όπως το WeChat, το Alipay και το M-Pesa. Ωστόσο, κανένα από αυτά τα συστήματα δεν έχει σχεδιαστεί για να λειτουργεί σε ομάδες επικύρωσης για να λύσει το πρόβλημα των βυζαντινών στρατηγών. Είναι απλά σχεδιασμένα σε έναν παραδοσιακό δίαυλο υψηλού εύρους ζώνης που κάνει καλωδιώσεις σύμφωνα με ένα σταθερό σύνολο κανόνων. Αυτή είναι μια φυσική προσέγγιση για το σχεδιασμό ενός συστήματος πληρωμών. Καλά σχεδιασμένο το σύστημα πληρωμών απλά δεν θα αντιμετωπίσει το πρόβλημα της διπλής δαπάνης και της διχάλας.
Η επιβάρυνση του αλγορίθμου συναίνεσης δεν επιλύει κανένα πρόβλημα και περιορίζει μόνο τη διεκπεραίωση του συστήματος για κανέναν άλλο λόγο εκτός από τη λατρεία φορτίου του δημόσιου blockchain, το οποίο δεν προορίζεται για αυτήν την περίπτωση χρήσης.
Το Libra δεν έχει απόρρητο συναλλαγών
Σύμφωνα με την τεκμηρίωση, το σύστημα έχει σχεδιαστεί λαμβάνοντας υπόψη ψευδωνυμία, δηλαδή, οι διευθύνσεις που χρησιμοποιούνται στο πρωτόκολλο λαμβάνονται από δημόσια κλειδιά σε ελλειπτικές καμπύλες και δεν περιέχουν μεταδεδομένα για λογαριασμούς. Ωστόσο, πουθενά στην περιγραφή της δομής διακυβέρνησης για τον οργανισμό ή στο ίδιο το πρωτόκολλο δεν αναφέρεται πώς τα οικονομικά δεδομένα που εμπλέκονται στις συναλλαγές θα αποκρύπτονται από τους επικυρωτές. Το σύστημα έχει σχεδιαστεί για να αναπαράγει συναλλαγές σε μεγάλη κλίμακα σε μια σειρά εξωτερικών μερών που, σύμφωνα με την ισχύουσα ευρωπαϊκή και αμερικανική νομοθεσία περί τραπεζικού απορρήτου, δεν θα πρέπει να γνωρίζουν τις οικονομικές λεπτομέρειες.
Οι πολιτικές δεδομένων σε όλες τις χώρες είναι δύσκολο να συντονιστούν, ειδικά λόγω διαφορετικών νόμων και κανονισμών σε διαφορετικές δικαιοδοσίες με διαφορετικές πολιτιστικές απόψεις για την προστασία των δεδομένων και το απόρρητο. Το ίδιο το πρωτόκολλο είναι από προεπιλογή εντελώς ανοιχτό στα μέλη της κοινοπραξίας, γεγονός που είναι μια σαφής τεχνική έλλειψη που δεν πληροί τις απαιτήσεις για τις οποίες έχει σχεδιαστεί.
Το Libra HotStuff BFT δεν μπορεί να επιτύχει την απόδοση που απαιτείται για ένα σύστημα πληρωμών
Στο Ηνωμένο Βασίλειο, συστήματα εκκαθάρισης όπως το BAC μπορούν να χειριστούν περίπου 580 συναλλαγές το μήνα. Ταυτόχρονα, εξαιρετικά βελτιστοποιημένα συστήματα όπως το Visa μπορούν να διεκπεραιώνουν 000 συναλλαγές την ημέρα. Η απόδοση ποικίλλει ανάλογα με το μέγεθος της συναλλαγής, τη δρομολόγηση δικτύου, το φόρτο του συστήματος και (καταπολέμηση της νομιμοποίησης εσόδων από παράνομες δραστηριότητες, προγράμματα νομιμοποίησης εσόδων από παράνομες δραστηριότητες).
Η Libra προσπαθεί να λύσει προβλήματα που δεν είναι πραγματικά προβλήματα για τις εγχώριες μεταφορές, καθώς τα εθνικά κράτη έχουν εκσυγχρονίσει την υποδομή εκκαθάρισης τους την τελευταία δεκαετία. Για τους λιανικούς καταναλωτές στην Ευρωπαϊκή Ένωση, η μεταφορά χρημάτων δεν αποτελεί καθόλου πρόβλημα. Στην παραδοσιακή υποδομή, αυτό μπορεί να γίνει με ένα τυπικό smartphone σε δευτερόλεπτα. Για μεγάλες εταιρικές μεταφορές, υπάρχουν διάφοροι μηχανισμοί και κανόνες που σχετίζονται με τη μεταφορά μεγάλων ποσών χρημάτων.
Δεν υπάρχει κανένας τεχνικός λόγος για τον οποίο οι διασυνοριακές πληρωμές δεν μπορούν επίσης να διεκπεραιωθούν άμεσα, εκτός από διαφορές στους κανόνες και τις απαιτήσεις μεταξύ των σχετικών δικαιοδοσιών. Εάν τα απαραίτητα προληπτικά μέτρα (δέουσα επιμέλεια πελάτη, έλεγχοι κυρώσεων, κ.λπ.) πραγματοποιηθούν πολλές φορές σε διαφορετικά στάδια της αλυσίδας συναλλαγών, αυτό μπορεί να οδηγήσει σε καθυστέρηση της συναλλαγής. Ωστόσο, αυτή η καθυστέρηση είναι καθαρά συνάρτηση της κανονιστικής νομοθεσίας και της συμμόρφωσης και όχι της τεχνολογίας.
Για τους καταναλωτές, δεν υπάρχει κανένας λόγος για τον οποίο μια συναλλαγή στο Ηνωμένο Βασίλειο δεν θα εκκαθαριστεί μέσα σε λίγα δευτερόλεπτα. Οι λιανικές συναλλαγές στην ΕΕ επιβραδύνονται πράγματι (Know Your Customer) και περιορισμοί AML που επιβάλλονται από κυβερνήσεις και ρυθμιστικές αρχές, οι οποίοι ισχύουν εξίσου για τις πληρωμές Libra. Ακόμα κι αν το Facebook ξεπερνούσε τα εμπόδια στις διασυνοριακές μεταφορές και στις ιδιωτικές μεταφορές δεδομένων, το προτεινόμενο μοντέλο απέχει εκατοντάδες ανθρωποέτη από την παγκόσμια διεκπεραίωση συναλλαγών και πιθανότατα θα χρειαστεί να επανασχεδιαστεί από την αρχή.
Η γλώσσα Libra Move είναι λανθασμένη
Η Λευκή Βίβλος κάνει τολμηρούς ισχυρισμούς για μια νέα, μη δοκιμασμένη γλώσσα που ονομάζεται Move. Αυτές οι δηλώσεις είναι αρκετά αμφίβολες από την άποψη της θεωρίας της γλώσσας προγραμματισμού (PLT).
Η Move είναι μια νέα γλώσσα προγραμματισμού για την εφαρμογή προσαρμοσμένης λογικής συναλλαγών και έξυπνων συμβολαίων στο blockchain Libra. Επειδή το Libra στοχεύει μια μέρα να εξυπηρετεί δισεκατομμύρια ανθρώπους, το Move έχει σχεδιαστεί με κορυφαία προτεραιότητα την ασφάλεια.
Ένα βασικό χαρακτηριστικό του Move είναι η ικανότητα να ορίζει αυθαίρετους τύπους πόρων με σημασιολογία εμπνευσμένη από τη γραμμική λογική.
Στις δημόσιες αλυσίδες μπλοκ, τα έξυπνα συμβόλαια αντιμετωπίζουν τη λογική των δημόσιων δικτύων με μεσεγγυητικούς λογαριασμούς, νομιμοποίηση εσόδων από παράνομες δραστηριότητες, έκδοση διακριτικών OTC και τζόγο. Όλα αυτά γίνονται σε μια εκπληκτικά κακοσχεδιασμένη γλώσσα που ονομάζεται Solidity, η οποία από ακαδημαϊκή άποψη κάνει τον συγγραφέα της PHP να μοιάζει με ιδιοφυΐα. Παραδόξως, η νέα γλώσσα από το Facebook φαίνεται να μην έχει καμία σχέση με αυτές τις τεχνολογίες, καθώς είναι στην πραγματικότητα μια γλώσσα σεναρίου που προορίζεται για σκοτεινούς επιχειρηματικούς σκοπούς.
Στα ιδιωτικά κατανεμημένα λογιστικά βιβλία, τα έξυπνα συμβόλαια είναι ένας από εκείνους τους όρους που χρησιμοποιούν οι σύμβουλοι χωρίς ιδιαίτερη σημασία για σαφή ορισμό ή σκοπό. Οι σύμβουλοι επιχειρηματικού λογισμικού συνήθως κερδίζουν χρήματα από την ασάφεια και τα έξυπνα συμβόλαια είναι η αποθέωση του εταιρικού σκοταδισμού επειδή μπορούν να οριστούν κυριολεκτικά ως οτιδήποτε.
Αφού διατυπώσουμε ισχυρισμούς για την ασφάλειά της, πρέπει να δούμε τη σημασιολογία της γλώσσας. Η ορθότητα στη θεωρία της γλώσσας προγραμματισμού συνήθως αποτελείται από δύο διαφορετικές αποδείξεις: την «πρόοδο» και τη «διατήρηση», που καθορίζουν τη συνοχή ολόκληρου του χώρου των κανόνων αξιολόγησης για τη γλώσσα. Πιο συγκεκριμένα, στη θεωρία τύπων, μια συνάρτηση είναι "γραμμική" αν χρησιμοποιεί το όρισμά της ακριβώς μία φορά και "afine" αν το χρησιμοποιεί το πολύ μία φορά. Το σύστημα γραμμικού τύπου παρέχει στατική εγγύηση ότι μια δηλωμένη γραμμική συνάρτηση είναι πραγματικά γραμμική, εκχωρώντας τύπους σε όλες τις υποεκφράσεις συναρτήσεων και παρακολουθώντας πού γίνονται οι κλήσεις. Αυτή είναι μια λεπτή ιδιότητα προς απόδειξη και δεν είναι εύκολο να εφαρμοστεί για ένα ολόκληρο πρόγραμμα. Η γραμμική πληκτρολόγηση εξακολουθεί να είναι ένα πολύ ακαδημαϊκό πεδίο μελέτης, επηρεασμένο από την εφαρμογή της μοναδικότητας τύπου στο Clean και της ιδιοκτησίας τύπου στο Rust. Υπάρχουν κάποιες προκαταρκτικές προτάσεις για την προσθήκη γραμμικών τύπων στο Glasgow Haskell Compiler.
Η δήλωση του Move σχετικά με τη χρήση γραμμικών τύπων φαίνεται σαν μια αδικαιολόγητη κατάδυση στον μεταγλωττιστή, από εκεί . Από όσο μπορεί κανείς να πει, η λευκή βίβλος παραθέτει κανονική βιβλιογραφία από τους Girard και Peirce, και δεν υπάρχει τίποτα παρόμοιο στην πραγματική εφαρμογή.
Επιπλέον, η επίσημη σημασιολογία της υποτιθέμενης ασφαλούς γλώσσας δεν εμφανίζεται πουθενά ούτε στην υλοποίηση ούτε στο έγγραφο. Η γλώσσα είναι αρκετά μικρή για να βρει μια πλήρη απόδειξη της σωστής σημασιολογίας στο Coq ή στην Isabelle. Στην πραγματικότητα, ένας μεταγλωττιστής πλήρους μετατροπής από άκρο σε άκρο με μεταφορά απόδειξης σε bytecode είναι πολύ πιθανό να εφαρμοστεί με σύγχρονα εργαλεία που εφευρέθηκαν την τελευταία δεκαετία. Ξέρουμε πώς να το κάνουμε, ξεκινώντας από πίσω το 1996.
Από τη σκοπιά της θεωρίας της γλώσσας προγραμματισμού, είναι αδύνατο να δοκιμαστεί ο ισχυρισμός ότι η Move είναι μια αξιόπιστη και ασφαλής γλώσσα, καθώς αυτοί οι ισχυρισμοί ισοδυναμούν με καθαρό χειρισμό και μάρκετινγκ και όχι πραγματική απόδειξη. Αυτή είναι μια ανησυχητική κατάσταση για ένα γλωσσικό έργο που καλείται να διεκπεραιώσει συναλλαγές δισεκατομμυρίων δολαρίων.
Η κρυπτογραφία Libra είναι ελαττωματική
Η δημιουργία ασφαλών κρυπτοσυστημάτων είναι ένα πολύ δύσκολο μηχανολογικό πρόβλημα και είναι πάντα καλύτερο να προσεγγίζετε την εργασία με επικίνδυνο κώδικα με μια καλή δόση υγιούς παράνοιας. Υπάρχουν σημαντικές ανακαλύψεις σε αυτόν τον τομέα, όπως το έργο Microsoft Everest, το οποίο δημιουργεί μια επαληθεύσιμη ασφάλεια . Υπάρχουν ήδη εργαλεία για τη δημιουργία επαληθεύσιμων πρωτόγονων. Αν και αυτό είναι ακριβό, σαφώς δεν υπερβαίνει τις οικονομικές δυνατότητες του Facebook. Ωστόσο, η ομάδα αποφάσισε να μην συμμετάσχει στο έργο, το οποίο ανακοινώθηκε ως αξιόπιστο θεμέλιο για το παγκόσμιο χρηματοπιστωτικό σύστημα.
έργο βιβλιοθήκης από αρκετές αρκετά νέες βιβλιοθήκες για τη δημιουργία πειραματικών κρυπτοσυστημάτων που έχουν εμφανιστεί μόλις τα τελευταία χρόνια. Είναι αδύνατο να πούμε εάν οι εξαρτήσεις από τα ακόλουθα εργαλεία είναι ασφαλείς ή όχι, καθώς καμία από αυτές τις βιβλιοθήκες δεν έχει ελεγχθεί και δεν διαθέτει τυπικές πολιτικές αποκάλυψης. Συγκεκριμένα, για ορισμένες βασικές βιβλιοθήκες δεν υπάρχει βεβαιότητα σχετικά με την προστασία από επιθέσεις πλευρικού καναλιού και επιθέσεις χρονισμού.
Η βιβλιοθήκη γίνεται ακόμα πιο πειραματική και ξεπερνά , εφαρμόζοντας πολύ νέες τεχνικές όπως επαληθεύσιμες τυχαίες συναρτήσεις (VRFs), διγραμμικά ζεύγη και υπογραφές κατωφλίου. Αυτές οι μέθοδοι και βιβλιοθήκες μπορεί να είναι λογικές, αλλά ο συνδυασμός τους σε ένα σύστημα εγείρει σοβαρές ανησυχίες σχετικά με την επιφάνεια της επίθεσης. Ο συνδυασμός όλων αυτών των νέων εργαλείων και τεχνικών αυξάνει σημαντικά την πολυπλοκότητα της απόδειξης ασφάλειας.
Θα πρέπει να υποτεθεί ότι ολόκληρη αυτή η κρυπτογραφική στοίβα είναι ευάλωτη σε διάφορες επιθέσεις μέχρι να αποδειχθεί το αντίθετο. Το περίφημο μοντέλο «Move Fast and Break Things» του Facebook δεν μπορεί να εφαρμοστεί σε κρυπτογραφικά εργαλεία που επεξεργάζονται οικονομικά δεδομένα πελατών.
Το Libra αποτυγχάνει να εφαρμόσει μηχανισμούς προστασίας των καταναλωτών
Ένα ιδιαίτερο χαρακτηριστικό του συστήματος πληρωμών είναι η δυνατότητα ανάκλησης μιας συναλλαγής εάν η πληρωμή ακυρωθεί με αγωγή ή οδηγήσει σε τυχαία ή αστοχία συστήματος. Το σύστημα Libra έχει σχεδιαστεί για να είναι «πλήρες» και δεν περιλαμβάνει τύπο συναλλαγής για ακύρωση πληρωμής. Στο Ηνωμένο Βασίλειο, όλες οι πληρωμές μεταξύ £100 και £30,000 υπόκεινται στον νόμο περί καταναλωτικής πίστης. Αυτό σημαίνει ότι το σύστημα πληρωμών μοιράζεται την ευθύνη με τον πωλητή σε περίπτωση προβλήματος με το αγορασμένο προϊόν ή εάν ο παραλήπτης της πληρωμής δεν παρέχει την υπηρεσία. Παρόμοιοι κανόνες ισχύουν στην ΕΕ, την Ασία και τη Βόρεια Αμερική.
Ο τρέχων σχεδιασμός του Libra δεν περιλαμβάνει πρωτόκολλο συμμόρφωσης με αυτούς τους νόμους και δεν έχει σαφές σχέδιο για τη δημιουργία ενός. Ακόμη χειρότερα, από αρχιτεκτονική άποψη, η οριστικότητα της δομής δεδομένων ελέγχου ταυτότητας του πυρήνα, που βασίζεται στην κατάσταση της μονάδας δίσκου Merkle, δεν επιτρέπει σε κανέναν μηχανισμό να δημιουργήσει ένα τέτοιο πρωτόκολλο χωρίς επανασχεδιασμό του πυρήνα.
Μετά τη διεξαγωγή μιας τεχνικής ανασκόπησης αυτού του έργου, μπορούμε να συμπεράνουμε ότι απλά δεν θα συγκεντρωθεί σε κανένα σεβαστό περιοδικό έρευνας κατανεμημένων συστημάτων ή χρηματοοικονομικής μηχανικής. Για να προσπαθήσουμε να αλλάξουμε την παγκόσμια νομισματική πολιτική, χρειάζεται να γίνει τεράστιος όγκος τεχνικού έργου για τη δημιουργία ενός αξιόπιστου δικτύου και ασφαλούς επεξεργασίας των δεδομένων των χρηστών που να μπορούν να εμπιστεύονται το κοινό και οι ρυθμιστικές αρχές.
Δεν βλέπω κανένα λόγο να πιστέψω ότι το Facebook έχει κάνει την απαραίτητη δουλειά στον σχεδιασμό του για να ξεπεράσει αυτά τα τεχνικά προβλήματα ή ότι έχει τεχνικά πλεονεκτήματα σε σχέση με την τρέχουσα υποδομή. Το να λέμε ότι μια εταιρεία χρειάζεται ρυθμιστική ευελιξία για να εξερευνήσει τις καινοτομίες δεν αποτελεί δικαιολογία για να μην τις κάνει πρώτα.
Πηγή: www.habr.com