
 
 
 
 
 Autorių : (1) Hao Chung∗, Carnegie Mellon universitetas (haochung@andrew.cmu.edu) (2) Tim Roughgarden†, Kolumbijos universitetas ir a16z (kripto tim.roughgarden@gmail.com); (3) Elaine Shi∗, Carnegie Mellon universitetas (runting@cs.cmu.edu) Authors: (1) Hao Chung∗, Carnegie Mellon universitetas (haochung@andrew.cmu.edu) (2) Tim Roughgarden†, Kolumbijos universitetas ir a16z (kripto tim.roughgarden@gmail.com); (3) Elaine Shi∗, Carnegie Mellon universitetas (runting@cs.cmu.edu) Stalas kairėje Abstrakcija ir 1 įvadas 1.1 Mūsų indėlis 1.2 TFM paskatų suderinamumo sąvokos: apgaulės lapas 
 
 
 
 
 
 
 
 
 
 
 
 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. Kolizijos-atsparumo sąvokų palyginimas Referencijos Abstrakcijos Vartotojai siūlo sandorių mokesčio mechanizmą (TFM), kad jų sandoriai būtų įtraukti ir patvirtinti blockchain protokolu. Roughgarden (EC’21) inicijavo oficialų TFM tvarkymą ir pasiūlė tris reikalavimus: naudotojo paskatų suderinamumą (UIC), kasyklų paskatų suderinamumą (MIC) ir OCA atsparumo atsparumo formą. Ethereum EIP1559 mechanizmas tenkina visas tris savybes vienu metu, kai nėra ginčo tarp sandorių, bet praranda UIC savybę, kai yra per daug reikalavimus atitinkančių sandorių, kad tilptų į vieną bloką. Chung ir Shi (SODA’23) laikė alternatyvią kolizijos atsparumo sąvoką, vadinamą c-pusės sutarties atsp Mūsų pagrindinis rezultatas yra pirmasis įrodymas, kad, kai tarp sandorių yra ginčų, nėra (galbūt atsitiktinių) TFM, kuriame vartotojai tikimasi, kad jie bus tikri, patenkina UIC, MIC ir OCA patikimumą. 1 Įvadas Nekilnojamasis turtas blockchain yra menkas, ir blockchain vartotojai siūlo aukcione vadinamas sandorių mokesčių mechanizmas (TFM), kad jų sandoriai įtraukti ir patvirtinti blockchain. Originali Bitcoin protokolas priėmė paprastą pirmos kainos aukcioną, kur aukščiausios k pasiūlymai laimėti ir jie kiekvienas mokėti savo pasiūlymą. Tačiau, tokie pirmos kainos aukcionai yra žinoma, kad paskatinti netikras pasiūlymus. Todėl, eilutė vėlesnių darbų [LSZ19, Yao, BEOS19, BCD+, Rou20, Rou21, FMPS21, CS23, SCW23, WSC24, GY23, ZCZ22, BGR23, TY23, KKLP23, XFP23, CMW23, LRMP23, Ndi23] ištirti, kas yra " Roughgarden [Rou21] buvo pirmasis, kuris oficialiai apibrėžė pirmiau minėtus TFM reikalavimus, kuriuos jis pavadino [1] Mėlynoji ir Roughgarden [Rou21] taip pat parodė, kad paprastas „pašto kainų aukcionas su visais mokesčiais sudegė“ mechanizmas, kuris atitinka Ethereum EIP-1559 TFM [BCD+] elgesį, kai nėra perkrovos, tenkina visas tris savybes. Tačiau skelbtas kainų aukcionas su visais mokesčiais sudegė neatitinka visų trijų savybių, kai yra perkrovos. Praktiškai, perkrovos atsiranda, kai yra dideli įvykiai, tokie kaip NFT monetų monetų ar kainų svyravimai – pavyzdžiui, Ethereume, maždaug 2,3% blokų patiria perkrovą.[2] Kai atsiranda perkrovos, apytiksliai kalbant, Ethereum EIP-1559 mechanizmas patenka atgal į pirmąjį aukcioną, skatindamas Naudotojo paskatų suderinamumas Mineralinės paskatos suderinamumas OCA patikimumas Chung ir Shi [CS23] apsvarstė alternatyvią kolizijos atsparumo sąvoką, vadinamą sidecontract-proofness. Deja, jie įrodė, kad nė vienas (net atsitiktinis) TFM negali tuo pačiu metu patenkinti vartotojo paskatų suderinamumo ir šoninės sutarties atsparumo. Kadangi šoninės sutarties atsparumas yra reiklesnis turtas nei OCA atsparumas, Roughgarden [Rou21] iškeltas klausimas, ar yra TFM svajonė, tenkinanti visas tris savybes pagal jo kolizijos atsparumo sampratą, liko atviras. Čia mes neformaliai paaiškiname pagrindinius Roughgarden [Rou21] ir Chung ir Shi [CS23] siūlomų sąvokų skirtumus. Šios sąvokos yra oficialiai apibrėžtos apibrėžimuose 4–6 (žr. 2 skyrių) ir palyginamos toliau naudojant A priedėlyje pateiktus pavyzdžius. Two notions of miner-user collusion-resilience. Roughgarden's pakankamai sąvoka, vadinama OCA-proofness, teigia, kad turėtų būti "referencijos strategija" kalnakasiui ir visiems vartotojams, kuri yra garantuota, kad maksimaliai padidinti jų bendrą perteklių. Šioje referencinėje strategijoje kalnakasiui tikimasi sekti įtraukimo taisyklę, numatytą TFM. Vartotojams apibrėžimas reikalauja tik, kad vartotojai laikytųsi tam tikrų fiksuotų pasiūlymų trategy σ (t. y. žemėlapis iš privačiojo vartotojo vertinimo į vartotojo pasiūlymą), kuris yra individualiai racionalus (t. y. σ(v) ≤ v už visus v ≥ 0). Visų pirma, referencinėje strategijoje vartotojai tikimasi nepriklausomai pasiūly • OCA-proofness: Chung ir Shi sąvoka [CS23], toliau vadinama c-SCP (kur SCP reiškia šoninės sutarties patikimumą), reikalauja, kad sąžininga strategija (t. y. visi vartotojai laikytųsi sąžiningo pasiūlymo taisyklės, o kasininkas sąžiningai įgyvendina įtraukimo taisyklę) būtų pelno didinimo strategija bet kuriai koalicijai, kurią sudaro dabartinio bloko kasininkas ir daugiausia c vartotojai. Tikriems mechanizmams sąžiningo pasiūlymo taisyklė yra teisinga, o netikriems mechanizmams pasiūlymo taisyklė gali būti bendresnė (žr. Formalaus apibrėžimo 2.1 skirsnį). Chung ir Shi sąvoka atitinka standartines sąvokas, naudojamas žaidimo teorijos ir kript •  -SCP: c c Dvi sąvokos kolizijos atsparumas sprendžia skirtingus klausimus. OCA atsparumas užfiksuoja intuityvų reikalavimą, kad vartotojai ir kalnakasiai per strateginius nuokrypius – dėl šios priežasties, ji mano, kad Priešingai, c-SCP sąvoka užfiksuoja intuityvią idėją, kad geriausias kasybos-naudotojo koalicijos atsakas yra veikti sąžiningai, ir kad joks strateginis nukrypimas negali leisti koalicijai Daugiau informacijos rasite šio skirsnio pabaigoje ir A priede. Discussion Negalima pavogti iš protokolo Pasaulinė koalicija pavogti iš kitų naudotojų arba pavogti iš protokolo 
 
 Šis dokumentas yra prieinamas archive pagal CC BY 4.0 DEED licenciją. Šis dokumentas yra prieinamas archive pagal CC BY 4.0 DEED licenciją. Prieinama archyve ∗ Palaikoma NSF apdovanojimų 2212746, 2044679, 1704788, Packard stipendija, dosni dovana iš mirusio Nikolai Mushegian, dovana iš "Google" ir ACE centro dotacija iš Algorand fondo. †Autoriaus tyrimai Kolumbijos universitete buvo iš dalies remiami NSF apdovanojimais CCF-2006737 ir CNS-2212745, taip pat tyrimų apdovanojimais iš Briger šeimos skaitmeninių finansų laboratorijos ir Skaitmeninių finansų ir technologijų centro. [1] Naudotojo paskatų suderinamumas (UIC) paprastai vadinamas dominuojančios strategijos paskatų suderinamumu (DSIC) mechanizmo projektavimo literatūroje. [2] Nuo 2024 m. Sausio 1 d. Iki 2024 m. Vasario 5 d. Ethereume buvo pagaminta 256595 blokai, o 5840 blokų tarp jų buvo pilni (tai reiškia, kad buvo panaudota daugiau nei 99,9% dujų ribos (30M).

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

EScholar Technologies

EScholar

Šis garso įrašas sukurtas originalia istorijos kalba!

Kodėl tobulas Blockchain mokesčių mechanizmas gali būti neįmanomas

About Author

KOMENTARAI

PABAIGTI ŽYMES

ŠIS STRAIPSNIS BUVO PRISTATYMAS

Related Stories

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps