Το Ethereum Foundation διερευνά ισχυρισμούς συναλλαγών που θα επέτρεπαν στους χρήστες να επισυνάπτουν εκτελεστούς όρους στο τελικό αποτέλεσμα μιας συναλλαγής, αντί να βασίζονται αποκλειστικά στην έγκριση της ζητούμενης ενέργειας. Η έρευνα, η οποία εντάσσεται στην πρωτοβουλία Trillion Dollar Security, στοχεύει σε ένα κενό στην ασφάλεια των συναλλαγών: μια έγκυρη υπογραφή δεν εγγυάται ότι τα υπόλοιπα, τα δικαιώματα ή οι έλεγχοι λογαριασμού που προκύπτουν ανταποκρίνονται σε όσα είχε σκοπό ο υπογράφων.
Βασικά σημεία
- Οι προτεινόμενοι έλεγχοι θα αξιολογούν τα αποτελέσματα της συναλλαγής κατά την εκτέλεσή της και θα αναιρούν ενέργειες που παραβιάζουν έναν υπογεγραμμένο κανόνα.
- Η προστασία εξαρτάται από κανόνες που εγκρίνονται ανεξάρτητα από έναν ενδεχομένως παραβιασμένο δημιουργό συναλλαγών.
- Η έρευνα θα μπορούσε να υποστηρίξει πολιτικές ασφάλειας πορτοφολιών, εξουσιοδοτημένους πράκτορες και ροές εργασίας solver, αλλά δεν αποτελεί ανακοίνωση ανάπτυξης.
Πίνακας περιεχομένων
- Γιατί η έγκριση μιας συναλλαγής μπορεί παρ’ όλα αυτά να οδηγήσει σε ζημία
- Πώς οι ισχυρισμοί συναλλαγών θα έλεγχαν το αποτέλεσμα
- Τι θα αποκάλυπτε η προτεινόμενη υλοποίηση
- Πού θα έπρεπε να αλλάξουν τα πορτοφόλια και τα πρωτόκολλα
- Τι θα μπορούσαν να κερδίσουν οι πράκτορες και οι ροές εργασίας solver
- Συμπέρασμα
Γιατί η έγκριση μιας συναλλαγής μπορεί παρ’ όλα αυτά να οδηγήσει σε ζημία
Το Ethereum εκτελεί το αίτημα που εξουσιοδοτεί ο χρήστης, με βάση τον κώδικα και την κατάσταση που είναι διαθέσιμα τη στιγμή της εκτέλεσης. Αυτές οι συνθήκες μπορεί να διαφέρουν από εκείνες που εξέτασε ο χρήστης. Για παράδειγμα, η υλοποίηση ενός proxy μπορεί να αλλάξει πριν από την εκτέλεση, ενώ η σειρά των συναλλαγών μπορεί να επηρεάσει την τιμή που θα συναντήσει μια ανταλλαγή.
Το ίδρυμα διακρίνει τα παραπλανητικά αιτήματα από τα ανεπιθύμητα αποτελέσματα. Στις επιθέσεις κατά των Bybit και BadgerDAO, παραβιασμένες διεπαφές παρουσίαζαν αιτήματα υπογραφής διαφορετικά από αυτά που οι χρήστες πίστευαν ότι ενέκριναν. Αντίθετα, ακόμη και ένα αίτημα που εμφανίζεται με ακρίβεια μπορεί να επιτρέψει ένα οικονομικά επιζήμιο αποτέλεσμα.
Το παράδειγμα που παραθέτει αφορά μια ανταλλαγή εξασφαλίσεων Aave και CoW με περίπου $50.4 million σε aEthUSDT. Η περιορισμένη ρευστότητα AAVE και το όριο gas της CoW άφησαν μια επαληθευμένη προσφορά περίπου 329 aEthAAVE. Παρά την προειδοποίηση περί επίπτωσης στην τιμή 99.9 percent που εμφανίστηκε και την επιβεβαίωση ότι μπορούσε να χαθεί ολόκληρη η αξία, ο χρήστης υπέγραψε και έλαβε tokens αξίας περίπου $36,000.
Αυτή η διάκριση εξηγεί γιατί οι καλύτερες περιγραφές συναλλαγών δεν αποτελούν από μόνες τους πλήρη λύση. Το Clear Signing βοηθά τους χρήστες να κατανοήσουν τη ζητούμενη ενέργεια. Η προσομοίωση εκτιμά τις επιπτώσεις με βάση μια επιλεγμένη κατάσταση του blockchain. Κανένα από τα δύο δεν επιβάλλει από μόνο του ανεξάρτητο όρο στο αποτέλεσμα που πράγματι προκύπτει.
| Στοιχείο | Λεπτομέρειες |
|---|---|
| TXTRACE | Καταγράφει τις καθαρές αλλαγές κατάστασης της συναλλαγής και τα συμβάντα που εκπέμπονται. |
| TXDIFF | Ανακτά τις αρχικές και τελικές τιμές για καθορισμένες διευθύνσεις και θέσεις αποθήκευσης. |
| EVENTDATACOPY | Αντιγράφει τα δεδομένα ενός συμβάντος στη μνήμη για έλεγχο. |
| Πληροφορίες ανάπτυξης | Τα προτεινόμενα δεδομένα αλλαγών κατάστασης περιλαμβάνουν συμβόλαια που αναπτύχθηκαν πρόσφατα και τα hash κώδικά τους. |
Πώς οι ισχυρισμοί συναλλαγών θα έλεγχαν το αποτέλεσμα
Ένας ισχυρισμός θα συνέκρινε την αρχική και την τελική κατάσταση μιας συναλλαγής, χρησιμοποιώντας λογική μόνο για ανάγνωση αφού εκτελεστούν οι ενέργειές της. Ο όρος θα περιλαμβανόταν στη συναλλαγή και θα υπογραφόταν μαζί με τις ενέργειες. Αν δεν πληρούνταν, οι ενέργειες θα αναιρούνταν.
Οι πιθανοί κανόνες περιλαμβάνουν ένα ελάχιστο ποσό λήψης, ένα ανώτατο όριο δαπάνης, περιορισμούς σε νέες εγκρίσεις token ή διατήρηση της λογικής ελέγχου ενός λογαριασμού. Η προτεινόμενη δυνατότητα επιθεώρησης εκτείνεται πέρα από τα υπόλοιπα και καλύπτει την αποθήκευση, τον κώδικα, τα συμβόλαια που αναπτύχθηκαν πρόσφατα και τα συμβάντα που εκπέμφθηκαν.
Οι υφιστάμενοι έλεγχοι συμβολαίων ήδη προστατεύουν επιλεγμένα αποτελέσματα. Το Uniswap μπορεί να απορρίπτει ανταλλαγές με απόδοση χαμηλότερη από ένα καθορισμένο ελάχιστο, ενώ ένας guard του Safe μπορεί να επιθεωρεί την κατάσταση του λογαριασμού μετά την εκτέλεση. Ο περιορισμός αφορά την ορατότητα: τέτοιοι έλεγχοι πρέπει να προβλέπουν τι θα εξετάσουν και γενικά εξαρτώνται από τις διεπαφές που εκθέτουν άλλα συμβόλαια. Για παράδειγμα, ένα proxy δεν είναι υποχρεωμένο να παρέχει συνάρτηση που αποκαλύπτει τη διεύθυνση της υλοποίησής του.
Οι εγγενείς ισχυρισμοί θα καθιστούσαν διαθέσιμες προς έλεγχο τις πλήρεις καθαρές επιπτώσεις της συναλλαγής, συμπεριλαμβανομένων αλλαγών που ένας συνηθισμένος guard ενδέχεται να μην ξέρει ότι πρέπει να αναζητήσει. Ωστόσο, η ευρύτερη ορατότητα είναι χρήσιμη μόνο εφόσον ο κανόνας είναι αξιόπιστος. Μια κακόβουλη διεπαφή θα μπορούσε να θέσει έναν όρο που επιτρέπει τη δική της επίθεση, επομένως η πολιτική πρέπει να προέρχεται από πρόθεση, πολιτική λογαριασμού ή προστατευμένη λογική πρωτοκόλλου που έχουν εγκριθεί ανεξάρτητα.
Τι θα αποκάλυπτε η προτεινόμενη υλοποίηση
Η ανακοίνωση του ιδρύματος σχετικά με τους εγγενείς ισχυρισμούς συναλλαγών περιγράφει το EIP-7906 ως πιθανή υλοποίηση και όχι ως οριστικοποιημένο σχεδιασμό. Βασίζεται στις συναλλαγές frame του EIP-8141, οι οποίες οργανώνουν τα βήματα επικύρωσης και ενεργειών σε μια καθορισμένη σειρά. Το EIP-8141 έχει προγραμματιστεί για το Hegotá· το EIP-7906 έχει φτάσει στο στάδιο Considered for Inclusion, αλλά δεν έχει επιβεβαιωθεί για εκείνη την αναβάθμιση.
Σύμφωνα με αυτή την προσέγγιση, ένα πλαίσιο POST_TX μόνο για ανάγνωση θα επιθεωρούσε τα αποτελέσματα στο τέλος της εκτέλεσης. Οι προτεινόμενες εντολές πρόσβασης σε δεδομένα θα λειτουργούσαν μόνο μέσα σε αυτό το πλαίσιο και όχι σε ολόκληρο το EVM.
Οι πληροφορίες θα περιέγραφαν τις καθαρές επιπτώσεις και όχι το ιστορικό κάθε ενδιάμεσης εγγραφής. Μια θέση αποθήκευσης που αλλάζει επανειλημμένα θα εμφανιζόταν με τις αρχικές και τελικές τιμές της· μια θέση που επανέρχεται στην αρχική της τιμή δεν θα εμφανιζόταν. Γι’ αυτό είναι σημαντικό να διακρίνεται η επιβολή της τελικής κατάστασης από την παρακολούθηση κάθε βήματος της εκτέλεσης.
Αν ένας έλεγχος αποτύγχανε, το σώμα εκτέλεσης θα αναιρούνταν, αλλά η συναλλαγή θα παρέμενε στο block ως αποτυχημένη. Ο πληρωτής του gas θα εξακολουθούσε να πληρώνει για το gas που καταναλώθηκε, ώστε να αποτρέπεται η επιβολή δωρεάν εργασίας εκτέλεσης στους builders μέσω συναλλαγών που αποτυγχάνουν σκόπιμα.
Πού θα έπρεπε να αλλάξουν τα πορτοφόλια και τα πρωτόκολλα
Η πρόταση παρέχει έναν μηχανισμό ελέγχου, όχι αυτόματη υποχρέωση χρήσης του. Για τις συναλλαγές ενός χρήστη, το πορτοφόλι θα έπρεπε να ενσωματώνει την πολιτική ασφαλείας του στη δημιουργία της συναλλαγής, αντί να αφήνει τον builder ελεύθερο να την παραλείψει. Η πολιτική θα μπορούσε να προκύπτει από την προσομοίωση του ίδιου του πορτοφολιού ή να εφαρμόζεται ως πάγιος κανόνας λογαριασμού.
Για τα πρωτόκολλα, η προστασία θα έπρεπε να ενσωματωθεί στους όρους πρόσβασης σε μια προστατευμένη λειτουργία. Δεν θα αρκούσε η αποστολή συναλλαγής που υποστηρίζει ισχυρισμούς: η κλήση θα έπρεπε να περιλαμβάνει τον συγκεκριμένο έλεγχο που απαιτεί το πρωτόκολλο. Αυτό θα άλλαζε τις απαιτήσεις ενσωμάτωσης για τους καλούντες, ενώ τα ήδη αναπτυγμένα αμετάβλητα συμβόλαια δεν θα μπορούσαν να προσθέσουν εκ των υστέρων αυτόν τον έλεγχο πρόσβασης.
Αυτές οι εξαρτήσεις διαχωρίζουν μια δυνητικά ισχυρή δυνατότητα του EVM από μια εγγύηση προς τον χρήστη. Η αποτελεσματική προστασία θα απαιτούσε τόσο έναν ορθό όρο όσο και λογισμικό που να καθιστά σταθερά αδύνατη την παράκαμψή του.
Τι θα μπορούσαν να κερδίσουν οι πράκτορες και οι ροές εργασίας solver
Οι εξουσιοδοτημένοι πράκτορες θα μπορούσαν να υπόκεινται σε περιορισμούς βάσει των αποτελεσμάτων, καθώς και των δικαιωμάτων τους. Τα όρια ως προς τα συμβόλαια που μπορεί να χρησιμοποιήσει ένας πράκτορας ή το ποσό που μπορεί να δαπανήσει θα μπορούσαν να συμπληρωθούν με απαιτήσεις για το τι αφήνει πίσω της κάθε συναλλαγή.
Στην εκτέλεση μέσω solver, ένα πρωτόκολλο θα μπορούσε να καθορίζει ένα αποδεκτό αποτέλεσμα, επιτρέποντας παράλληλα στον solver να επιλέγει τη διαδρομή. Η εγγύηση θα περιοριζόταν σε συναλλαγή σε ένα μόνο δίκτυο και δεν θα κάλυπτε διαδρομή που εκτείνεται σε πολλαπλές αλυσίδες.
Οι ισχυρισμοί θα μπορούσαν επίσης να ελέγχουν την ολοκλήρωση της διαδικασίας, όπως την επιστροφή αχρησιμοποίητων token και την ανάκληση των υπολειπόμενων εγκρίσεων. Το ίδρυμα ζητά τη συμβολή ομάδων πορτοφολιών και πρωτοκόλλων καθώς συνεχίζεται ο σχεδιασμός, επομένως αυτές οι πιθανές εφαρμογές αποτελούν κατευθύνσεις έρευνας και όχι ανακοινωμένα χαρακτηριστικά προϊόντος.
Συμπέρασμα
Οι εγγενείς ισχυρισμοί συναλλαγών θα μετέφεραν μέρος της ασφάλειας των συναλλαγών του Ethereum από την ερμηνεία ενός αιτήματος στην επιβολή του αποτελέσματός του. Η πρακτική τους αξία θα εξαρτιόταν από αξιόπιστες πολιτικές και την υιοθέτησή τους από τα πορτοφόλια και τα πρωτόκολλα που είναι υπεύθυνα για την εφαρμογή τους.
Διαβάστε περισσότερα νέα
Περισσότερα νέα από το FinanceVelix
Αποποίηση ευθύνης
Αυτό το άρθρο του FinanceVelix παρέχει γενικές πληροφορίες και δεν αποτελεί εξατομικευμένη χρηματοοικονομική, επενδυτική, νομική ή φορολογική συμβουλή. Οι τιμές των κρυπτονομισμάτων μπορεί να μεταβάλλονται γρήγορα και ενδέχεται να χάσετε όλα τα κεφάλαια που επενδύσατε. Τα πραγματικά στοιχεία αντικατοπτρίζουν το υλικό που ήταν διαθέσιμο κατά τη δημοσίευση και ενδέχεται να αλλάξουν. Επαληθεύστε ανεξάρτητα τις σημαντικές πληροφορίες και συμβουλευτείτε έναν εξειδικευμένο επαγγελματία όταν χρειάζεται. Η αναφορά σε ένα περιουσιακό στοιχείο, μια εταιρεία ή μια υπηρεσία δεν συνιστά έγκριση.
