Επίπεδο 2: η γρήγορη επιβεβαίωση δεν ταυτίζεται με τον οριστικό διακανονισμό

Προσδιορίστε το στάδιο που παρατηρείτε

Μια γρήγορη επιβεβαίωση στη διεπαφή μπορεί να σημαίνει ότι ένας sequencer αποδέχθηκε τη συναλλαγή, όχι ότι ολοκληρώθηκαν όλες οι μεταγενέστερες προϋποθέσεις διακανονισμού. Τα συστήματα επιπέδου 2 εκτελούν εργασίες εκτός της βασικής αλυσίδας και χρησιμοποιούν πρόσθετους μηχανισμούς για τον διακανονισμό ή την επαλήθευση των αποτελεσμάτων. Η τεκμηρίωση κλιμάκωσης του Ethereum διακρίνει τις αισιόδοξες προσεγγίσεις από τις προσεγγίσεις αποδείξεων εγκυρότητας. Η αρχιτεκτονική καθορίζει τι μπορεί να συμπεράνει με ασφάλεια ένας παρατηρητής σε κάθε στάδιο.

Χρησιμοποιήστε ακριβείς χαρακτηρισμούς σε ερευνητικό σημείωμα: υποβλήθηκε, έγινε δεκτή από τον διαχειριστή, συμπεριλήφθηκε σε παρτίδα, δημοσιεύτηκε στη βασική αλυσίδα, επαληθεύτηκε ή ολοκληρώθηκε η περίοδος αμφισβήτησης και αναλήφθηκε. Δεν χρησιμοποιούν όλα τα συστήματα ακριβώς αυτά τα στάδια, αλλά η συμπύκνωσή τους στη λέξη «επιβεβαιώθηκε» κρύβει λειτουργικές διαφορές σημαντικές για ανταλλακτήρια και διαχειριστές εξασφαλίσεων.

Κατανοήστε τη διαφορά στην επαλήθευση

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

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

Διαχωρίστε την καθυστέρηση διακανονισμού από τη ρευστότητα ανάληψης

Μια εγγενής ανάληψη μπορεί να απαιτεί αναμονή για την εκπλήρωση των προϋποθέσεων του πρωτοκόλλου. Ένας τρίτος πάροχος ρευστότητας μπορεί να προσφέρει χρήματα νωρίτερα έναντι προμήθειας, παρέχοντας ουσιαστικά άλλη οδό εξόδου. Αυτή η οδός αλλάζει την έκθεση· δεν εξαφανίζει τους όρους διακανονισμού του υποκείμενου πρωτοκόλλου. Η διαθέσιμη δυναμικότητα μπορεί να συρρικνωθεί σε συνθήκες πίεσης ακριβώς όταν πολλοί χρήστες θέλουν πρόωρη έξοδο.

Φανταστείτε μια υποχρέωση που λήγει αύριο στη βασική αλυσίδα και περιουσιακά στοιχεία των οποίων η εγγενής ανάληψη διαρκεί αρκετές ημέρες σε υποθετικό σύστημα. Αυτά μπορεί να έχουν αξία αλλά να μην είναι διαθέσιμα στο απαιτούμενο χρονοδιάγραμμα. Μια προσφορά ταχείας εξόδου είναι χρήσιμο στοιχείο μόνο για το ποσό και τον χρόνο που πράγματι προσφέρεται. Δεν πρέπει να θεωρείται ότι θα παραμείνει διαθέσιμη σε γενικευμένη φυγή της αγοράς.

Εξετάστε τους ελέγχους και τις υποδομές

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

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

Μετρήστε το συνολικό κόστος κύκλου ζωής

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

Δημιουργήστε χρονοδιάγραμμα για μια κανονική περίπτωση και μία περίπτωση διακοπής λειτουργίας. Καταγράψτε ποιο υπόλοιπο μπορεί να δαπανηθεί σε κάθε σημείο και ποιες παραδοχές θα καθυστερούσαν το επόμενο βήμα. Αυτό κάνει την ανάλυση χρήσιμη χωρίς να προβλέπει ποιο σύστημα κλιμάκωσης θα επικρατήσει. Η τεχνική διεκπεραιωτική ικανότητα, η οριστικοποίηση, η ρευστότητα και η αξία του token εφαρμογής είναι διαφορετικά θέματα και δεν πρέπει να παρουσιάζονται σαν η βελτίωση του ενός να βελτιώνει αυτόματα όλα τα άλλα.

Μια χρήσιμη τελική άσκηση είναι να χαρακτηρίσετε το ίδιο υπόλοιπο σε τρεις στιγμές: αξιοποιήσιμο τοπικά, διαθέσιμο για έξοδο μέσω του εγγενούς μηχανισμού και δαπανήσιμο στην αλυσίδα προορισμού. Η απόδοση χωριστών χρονικών σημάνσεων κάνει ορατά τα κενά ρευστότητας. Αν μια προθεσμία εμπίπτει σε κάποιο από αυτά τα κενά, η θέση έχει λειτουργικό πρόβλημα χρηματοδότησης, ακόμη κι αν όλα τα υπόλοιπα τελικά διακανονιστούν σωστά και δεν χαθεί μόνιμα κεφάλαιο.

Η διαθεσιμότητα δεδομένων δεν είναι εγγύηση μόνιμου αρχείου

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

Ρώτησε δύο πράγματα: τι χρειάζεται το δίκτυο για να αποδεχτεί τη μεταβολή και από πού ο χρήστης θα πάρει αργότερα αποδεικτικό της δικής του πράξης; Η έλλειψη παλιάς εγγραφής σε μία διεπαφή δεν αποδεικνύει ότι η συναλλαγή δεν επιβεβαιώθηκε.

Κράτησε αναγνωριστικό, δίκτυο, ημερομηνία ελέγχου και πηγή. Η γρήγορη ένδειξη της εφαρμογής δεν επιβεβαιώνει ότι ολοκληρώθηκαν ταυτόχρονα όλα τα στάδια διακανονισμού και όλες οι προϋποθέσεις ανάληψης.

Έλεγξε την έξοδο χωρίς τη συνηθισμένη ιστοσελίδα

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

Πρόσθεσε στον χάρτη τον ενδιάμεσο πάροχο, τον sequencer, τον μηχανισμό αποδείξεων και την πλατφόρμα παραλαβής. Αφαίρεσέ τους έναν έναν και εξέτασε τα υπόλοιπα βήματα. Μην υποθέτεις ίδια γρήγορη εφεδρική έξοδο ή καθολική υποστήριξη λειτουργιών σε κάθε σύστημα.

Διέκρινε παρατηρημένη λειτουργία, περιγεγραμμένη δυνατότητα και ανεπιβεβαίωτη υπόθεση. Έτσι ένας ελκυστικός αριθμός δευτερολέπτων δεν κρύβει τις εξαρτήσεις της τελικής πρόσβασης στα χρήματα και τις περιπτώσεις μεγαλύτερης αναμονής.