Βυζαντινή Αντοχή Σφαλμάτων

Οι αποκεντρωμένα δίκτυα υπόσχονται ανοιχτή συμμετοχή, αλλά επίσης προσκαλούν το χάος αν δεν μπορούν να διαχωρίσουν την αλήθεια από το ψέμα. Η Βυζαντινή Αντοχή σε Σφάλματα, ή BFT, είναι το χαρακτηριστικό που διατηρεί αυτά τα δίκτυα ειλικρινή και λειτουργικά. Με απλά λόγια, το BFT σημαίνει ότι το σύστημα μπορεί να διακρίνει έγκυρες συναλλαγές από απάτες και να συνεχίσει να λειτουργεί ακόμη και όταν κάποιοι συμμετέχοντες ενεργούν λανθασμένα ή έχουν παραβιαστεί. Ο κλασικός τρόπος να εξηγήσουμε αυτό είναι το Πρόβλημα των Βυζαντινών Στρατηγών, ένα πείραμα σκέψης σχετικά με κατανεμημένους παράγοντες που πρέπει να συμφωνήσουν μέσω μηνυμάτων ενώ κάποια μηνύματα μπορεί να είναι ψευδή. Στη γλώσσα της blockchain, οι στρατηγοί είναι κόμβοι, τα μηνύματα είναι δεδομένα συναλλαγών και προτάσεις μπλοκ, και το συμφωνηθέν σχέδιο είναι η κανονική ιστορία του βιβλίου καταγραφής. Ένα δίκτυο που λύει αυτό το πρόβλημα αποτρέπει τη διπλή δαπάνη και άλλες διαφθορές κάνοντάς την ειλικρινή συμφωνία τη λογική έκβαση. Διαφορε mecanismos συναίνεσης επιτυγχάνουν το BFT με διαφορετικούς τρόπους. Η Απόδειξη Εργασίας βασίζεται σε miners που δαπανούν υπολογιστικούς πόρους για να παραγάγουν αποδείξεις ότι ένα μπλοκ απαιτούσε πραγματική εργασία, που ευθυγραμμίζει τα κίνητρα ώστε να είναι δαπανηρή η επίθεση στο σύστημα. Η Απόδειξη Συμμετοχής ζητά από τους επικυρωτές να κλειδώσουν κεφάλαιο ως εγγύηση ώστε η κακή συμπεριφορά να μπορεί να τιμωρηθεί παίρνοντας ένα μέρος από αυτή την εγγύηση, μια διαδικασία που συχνά ονομάζεται “slashing”, που καθιστά την απάτη οικονομικά μη ελκυστική. Άλλες σχεδιάσεις συναίνεσης χρησιμοποιούν γύρους ψηφοφορίας και κανόνες τελικής απόφασης για να επιτύχουν γρήγορα συμφωνία, και αυτοί οι πρακτικοί αλγόριθμοι BFT μπορούν να ανεχτούν ένα περιορισμένο ποσοστό ελαττωματικών ή κακόβουλων κόμβων ενώ διατηρούν την ασφάλεια και τη ζωντάνια. Πίσω από τους τεχνικούς όρους υπάρχουν δύο βασικές εγγυήσεις: η ασφάλεια, που σημαίνει ότι το δίκτυο δεν θα αποδεχτεί αντιφατικές ιστορίες, και η ζωντάνια, που σημαίνει ότι το δίκτυο συνεχίζει να προοδεύει. Αυτές οι εγγυήσεις εξαρτώνται από υποθέσεις σχετικά με το πόσοι κόμβοι μπορεί να είναι ελαττωματικοί και σχετικά με την παράδοση μηνυμάτων στο δίκτυο. Υπάρχουν επίσης ανταλλαγές· κάποιες προσεγγίσεις BFT ευνοούν την ταχύτητα και το χαμηλό ενεργειακό κόστος αλλά απαιτούν ένα μικρότερο, πιο αναγνωρίσιμο σύνολο επικυρωτών, ενώ άλλες ευνοούν την ανοιχτή συμμετοχή αλλά κοστίζουν περισσότερα σε υπολογιστική ισχύ ή χρόνο. Για τους καθημερινούς χρήστες, το BFT είναι αυτό που καθιστά μια δημόσια blockchain αξιόπιστη και ανθεκτική στη λογοκρισία. Είναι ο αόρατος κανονιστικός κώδικας που μετατρέπει ένα πλήθος ανεξάρτητων μηχανών σε ένα ενιαίο αξιόπιστο βιβλίο καταγραφής. Η κατανόηση του BFT σας βοηθά να δείτε γιατί οι κανόνες συναίνεσης έχουν σημασία, γιατί υπάρχουν κίνητρα ή εγγυήσεις και γιατί οι επιλογές σχεδίασης δικτύου επηρεάζουν την ασφάλεια, την αποκέντρωση και την απόδοση.