
 
 
 
 
 Οι συγγραφείς: (1) Χάο Τσούγκ, Πανεπιστήμιο Κάρνεγκι Μελόν (haochung@andrew.cmu.edu) (2) Tim Roughgarden†, Πανεπιστήμιο Κολούμπια και a16z (κρυπτο tim.roughgarden@gmail.com) (3) Elaine Shi∗, Πανεπιστήμιο Carnegie Mellon (runting@cs.cmu.edu) Authors: (1) Χάο Τσούγκ, Πανεπιστήμιο Κάρνεγκι Μελόν (haochung@andrew.cmu.edu) (2) Tim Roughgarden†, Πανεπιστήμιο Κολούμπια και a16z (κρυπτο tim.roughgarden@gmail.com) (3) Elaine Shi∗, Πανεπιστήμιο Carnegie Mellon (runting@cs.cmu.edu) Το τραπέζι της Αριστεράς ΠΕΡΙΕΧΟΜΕΝΑ ΚΑΙ 1 ΕΙΣΑΓΩΓΗ 1.1 Οι συνεισφορές μας 1.2 Οι έννοιες συμβατότητας κινήτρων TFM: ένα φύλλο εξαπάτησης 
 
 
 
 
 
 
 
 
 
 
 
 Definitions 2.1 Transaction Fee Mechanism 2.2 Incentive Compatibility Notions 
 
 Preliminary: Myerson’s Lemma 
 
 Warmup: Impossibility of UIC + MIC + Global SCP for Deterministic Mechanisms 
 
 
 Impossibility of UIC + MIC + Global SCP for Randomized Mechanisms and 5.1 Proof Roadmap 5.2 Formal Proofs 
 
 
 
 Feasibility and Impossibility of UIC + MIC + OCA-Proof 6.1 A Non-Truthful Mechanism with UIC + MIC + OCA-Proof 6.2 Impossibility of UIC + MIC + OCA-Proof for Truthful Mechanisms 
 
 
 
 How to Circumvent the Impossibilities and 7.1 Allowing the Globally Optimal Strategy to Coordinate 7.2 Allowing the Globally Optimal Strategy to Output Multiple Bids 7.3 Inclusion-Rule-Respecting and 7.4 Discussions and Open Questions Regarding the Use of Cryptography 
 
 
 
 Static Revelation Principle for Transaction Fee Mechanisms 8.1 Static Revelation Principle: Bidding Rules That Output Single Bid 8.2 Static Revelation Principle: Allowing Bidding Rules that Output Multiple Bids Α. Σύγκριση των εννοιών συσχέτισης-αντίστασης Αναφορές ΑΠΑΣΧΟΛΗΣΗ Οι χρήστες προσφέρουν έναν μηχανισμό χρεώσεων συναλλαγών (TFM) για να συμπεριληφθούν και να επιβεβαιωθούν οι συναλλαγές τους από ένα πρωτόκολλο blockchain. Ο μηχανισμός EIP1559 του Ethereum ικανοποιεί ταυτόχρονα και τις τρεις ιδιότητες όταν δεν υπάρχει διαμάχη μεταξύ των συναλλαγών, αλλά χάνει την ιδιότητα UIC όταν υπάρχουν πάρα πολλές επιλέξιμες συναλλαγές για να χωρέσουν σε ένα ενιαίο μπλοκ. Chung και Shi (SODA’23) θεωρούν μια εναλλακτική έννοια της ανθεκτικότητας σε διαμάχη, που ονομάζεται c-side-contract-proofness (c-SCP), και έδειξαν ότι, όταν υπάρχει διαμάχη μεταξύ των συναλλαγών, κανένα πρωτόκολλο TFM δεν μπορεί να ικανο Το κύριο αποτέλεσμα μας είναι η πρώτη απόδειξη ότι, όταν υπάρχει διαμάχη μεταξύ των συναλλαγών, δεν υπάρχει (πιθανώς τυχαιοποιημένη) TFM στην οποία οι χρήστες αναμένεται να ποντάρουν αληθινά ικανοποιεί UIC, MIC και OCA-proofness. 1 Εισαγωγή Το πρωτότυπο πρωτόκολλο Bitcoin υιοθέτησε μια απλή δημοπρασία πρώτης τιμής, όπου οι κορυφαίες k προσφορές κερδίζουν και ο καθένας πληρώνει την προσφορά τους. Ωστόσο, τέτοιες δημοπρασίες πρώτης τιμής είναι γνωστό ότι ενθαρρύνουν ψευδείς προσφορές. Ως εκ τούτου, μια σειρά από επακόλουθες εργασίες [LSZ19, Yao, BEOS19, BCD+, Rou20, Rou21, FMPS21, CS23, SCW23, WSC24, GY22, ZCZ22, BGR23, TY23, KKLP23, XFP23, CMW23, LRMP23, Ndi23] διερεύνησε τι είναι το «όνειρο TFM» για μπλοκ. Τα περισσότερα έργα [Rou20, Rou21, CS23, Ο Roughgarden [Rou21] ήταν ο πρώτος που καθόρισε επισήμως τις προαναφερθείσες απαιτήσεις για ένα TFM, το οποίο αναφέρθηκε ως [1] Η Μύκονος και , όπου OCA αντιπροσωπεύει «συμφωνία εκτός αλυσίδας» και αναφέρεται σε στρατηγικές συγχώνευσης μεταξύ του ανθρακωρύχου και ενός συνόλου χρηστών που επιτρέπουν μεταφορές εκτός αλυσίδας. Roughgarden [Rou21] έδειξε επίσης ότι ο απλός μηχανισμός «αναγγελθείσας δημοπρασίας τιμών με όλες τις χρεώσεις που καίγονται», ο οποίος αντιστοιχεί στη συμπεριφορά του EIP-1559 TFM του Ethereum [BCD+] όταν δεν υπάρχει συμφόρηση, ικανοποιεί και τις τρεις ιδιότητες. Ωστόσο, η δημοπρασία τιμών που δημοσιεύεται με όλες τις χρεώσεις που καίγονται δεν ικανοποιεί και τις τρεις ιδιότητες όταν υπάρχει συμφόρηση. Στην πράξη, η συμφόρηση συμβαίνει όταν Συμβατότητα κινήτρων χρήστη Συμβατότητα με τα κίνητρα Δοκιμασία OCA Οι Chung και Shi [CS23] εξέτασαν μια εναλλακτική έννοια της ανθεκτικότητας στη σύμπραξη, που ονομάζεται sidecontract-proofness. Δυστυχώς, απέδειξαν ότι κανένα (ακόμη και τυχαιοποιημένο) TFM δεν μπορεί να ικανοποιήσει ταυτόχρονα τη συμβατότητα κινήτρων χρήστη και την ανθεκτικότητα στη σύμβαση πλευράς. Επειδή η ανθεκτικότητα στη σύμπραξη πλευράς είναι μια πιο απαιτητική ιδιότητα από την OCA-proofness, το ερώτημα που έθεσε ο Roughgarden [Rou21], αν υπάρχει ένα όνειρο TFM που ικανοποιεί και τις τρεις ιδιότητες κάτω από την έννοια της ανθεκτικότητας στη σύμπραξη, παρέμεινε ανοιχτό. Πολλαπλές φυσικές έννοιες της ανθεκτικότητας στη σύμπραξη μπορούν και έχουν μελετηθεί στο πλαίσιο του σχεδιασμού TFM. Εδώ διευκρινίζουμε ανεπίσημα τις βασικές διαφορές μεταξύ των εννοιών που προτείνει ο Roughgarden [Rou21] και ο Chung και ο Shi [CS23]. Αυτές οι έννοιες ορίζονται επίσημα στους ορισμούς 4-6 (βλέπε τμήμα 2) και συγκρίνονται περαιτέρω μέσω παραδειγμάτων στο Παράρτημα Α. Two notions of miner-user collusion-resilience. Η ιδέα του Roughgarden, από εδώ και πέρα αναφέρεται ως OCA-proofness, υποστηρίζει ότι θα πρέπει να υπάρχει μια «στρατηγική αναφοράς» για έναν ανθρακωρύχο και όλους τους χρήστες που είναι εγγυημένη για να μεγιστοποιήσει το κοινό πλεόνασμα τους. Σε αυτή τη στρατηγική αναφοράς, ο ανθρακωρύχος αναμένεται να ακολουθήσει τον κανόνα ένταξης που προορίζεται από το TFM. Για τους χρήστες, ο ορισμός απαιτεί μόνο ότι οι χρήστες ακολουθούν κάποια σταθερή προσφορά trategy σ (δηλαδή, μια χαρτογράφηση από μια ιδιωτική αξιολόγηση χρήστη σε μια προσφορά χρήστη) που είναι ατομικά ορθολογική (δηλαδή σ(v) ≤ v για όλα τα v ≥ 0). Ειδικό • OCA-proofness: Η έννοια του Chung and Shi [CS23], από εδώ και στο εξής αποκαλούμενη c-SCP (όπου το SCP αντιπροσωπεύει την αντίστροφη σύμβαση), απαιτεί ότι η ειλικρινής στρατηγική (δηλαδή, όλοι οι χρήστες ακολουθούν τον ειλικρινή κανόνα προσφοράς και ο ανθρακωρύχος εφαρμόζει ειλικρινά τον κανόνα ένταξης) είναι η στρατηγική μεγιστοποίησης του κέρδους για οποιονδήποτε συνασπισμό που αποτελείται από τον ανθρακωρύχο του παρόντος μπλοκ και τους περισσότερους χρήστες c. Για τους αληθινούς μηχανισμούς, ο αληθινός κανόνας προσφοράς είναι ο αληθινός, ενώ για τους μη αληθινούς μηχανισμούς ο κανόνας •  -SCP: c c Οι δύο έννοιες της ανθεκτικότητας στη σύμπραξη αντιμετωπίζουν διαφορετικά ζητήματα. η ανθεκτικότητα στην OCA συλλαμβάνει την διαισθητική απαίτηση που οι χρήστες και οι ανθρακωρύχοι με στρατηγικές αποκλίσεις – γι’ αυτό και θεωρεί Αντίθετα, η έννοια c-SCP συλλαμβάνει την διαισθητική ιδέα ότι η καλύτερη αντίδραση ενός συνασπισμού ανθρακωρύχων-χρηστών είναι να ενεργεί ειλικρινά και ότι καμία στρατηγική απόκλιση δεν μπορεί να επιτρέψει στον συνασπισμό να Για περαιτέρω συζήτηση, δείτε το τέλος αυτής της ενότητας και το παράρτημα Α. Discussion Δεν μπορεί να κλαπεί από το πρωτόκολλο Μόνο ο παγκόσμιος συνασπισμός κλοπή από άλλους χρήστες ή κλοπή από το πρωτόκολλο 
 
 Αυτό το έγγραφο είναι διαθέσιμο στο archiv υπό την άδεια CC BY 4.0 DEED. Αυτό το έγγραφο είναι διαθέσιμο στο archiv υπό την άδεια CC BY 4.0 DEED. Διαθέσιμο στα Αρχεία Υποστηριζόμενη από τα βραβεία NSF 2212746, 2044679, 1704788, μια υποτροφία Packard, ένα γενναιόδωρο δώρο από τον νεκρό Nikolai Mushegian, ένα δώρο από την Google, και μια επιχορήγηση του κέντρου ACE από το Ίδρυμα Algorand. †Η έρευνα του συγγραφέα στο Πανεπιστήμιο της Κολούμπια υποστηρίχθηκε εν μέρει από τα βραβεία NSF CCF-2006737 και CNS-2212745, και τα ερευνητικά βραβεία από το Briger Family Digital Finance Lab και το Center for Digital Finance and Technologies. [1] Η συμβατότητα των κινήτρων χρήστη (UIC) ονομάζεται συνήθως συμβατότητα κινήτρων κυρίαρχης στρατηγικής (DSIC) στη βιβλιογραφία σχεδιασμού μηχανισμού. [2] Από την 1η Ιανουαρίου 2024 έως την 5η Φεβρουαρίου 2024, 256595 μπλοκ έχουν παραχθεί στο Ethereum, και 5840 μπλοκ μεταξύ αυτών ήταν γεμάτα (δηλαδή χρησιμοποιήθηκε περισσότερο από το 99,9% του ορίου αερίου (30M).

Part of HackerNoon's growing list of open-source research papers, promoting free access to academic material.

EScholar Technologies

EScholar

Αυτός ο ήχος παράγεται στην αρχική γλώσσα της ιστορίας!

Πολύ μακρύ; Να διαβασω

Download free Tech Leaders Productivity Report!

Γιατί ο τέλειος μηχανισμός χρεώσεων blockchain μπορεί να είναι αδύνατος

About Author

ΣΧΟΛΙΑ

ΚΡΕΜΑΣΤΕ ΕΤΙΚΕΤΕΣ

ΑΥΤΟ ΤΟ ΑΡΘΡΟ ΠΑΡΟΥΣΙΑΣΤΗΚΕ ΣΤΟ

Related Stories

Elon Musk to ChatGPT: Please Stop

ELFi Protocol, a DEX Derivatives Platform, Officially Launched With a $100,000 Airdrop Event

Refactoring 021 - Remove Dead Code

The DevOps Writing Contest by Aptible: Round 4 Winners Announced!

Elon Musk to ChatGPT: Please Stop

ELFi Protocol, a DEX Derivatives Platform, Officially Launched With a $100,000 Airdrop Event

Refactoring 021 - Remove Dead Code

The DevOps Writing Contest by Aptible: Round 4 Winners Announced!

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps