
 
 
 
 
 Kirjoittajat : (1) Hao Chung∗, Carnegie Mellonin yliopisto (haochung@andrew.cmu.edu) (2) Tim Roughgarden†, Columbia University ja a16z (salaus tim.roughgarden@gmail.com); (3) Elaine Shi∗, Carnegie Mellonin yliopisto (runting@cs.cmu.edu) Authors: (1) Hao Chung∗, Carnegie Mellonin yliopisto (haochung@andrew.cmu.edu) (2) Tim Roughgarden†, Columbia University ja a16z (salaus tim.roughgarden@gmail.com); (3) Elaine Shi∗, Carnegie Mellonin yliopisto (runting@cs.cmu.edu) Pöytä vasemmalla Abstrakti ja 1. Johdanto 1.1 Meidän panoksemme 1.2 TFM: n kannustimien yhteensopivuuden käsitteet: Cheat Sheet 
 
 
 
 
 
 
 
 
 
 
 
 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 A. Yhteenliittymän-resilienssin käsitteiden vertailu Viittaukset abstrakti Roughgarden (EC’21) aloitti muodollisen käsittelyn TFM: stä ja ehdotti kolmea vaatimusta: käyttäjän kannustimien yhteensopivuus (UIC), kaivostoiminnan kannustimien yhteensopivuus (MIC) ja muoto yhteensopivuuden vastustuskykyä, jota kutsutaan OCA-vastustuskykyksi. Ethereumin EIP1559: n mekanismi täyttää kaikki kolme ominaisuutta samanaikaisesti, kun liiketoimien välillä ei ole riitaa, mutta menettää UIC: n ominaisuuden, kun on liian monia tukikelpoisia liiketoimia, jotka sopivat yhteen lohkoon. Chung ja Shi (SODA’23) pitivät vaihtoehtoista yhteensopivuuden vastustuskyvyn käsitettä, jota kutsutaan c-sivuiseksi sopimuksen vastustuskyv Päätuloksemme on ensimmäinen todiste siitä, että kun tapahtumien välillä on riitaa, ei (mahdollisesti satunnaistettu) TFM, jossa käyttäjien odotetaan tarjoavan totuudenmukaisesti, täyttää UIC: n, MIC: n ja OCA-todistuksen.Tämä tulos ratkaisee Roughgardenin (EC’21) tärkeimmän avoimen kysymyksen. 1 Johdanto Kiinteistö blockchain on harvinainen, ja blockchain käyttäjät tarjoavat huutokaupassa nimeltään transaktiomaksumekanismi (TFM), jotta niiden liiketoimet sisältyvät ja vahvistetaan blockchain. Alkuperäinen Bitcoin-protokolla hyväksyi yksinkertaisen ensimmäisen hinnan huutokauppa, jossa top k tarjoukset voittaa ja he kukin maksaa tarjouksensa. Kuitenkin, tällaiset ensimmäisen hinnan huutokaupat ovat tunnettuja kannustaa epätodellinen tarjous. Siksi, rivi myöhempiä töitä [LSZ19, Yao, BEOS19, BCD+, Rou20, Rou21, FMPS21, CS23, SCW23, WSC24, GY23, ZCZ22, BGR23, TY23, KKLP23, XFP23, CMW23, LRMP23, Ndi23] tutkittu mitä Roughgarden [Rou21] oli ensimmäinen, joka muodollisesti määritteli edellä mainitut vaatimukset TFM: lle, jota hän kutsui [1] Myopinen ja , jossa OCA tarkoittaa "off-chain-sopimusta" ja viittaa kaivostyöntekijän ja käyttäjien välisiin strategioihin, jotka mahdollistavat off-chain-siirtoja. Roughgarden [Rou21] osoitti myös, että yksinkertainen "postattu hintahuutokauppa, jossa kaikki maksut poltetaan" -mekanismi, joka vastaa Ethereumin EIP-1559 TFM: n käyttäytymistä, kun ei ole ruuhkautumista, tyydyttää kaikki kolme ominaisuutta. Kuitenkin julkaistu hintahuutokauppa, jossa kaikki maksut poltetaan, ei tyydytä kaikkia kolmea ominaisuutta, kun on ruuhkautumista. Käytännössä ruuhkautuminen tapahtuu, kun on merkittäviä tapahtumia, kuten NFT-mynttin hinta tai vaihtelut - esimerkiksi Ethereum Käyttäjän kannustin yhteensopivuus Mineraalinen kannustin yhteensopivuus OCA-todistus Chung ja Shi [CS23] pitivät vaihtoehtoista käsitystä sopimuksen vastustuskyvystä, jota kutsutaan sidecontract-proofnessiksi. Valitettavasti he osoittivat, että mikään (jopa satunnaistettu) TFM ei voi samanaikaisesti tyydyttää käyttäjän kannustimien yhteensopivuutta ja sivusopimuksen vastustuskyvyyttä. Koska sivusopimuksen vastustuskyvyn vastustuskyky on vaativampi ominaisuus kuin OCA-proofness, Roughgardenin [Rou21] esittämä kysymys siitä, onko unelma TFM, joka tyydyttää kaikki kolme ominaisuutta hänen sopimuksen vastustuskyvyn käsitteen mukaan, ollut auki. TFM-suunnittelun yhteydessä voidaan ja on tutkittu useita luonnollisia yhteistoimintakestävyyden käsitteitä.Tässä selvennämme epävirallisesti Roughgardenin [Rou21] ja Chungin ja Shiin [CS23] ehdottamia käsitteiden keskeisiä eroja.Nämä käsitteet määritellään virallisesti määritelmissä 4–6 (ks. kohta 2) ja verrataan edelleen liitteessä A olevien esimerkkien avulla. Two notions of miner-user collusion-resilience. Roughgardenin riittävä käsite, jäljempänä OCA-proofness, väittää, että kaivostyöläisen ja kaikkien käyttäjien olisi oltava "viitestrategia", joka takaa yhteisen ylijäämänsä maksimoinnin. Tässä viitestrategiassa kaivostyöläisen odotetaan noudattavan TFM:n tarkoittamaa sisällyttämissääntöä. Käyttäjille määritelmä edellyttää vain, että käyttäjät noudattavat tiettyä kiinteää tarjousstrategiaa σ (ts. yksittäisestä käyttäjän arvioinnista käyttäjän tarjoukseen), joka on yksilöllisesti järkevä (ts. σ(v) ≤ v kaikille v ≥ 0). Erityisesti viitestrategiassa käyttäjien odotetaan tarjoavan itsenäisesti (käyttäjän tarjous on riippumaton muista käyttäjien • OCA-proofness: Chungin ja Shiin käsite [CS23], jota jäljempänä kutsutaan c-SCP:ksi (jossa SCP tarkoittaa puolisopimustenvastaisuutta), edellyttää, että rehellinen strategia (eli kaikki käyttäjät noudattavat rehellistä tarjoussääntöä ja kaivostyöläinen toteuttaa rehellisesti sisällyttämissääntöä) on voittojen maksimointistrategia kaikille koalitioille, jotka koostuvat nykyisen lohkon kaivostyöläisistä ja enimmäkseen c-käyttäjistä. Totuudenmukaisten mekanismien osalta rehellinen tarjoussääntö on totuudenmukainen, kun taas ei-totuudenmukaisten mekanismien osalta tarjoussääntö voi olla yleisempi (ks. muodollista määritelmää koskeva kohta 2.1). Chungin ja Shiin käsite •  -SCP: c c Molemmat yhteistoiminnan vastustuskyvyn käsitteet käsittelevät erilaisia kysymyksiä. OCA-suojaus tallentaa käyttäjien ja kaivostyöläisten intuitiivisen vaatimuksen strategisten poikkeamien kautta – siksi se pitää Päinvastoin, c-SCP-konsepti vangitsee intuitiivisen käsityksen siitä, että kaivos-käyttäjäkoalition paras vastaus on toimia rehellisesti, ja että mikään strateginen poikkeama ei salli koalition toimia. Lisätietoja on tämän kohdan lopussa ja liitteessä A. Discussion Ei voi varastaa pöytäkirjaa Maailmanlaajuinen koalitio varastaa muilta käyttäjiltä tai varastaa protokollasta 
 
 Tämä artikkeli on saatavilla arkivissä CC BY 4.0 DEED -lisenssillä. Tämä paperi on Käyttöoikeus on CC BY 4.0 DEED. available on arxiv Saatavilla arkistoinnissa ∗ NSF-palkinnot 2212746, 2044679, 1704788, Packard-apuraha, antelias lahja kuolleelta Nikolai Mushegianilta, lahja Googlelta ja ACE-keskuksen avustus Algorand-säätiöltä. †Columbia-yliopiston tutkimusta tukivat osittain NSF-palkinnot CCF-2006737 ja CNS-2212745, sekä Briger Family Digital Finance Labin ja Center for Digital Finance and Technologiesin tutkimuspalkinnot. [1] Käyttäjän kannustimien yhteensopivuutta (UIC) kutsutaan yleisesti hallitsevan strategian kannustimien yhteensopivaksi (DSIC) mekanismin suunnittelukirjallisuudessa. [2] Tammikuun 1. päivästä 2024 helmikuun 5. päivään 2024 lähtien Ethereumilla on tuotettu 256595 lohkoa, ja niiden joukossa on 5840 lohkoa, jotka ovat täynnä (mikä tarkoittaa, että yli 99,9 prosenttia kaasumäärästä (30M) on käytetty).

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

EScholar Technologies

EScholar

Tämä ääni on tuotettu tarinan alkuperäisellä kielellä!

Miksi täydellinen Blockchain-maksumekanismi voi olla mahdotonta

About Author

KOMMENTIT

RIPUTA TAGSIA

TÄMÄ ARTIKKELI ESITETTIIN

Related Stories

Meet dRPC: HackerNoon Company of the Week

10x Research: How a FIL Backed USD Stablecoin By Secured Finance Would Boost The Filecoin Ecosystem

Dear Public Relations Manager, Here’s How to Use HackerNoon for Your Clients

10 Stories To Learn About Internships

Meet dRPC: HackerNoon Company of the Week

10x Research: How a FIL Backed USD Stablecoin By Secured Finance Would Boost The Filecoin Ecosystem

Dear Public Relations Manager, Here’s How to Use HackerNoon for Your Clients

10 Stories To Learn About Internships

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps