Πρόσφατα, υπήρξε μια μικρή διένεξη μεταξύ των φατριών Core και Unlimited της κοινότητας Bitcoin, μια διαμάχη που αντιπροσωπεύει ίσως την πεντηκοστή φορά που συζητήθηκε το ίδιο θέμα, αλλά παρόλα αυτά είναι ενδιαφέρουσα επειδή υπογραμμίζει ένα πολύ λεπτό φιλοσοφικό σημείο για το πώς τα blockchains δουλειά.
ViaBTC, μια πισίνα εξόρυξης που ευνοεί το Unlimited, tweeted «Το hashpower είναι νόμος», ένα σύνηθες σημείο συζήτησης για την πλευρά της Unlimited, η οποία πιστεύει ότι οι εξορύκτες έχουν, και πρέπει να έχουν, πολύ μεγάλο ρόλο στη διακυβέρνηση του Bitcoin, το συνηθισμένο επιχείρημα για αυτό είναι ότι οι εξορύκτες είναι η μία κατηγορία χρηστών που έχει ένα μεγάλο και μη ρευστό οικονομικό κίνητρο στην επιτυχία του Bitcoin. Greg Maxwell (από την πλευρά του Core) απάντησε ότι «η ασφάλεια του Bitcoin λειτουργεί ακριβώς επειδή η ισχύς κατακερματισμού ΔΕΝ είναι νόμος».
Το βασικό επιχείρημα είναι ότι οι εξορύκτες έχουν περιορισμένο μόνο ρόλο στο σύστημα Bitcoin, για να εξασφαλίσουν την παραγγελία των συναλλαγών και ΔΕΝ θα πρέπει να έχουν τη δύναμη να καθορίζουν οτιδήποτε άλλο, συμπεριλαμβανομένων των ορίων μεγέθους μπλοκ και άλλων κανόνων εγκυρότητας μπλοκ. Αυτοί οι περιορισμοί επιβάλλονται από πλήρεις κόμβους που εκτελούνται από χρήστες – εάν οι εξορύκτες αρχίσουν να παράγουν μπλοκ σύμφωνα με ένα σύνολο κανόνων διαφορετικών από τους κανόνες που επιβάλλουν οι κόμβοι των χρηστών, τότε οι κόμβοι των χρηστών απλώς θα απορρίψουν τα μπλοκ, ανεξάρτητα από το αν είναι 10% ή 60 Το % ή το 99% του hashpower βρίσκεται πίσω τους. Σε αυτό, η Unlimited απαντά συχνά με κάτι σαν «αν το 90% του hashpower βρίσκεται πίσω από μια νέα αλυσίδα που αυξάνει το όριο μπλοκ και η παλιά αλυσίδα με 10% hashpower είναι τώρα δέκα φορές πιο αργή για πέντε μήνες έως ότου προσαρμοστεί ξανά η δυσκολία; πραγματικά δεν ενημερώνετε τον πελάτη σας για να αποδεχτεί τη νέα αλυσίδα;»
Πολλοί άνθρωποι συχνά Υποστηρίζουν κατά τη χρήση δημόσιων μπλοκ αλυσίδων για εφαρμογές που αφορούν περιουσιακά στοιχεία του πραγματικού κόσμου ή οτιδήποτε με κίνδυνο αντισυμβαλλομένου. Οι κριτικές είναι είτε ολικές, λέγοντας ότι δεν έχει νόημα η εφαρμογή τέτοιων περιπτώσεων χρήσης σε δημόσιες αλυσίδες μπλοκ, είτε μερικές, λέγοντας ότι ενώ μπορεί να υπάρχουν πλεονεκτήματα στην αποθήκευση του ημερομηνία σε μια δημόσια αλυσίδα, το επαγγελματική λογική πρέπει να εκτελεστεί εκτός αλυσίδας.
Το επιχείρημα που χρησιμοποιείται συνήθως είναι ότι σε τέτοιες εφαρμογές υπάρχουν ήδη σημεία εμπιστοσύνης – υπάρχει κάποιος που κατέχει τα φυσικά περιουσιακά στοιχεία που υποστηρίζουν τα επιτρεπόμενα στοιχεία ενεργητικού στην αλυσίδα και ότι κάποιος θα μπορούσε πάντα να επιλέξει να φύγει με τα περιουσιακά στοιχεία ή να αναγκαστεί να παγώσει από μια κυβέρνηση ή τράπεζα, και έτσι η διαχείριση των ψηφιακών αναπαραστάσεων αυτών των περιουσιακών στοιχείων σε ένα blockchain είναι σαν να πληρώνεις για μια ενισχυμένη χαλύβδινη πόρτα για το σπίτι σου όταν το παράθυρο είναι ανοιχτό. Αντίθετα, τέτοια συστήματα θα πρέπει να χρησιμοποιούν ιδιωτικές αλυσίδες, ή ακόμα και παραδοσιακές λύσεις που βασίζονται σε διακομιστές, προσθέτοντας ίσως κομμάτια κρυπτογραφίας για να βελτιώσουν την ικανότητα ελέγχου και έτσι να εξοικονομήσουν την αναποτελεσματικότητα και το κόστος της τοποθέτησης των πάντων σε μια αλυσίδα μπλοκ.
Τα παραπάνω επιχειρήματα είναι και τα δύο ελαττωματικά στην καθαρή τους μορφή και είναι ελαττωματικά με παρόμοιο τρόπο. Ενώ είναι θεωρητικά δυνατό για τους ανθρακωρύχους να αλλάξουν το 99% του hashpower τους σε μια αλυσίδα με νέους κανόνες (για να κάνουμε ένα παράδειγμα όπου αυτό είναι αδιαμφισβήτητα κακό, ας υποθέσουμε ότι αυξάνουν την ανταμοιβή μπλοκ) και ακόμη στρατόπεδο αναπαραγωγής η παλιά αλυσίδα για να την καταστήσει μόνιμα άχρηστη και είναι επίσης θεωρητικά δυνατό για έναν κεντρικό διαχειριστή ενός νομίσματος που υποστηρίζεται από περιουσιακά στοιχεία να σταματήσει να τιμάει ένα ψηφιακό διακριτικό, να δημιουργήσει ένα νέο ψηφιακό διακριτικό με τα ίδια υπόλοιπα με το παλιό διακριτικό εκτός από έναν συγκεκριμένο λογαριασμό το υπόλοιπο μειώθηκε στο μηδέν και αρχίστε να τιμάτε το νέο διακριτικό, στην πράξη αυτά τα πράγματα είναι πολύ δύσκολο να γίνουν.
Στην πρώτη περίπτωση, οι χρήστες θα πρέπει να συνειδητοποιήσουν ότι κάτι δεν πάει καλά με την υπάρχουσα αλυσίδα, να συμφωνήσουν ότι πρέπει να πάνε στη νέα αλυσίδα στην οποία εξορύσσουν τώρα οι εξορύκτες και να κατεβάσουν το λογισμικό που αποδέχεται τους νέους κανόνες. Στη δεύτερη περίπτωση, όλοι οι πελάτες και οι εφαρμογές που εξαρτώνται από το αρχικό ψηφιακό διακριτικό θα σπάσουν, οι χρήστες θα πρέπει να ενημερώσουν τους πελάτες τους για να μεταβούν στο νέο ψηφιακό διακριτικό και έξυπνα συμβόλαια χωρίς δυνατότητα να κοιτάξουν προς τον έξω κόσμο και να δουν ότι η ανάγκη ενημέρωσης θα σπάσει εντελώς. Εν μέσω όλων αυτών, οι αντίπαλοι της αλλαγής μπορούν να δημιουργήσουν μια εκστρατεία φόβου-αβεβαιότητας και αμφιβολίας για να προσπαθήσουν να πείσουν τους ανθρώπους ότι ίσως δεν θα έπρεπε τελικά να ενημερώσουν τους πελάτες τους ή να ενημερώσουν τον πελάτη τους σε κάποια τρίτος ένα σύνολο κανόνων (π.χ. αλλαγή απόδειξης εργασίας), και αυτό καθιστά την εφαρμογή του διακόπτη ακόμα πιο δύσκολη.
Ως εκ τούτου, μπορούμε να πούμε ότι και στις δύο περιπτώσεις, παρόλο που θεωρητικά υπάρχουν κεντρικά ή σχεδόν συγκεντρωμένα κόμματα που θα μπορούσαν να αναγκάσουν τη μετάβαση από την κατάσταση Α στην κατάσταση Β, όπου η κατάσταση Β είναι δυσάρεστη για τους χρήστες αλλά προτιμότερη από τα κεντρικά μέρη, απαιτείται ξεπερνώντας ένα σκληρό πρόβλημα συντονισμού. Τα προβλήματα συντονισμού υπάρχουν παντού στην κοινωνία και είναι συχνά κακό – ενώ θα ήταν καλύτερο για τους περισσότερους ανθρώπους εάν η αγγλική γλώσσα απαλλάσσονταν από το εξαιρετικά περίπλοκο και ακανόνιστο σύστημα ορθογραφίας και έκανε φωνητικό, ή αν οι Ηνωμένες Πολιτείες άλλαζαν στη μετρική, ή αν μπορούσαμε αμέσως μείωση όλων των τιμών και των μισθών κατά δέκα τοις εκατό σε περίπτωση ύφεσης, στην πράξη αυτό απαιτεί από όλους να συμφωνήσουν για τον διακόπτη ταυτόχρονα, και αυτό είναι συχνά πολύ πολύ δύσκολο.
Με τις εφαρμογές blockchain, ωστόσο, κάνουμε κάτι διαφορετικό: χρησιμοποιούμε προβλήματα συντονισμού προς όφελός μας, χρησιμοποιώντας την τριβή που δημιουργούν τα προβλήματα συντονισμού ως προπύργιο κατά των παραβάσεων από κεντρικούς φορείς. Μπορούμε να δημιουργήσουμε συστήματα που έχουν την ιδιότητα Χ και μπορούμε να εγγυηθούμε ότι θα διατηρήσουν την ιδιότητα Χ σε υψηλό βαθμό, επειδή η αλλαγή των κανόνων από Χ σε μη-Χ θα απαιτούσε μια ολόκληρη ομάδα ανθρώπων να συμφωνήσουν να ενημερώσουν το λογισμικό τους ταυτόχρονα . Ακόμα κι αν υπάρχει ένας ηθοποιός που θα μπορούσε να αναγκάσει την αλλαγή, θα ήταν δύσκολο να το κάνει. Αυτό είναι το είδος της ασφάλειας που κερδίζετε από την επικύρωση από την πλευρά του πελάτη των κανόνων συναίνεσης του blockchain.
Σημειώστε ότι αυτού του είδους η ασφάλεια βασίζεται στην αποκέντρωση των χρηστών ειδικά. Ακόμα κι αν υπάρχει μόνο ένας εξορύκτης στον κόσμο, εξακολουθεί να υπάρχει διαφορά μεταξύ ενός κρυπτονομίσματος που εξορύσσεται από αυτόν τον εξορύκτη και ενός κεντρικού συστήματος που μοιάζει με το PayPal. Στην τελευταία περίπτωση, ο χειριστής μπορεί να επιλέξει να αλλάξει αυθαίρετα τους κανόνες, να παγώσει τα χρήματα των ανθρώπων, να προσφέρει κακή υπηρεσία, να αυξήσει τις αμοιβές του ή να κάνει ένα σωρό άλλα πράγματα και τα προβλήματα συντονισμού είναι υπέρ του χειριστή, καθώς τέτοια συστήματα έχουν ουσιαστικά αποτελέσματα δικτύου και έτσι πάρα πολλοί χρήστες θα πρέπει να συμφωνήσουν ταυτόχρονα για τη μετάβαση σε ένα καλύτερο σύστημα. Στην πρώτη περίπτωση, η επικύρωση από την πλευρά του πελάτη σημαίνει ότι απορρίπτονται από προεπιλογή πολλές απόπειρες ατασθαλίας στις οποίες μπορεί να θέλει ο εξορύκτης και το πρόβλημα συντονισμού λειτουργεί πλέον υπέρ των χρηστών.
Σημειώστε ότι τα παραπάνω επιχειρήματα ΔΕΝ, από μόνοι τους, σημαίνει ότι είναι κακή ιδέα οι εξορύκτες να είναι οι κύριοι παράγοντες που συντονίζουν και αποφασίζουν το μέγεθος του μπλοκ (ή στην περίπτωση του Ethereum, το όριο αερίου). Μπορεί κάλλιστα να συμβαίνει ότι, στη συγκεκριμένη περίπτωση του ορίου μεγέθους μπλοκ/αερίου, η «διακυβέρνηση από συντονισμένους εξορύκτες με ευθυγραμμισμένα κίνητρα» είναι η βέλτιστη προσέγγιση για τον καθορισμό αυτής της συγκεκριμένης παραμέτρου πολιτικής, ίσως επειδή ο κίνδυνος κατάχρησης της εξουσίας των εξορυκτών είναι χαμηλότερος από τον κίνδυνο ότι οποιοδήποτε συγκεκριμένο επιλεγμένο σκληρό όριο θα αποδειχθεί εξαιρετικά ακατάλληλο για τις συνθήκες της αγοράς. δεκαετία μετά τον καθορισμό του ορίου. Ωστόσο, δεν υπάρχει τίποτα παράλογο να πούμε ότι η κυβέρνηση από τους ανθρακωρύχους είναι ο καλύτερος τρόπος για να αποφασίσει κανείς μια παράμετρο πολιτικής, και ταυτόχρονα να πει ότι για άλλες παραμέτρους (π.χ. ανταμοιβή αποκλεισμού) θέλουμε να βασιστούμε στην επικύρωση από την πλευρά του πελάτη για να διασφαλίσουμε ότι οι εξορύκτες είναι περιορισμένοι. Αυτή είναι η ουσία των μηχανικών αποκεντρωμένων ιδρυμάτων: πρόκειται για τη στρατηγική χρήση προβλημάτων συντονισμού για να διασφαλιστεί ότι τα συστήματα συνεχίζουν να ικανοποιούν ορισμένες επιθυμητές ιδιότητες.
Τα παραπάνω επιχειρήματα δεν υπονοούν επίσης ότι είναι πάντα βέλτιστο να προσπαθείτε να βάλετε τα πάντα σε μια αλυσίδα μπλοκ ακόμα και για υπηρεσίες που απαιτούν εμπιστοσύνη. Γενικά, υπάρχουν τουλάχιστον κάποια κέρδη που πρέπει να επιτευχθούν με την εκτέλεση περισσότερης επιχειρηματικής λογικής σε ένα blockchain, αλλά συχνά είναι πολύ μικρότερα από τις απώλειες στην αποτελεσματικότητα ή την ιδιωτικότητα. Και αυτό εντάξει? το blockchain δεν είναι το καλύτερο εργαλείο για κάθε εργασία. Ποια τα επιχειρήματα παραπάνω do υπονοεί, ωστόσο, ότι εάν δημιουργείτε μια εφαρμογή που βασίζεται σε blockchain που περιέχει πολλά κεντρικά στοιχεία από ανάγκη, τότε μπορείτε να επιτύχετε σημαντικά περαιτέρω κέρδη στην ελαχιστοποίηση της εμπιστοσύνης δίνοντας στους χρήστες έναν τρόπο πρόσβασης στην εφαρμογή σας μέσω ενός κανονικού πελάτη blockchain ( π.χ. στην περίπτωση του Ethereum, αυτό μπορεί να είναι το Mist, το Parity, το Metamask ή το Status), αντί να τα πείσετε να χρησιμοποιούν μια διεπαφή ιστού που ελέγχετε προσωπικά.
Θεωρητικά, τα οφέλη της επικύρωσης από την πλευρά του χρήστη βελτιστοποιούνται εάν κυριολεκτικά κάθε χρήστης εκτελεί έναν ανεξάρτητο "ιδανικό πλήρη κόμβο" - έναν κόμβο που δέχεται όλα τα μπλοκ που ακολουθούν τους κανόνες πρωτοκόλλου με τους οποίους συμφώνησαν όλοι κατά τη δημιουργία του συστήματος και απορρίπτει όλα τα μπλοκ που το κάνουν δεν. Στην πράξη, ωστόσο, αυτό περιλαμβάνει το να ζητάμε από κάθε χρήστη να επεξεργαστεί κάθε συναλλαγή που εκτελείται από όλους στο δίκτυο, κάτι που είναι σαφώς αβάσιμο, ειδικά λαμβάνοντας υπόψη την ταχεία ανάπτυξη των χρηστών smartphone στον αναπτυσσόμενο κόσμο.
Υπάρχουν δύο διέξοδοι εδώ. Το πρώτο είναι ότι μπορούμε να το συνειδητοποιήσουμε ενώ είναι βέλτιστη Από την άποψη των παραπάνω επιχειρημάτων ότι όλοι εκτελούν έναν πλήρη κόμβο, σίγουρα δεν είναι απαιτείται. Αναμφισβήτητα, κάθε σημαντικό blockchain που λειτουργεί με πλήρη χωρητικότητα θα έχει ήδη φτάσει στο σημείο όπου δεν θα έχει νόημα για «τους απλούς ανθρώπους» να ξοδεύουν το ένα πέμπτο του χώρου του σκληρού δίσκου τους για να εκτελέσουν έναν πλήρη κόμβο, και έτσι οι υπόλοιποι χρήστες είναι χομπίστες και επιχειρήσεις. Εφόσον υπάρχει ένας αρκετά μεγάλος αριθμός από αυτούς, και προέρχονται από διαφορετικά υπόβαθρα, το πρόβλημα συντονισμού της συμπαιγνίας αυτών των χρηστών θα εξακολουθεί να είναι πολύ δύσκολο.
Δεύτερον, μπορούμε να βασιστούμε ισχυρή τεχνολογία πελάτη φωτός.
Υπάρχουν δύο επίπεδα «ελαφρών πελατών» που είναι γενικά δυνατά σε συστήματα blockchain. Ο πρώτος, πιο αδύναμος, ελαφρύς πελάτης απλώς πείθει τον χρήστη, με κάποιο βαθμό οικονομικής διασφάλισης, ότι βρίσκεται στην αλυσίδα που υποστηρίζεται από την πλειοψηφία του δικτύου. Αυτό μπορεί να γίνει πολύ πιο φθηνά από την επαλήθευση ολόκληρης της αλυσίδας, καθώς το μόνο που χρειάζεται να κάνουν οι πελάτες είναι να επαληθεύσουν τα συστήματα απόδειξης εργασίας ή να επαληθεύσουν υπογεγραμμένα πιστοποιητικά που αναφέρουν «είτε το root hash της κατάστασης είναι αυτό που το λέω είναι, ή μπορείτε να δημοσιεύσετε αυτό το πιστοποιητικό στην κύρια αλυσίδα για να διαγράψετε ένα μεγάλο ποσό από τα χρήματά μου». Μόλις ο πελάτης light επαληθεύσει έναν κατακερματισμό ρίζας, μπορεί να χρησιμοποιήσει δέντρα Merkle για να επαληθεύσει οποιοδήποτε συγκεκριμένο τμήμα δεδομένων που μπορεί να θέλει να επαληθεύσει.
Κοίτα, είναι δέντρο Merkle!
Το δεύτερο επίπεδο είναι ένας ελαφρύς πελάτης «σχεδόν πλήρως επαληθεύσιμος». Αυτό το είδος πελάτη δεν προσπαθεί απλώς να ακολουθήσει την αλυσίδα που ακολουθεί η πλειοψηφία. Μάλλον, προσπαθεί επίσης να ακολουθεί μόνο αλυσίδες που ακολουθούν όλους τους κανόνες. Αυτό γίνεται με συνδυασμό στρατηγικών. το απλούστερο να εξηγηθεί είναι ότι ένας ελαφρύς πελάτης μπορεί να συνεργαστεί με εξειδικευμένους κόμβους (πίστωση στον Gavin Wood για το όνομα "ψαράδες") των οποίων ο σκοπός είναι να αναζητήσει μπλοκ που δεν είναι έγκυρα και να δημιουργήσει "αποδείξεις απάτης", σύντομα μηνύματα που ουσιαστικά πείτε «Κοίτα! Αυτό το μπλοκ έχει ένα ελάττωμα εδώ!». Οι πελάτες Light μπορούν στη συνέχεια να επαληθεύσουν αυτό το συγκεκριμένο τμήμα ενός μπλοκ και να ελέγξουν εάν δεν είναι πραγματικά έγκυρο.
Εάν ένα μπλοκ διαπιστωθεί ότι δεν είναι έγκυρο, απορρίπτεται. εάν ένας ελαφρύς πελάτης δεν ακούσει αποδείξεις απάτης για ένα δεδομένο μπλοκ για λίγα λεπτά, τότε υποθέτει ότι το μπλοκ είναι πιθανώς νόμιμο. Υπάρχει μια λίγο περισσότερη πολυπλοκότητα εμπλέκονται στον χειρισμό της περίπτωσης όπου το πρόβλημα δεν είναι δεδομένα κακός, αλλά μάλλον δεδομένα δηλαδή Λείπει, αλλά γενικά είναι δυνατό να πλησιάσετε πολύ κοντά στο να πιάσετε όλους τους πιθανούς τρόπους με τους οποίους οι εξορύκτες ή οι επικυρωτές μπορούν να παραβιάσουν τους κανόνες του πρωτοκόλλου.
Σημειώστε ότι για να μπορέσει ένας ελαφρύς πελάτης να επικυρώσει αποτελεσματικά ένα σύνολο κανόνων εφαρμογής, αυτοί οι κανόνες πρέπει να εκτελεστούν εντός της συναίνεσης – δηλαδή, πρέπει να είναι είτε μέρος του πρωτοκόλλου είτε μέρος ενός μηχανισμού που εκτελείται εντός του πρωτοκόλλου ( σαν ένα έξυπνο συμβόλαιο). Αυτό είναι ένα βασικό επιχείρημα υπέρ της χρήσης του blockchain τόσο για την αποθήκευση δεδομένων όσο και για την εκτέλεση επιχειρηματικής λογικής, σε αντίθεση με την απλή αποθήκευση δεδομένων.
Αυτές οι τεχνικές light client είναι ατελείς, δεδομένου ότι βασίζονται σε υποθέσεις σχετικά με τη συνδεσιμότητα του δικτύου και τον αριθμό άλλων ελαφρών πελατών και ψαράδων που βρίσκονται στο δίκτυο. Αλλά στην πραγματικότητα δεν είναι κρίσιμο να εργάζονται το 100% του χρόνου για το 100% των επικυρωτών. Αντίθετα, το μόνο που θέλουμε είναι να δημιουργήσουμε μια κατάσταση όπου οποιαδήποτε προσπάθεια από ένα εχθρικό καρτέλ εξορυκτών/επικυρωτών να προωθήσει μη έγκυρα μπλοκ χωρίς τη συναίνεση του χρήστη θα προκαλέσει μεγάλο πονοκέφαλο σε πολλούς ανθρώπους και τελικά θα απαιτήσει από όλους να ενημερώσουν το λογισμικό τους εάν θέλετε να συνεχίσετε τον συγχρονισμό με τη μη έγκυρη αλυσίδα. Εφόσον αυτό ικανοποιείται, έχουμε πετύχει τον στόχο της ασφάλειας μέσω συντονιστικών τριβών.
πηγή: https://vitalik.eth.limo/general/2017/05/08/coordination_problems.html
- SEO Powered Content & PR Distribution. Ενισχύστε σήμερα.
- PlatoData.Network Vertical Generative Ai. Ενδυναμώστε τον εαυτό σας. Πρόσβαση εδώ.
- PlatoAiStream. Web3 Intelligence. Ενισχύθηκε η γνώση. Πρόσβαση εδώ.
- PlatoESG. Ανθρακας, Cleantech, Ενέργεια, Περιβάλλον, Ηλιακός, Διαχείριση των αποβλήτων. Πρόσβαση εδώ.
- PlatoHealth. Ευφυΐα βιοτεχνολογίας και κλινικών δοκιμών. Πρόσβαση εδώ.
- BlockOffsets. Εκσυγχρονισμός της περιβαλλοντικής αντιστάθμισης ιδιοκτησίας. Πρόσβαση εδώ.
- πηγή: Νοημοσύνη δεδομένων Πλάτωνα.