
 
 
 
 
 Autè yo: (1) Hao Chung∗, Inivèsite Carnegie Mellon (haochung@andrew.cmu.edu); (2) Tim Roughgarden†, University of Columbia ak a16z (kriptografik tim.roughgarden@gmail.com); (3) Elaine Shi∗, Inivèsite Carnegie Mellon (runting@cs.cmu.edu). Authors: (1) Hao Chung∗, Inivèsite Carnegie Mellon (haochung@andrew.cmu.edu); (2) Tim Roughgarden†, University of Columbia ak a16z (kriptografik tim.roughgarden@gmail.com); (3) Elaine Shi∗, Inivèsite Carnegie Mellon (runting@cs.cmu.edu). Tables nan Lès Abstraksyon ak 1. Introduction 1.1 Kontribisyon nou an 1.2 TFM Incentive-kompatibilite Konpozisyon: Yon 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. Konpreyansyon nan konsèp yo nan kolizyon-rezistan Referans Abstraksyon Roughgarden (EC'21) te inisyone tretman an ofisyèl nan TFMs ak pwopoze twa kondisyon: itilizatè incentive konpatibilite (UIC), minè incentive konpatibilite (MIC), ak yon fòm nan kolizyon-rezistans rele OCA-rezistans. Mekanis EIP1559 nan Ethereum satisfè tout twa pwopriyete simultan lè pa gen okenn kontravansyon ant tranzaksyon, men pèdi pwopriyete a UIC lè gen anpil tranzaksyon elèv yo mete nan yon sèl blòk. Chung ak Shi (SODA'23) konsidere yon konpozisyon altènatif nan kolizyon-rezistans, rele c-side-contract-proofness (c-SCP), epi montre ke, lè gen okenn kontravansyon ant tranzaks Rezilta prensipal nou an se premye pwouve ke, lè gen kontravansyon ant tranzaksyon, pa gen okenn (potansyèlman aleksyonèl) TFM nan ki itilizatè yo espere apwopriye satisfè UIC, MIC, ak OCA-proofness. Rezilta sa a rezoud kesyon an prensipal la louvri nan Roughgarden (EC'21). Nou sijere tou plizyè relaksasyon nan modèl la baz ki pèmèt rezilta a Impossibilité nou yo dwe evite. 1 Entwodiksyon Non anviwònman sou blockchain a se ranje, ak itilizatè blockchain anbake nan yon anbake rele mekanis la frè tranzaksyon (TFM) yo gen tranzaksyon yo enkli ak konfime sou blockchain la. Pwotokòl la orijinal Bitcoin adopte yon anbake senp premye-pri, kote k anbake tèt la genyen ak yo chak peye anbake yo. Sepandan, sa yo anbake premye-pri yo te ye anbake entimite anbake enkyetid. Se poutèt sa, yon liy nan travay pita [LSZ19, Yao, BEOS19, BCD+, Rou20, Rou21, FMPS21, CS23, SCW23, WSC24, GY23, ZCZ22, BGR23, TY23, KKLP23, XFP23, CMW23, LRMP23, Ndi Roughgarden [Rou21] te premye nan fòma definye kondisyon yo anvan anvan an pou yon TFM, ki li rele kòm [1], (Miyopik) nan E Roughgarden [Rou21] te montre tou ke mekanis la senp "pwoteje pri a pòs ak tout frè ki te brûle" ki koresponn ak konpòtman an nan EIP-1559 TFM nan Ethereum [BCD+] lè pa gen okenn konvèsyon, satisfè tout twa pwopriyete yo. Sepandan, vwayaj la pri a pòs ak tout frè ki te brûle pa satisfè tout twa pwopriyete lè gen konvèsyon. Nan pratik la, konvèsyon rive lè gen evènman gwo tankou yon NFT frè min oswa fluctuations pri - pou egzanp, nan Ethereum, apeprè 2.3% nan blòk yo eksperyans konvèsyon.[2] Lè konvèsyon rive, apwopriye, mekanis la EIP-1559 nan Ethereum itilizatè incentive konpatibilite Minè Incentive konpatibilite OCA-proofness nan Chung ak Shi [CS23] konsidere yon konpozisyon altènatif nan rezistans-kontraksyon, rele sidecontract-proofness. Malgre ke yo te demontre ke pa gen okenn (senk randomized) TFM ka simultan satisfè konpatibilite incentive itilizatè ak sidecontract-proofness. Pandan ke sidecontract-proofness se yon pwopriyete plis demann pase OCA-proofness, kesyon an ki te mete pa Roughgarden [Rou21], si gen yon TFM son satisfè tout twa pwopriyete anba konsèp li yo nan rezistans-kontraksyon, te rete louvri. Plis natirèl konpozisyon yo nan kolizyon-rezistans ka epi yo te etidye nan kontèks la nan konsepsyon TFM. Isit la nou clarify informally diferans kle ant konpozisyon yo pwopoze pa Roughgarden [Rou21] ak Chung ak Shi [CS23]. Konpozisyon sa yo se definye fòmasyon an nan Defini 4–6 (considere seksyon 2) ak konpare plis pa egzanp nan Anplis A. Two notions of miner-user collusion-resilience. Roughgarden se konpozisyon an apwopriye, ki se kounye a rele OCA-proofness, afirman ke gen yon "strategyen referans" pou yon minè ak tout itilizatè ki garanti maksimize surplus yo koperasyon. Nan estrateji referans sa a, minè a se espere yo swiv règ la enklizyon ki fèt pa TFM la. Pou itilizatè yo, definisyon an sèlman mande ke itilizatè yo swiv kèk biding trategy σ fixe (si ou vle di, yon mapping soti nan yon evalyasyon itilizatè prive nan yon bid itilizatè) ki se endividyèlman rezonab (si ou vle di, σ(v) ≤ v pou tout v ≥ 0). An patikilye, nan estrateji referans, itilizatè yo espere yo bid independently (ak yon itilizatè bid independent • OCA-proofness: Konpozisyon an Chung ak Shi [CS23], ki se kounye a rele c-SCP (ki SCP se pou sidecontract-proofness), mande ke estrateji a onèt (ki se, tout itilizatè yo swiv règ la nan ankouraje onèt ak minè a onèt aplike règ la enklizyon) se estrateji a maksimize pwofi pou nenpòt koalisyon ki konsiste nan minè a nan blòk sa a ak pi fò nan c itilizatè yo. Pou mekanis verite, règ la ankouraje onèt la se la verite, pandan y ap pou mekanis ki pa verite, règ la ankouraje ka pi jeneral (considere seksyon 2.1 pou definisyon ofisyèl la). Konpozisyon an Chung ak Shi aliye ak non yo estanda itilize nan yon liy nan travay la nan •  -SCP: c c Dwa konsèp nan kolizyon-rezistans rezoud pwoblèm diferan. OCA-proofness retire kondisyon an intuitif ke itilizatè yo ak minè atravè devwa estratejik - se konsa, li konsidere konpoze de minè a ak tout itilizatè yo. Nan kontrè, konpozisyon an c-SCP retire lide a intuitif ke pi bon repons nan yon koalisyon minè- itilizatè se yo ap travay onètman, ak ke pa gen devlopman estratejik ka pèmèt koalisyon an Pou diskisyon plis, wè fen a nan seksyon sa a ak Annex A. Discussion pa ta dwe kapab vole soti nan pwotokòl Se sèlman koalisyon mondyal la vole soti nan lòt itilizatè oswa vole soti nan pwotokòl la 
 
 Dokiman sa a se disponib sou archiv anba CC BY 4.0 DEED lisans. Dokiman sa a se disponib sou archiv anba CC BY 4.0 DEED lisans. Disponib nan dosye ∗Supported pa NSF rekonpans 2212746, 2044679, 1704788, yon Packard Fellowship, yon kado jèn soti nan mouri Nikolai Mushegian, yon kado soti nan Google, ak yon ACE sant grant soti nan Algorand Fondasyon. †Rechèch nan otè a nan Inivèsite Columbia sipòte nan yon pati nan NSF pri CCF-2006737 ak CNS-2212745, ak pri rechèch soti nan Briger Family Digital Finance Lab ak Sant pou Finans dijital ak Teknoloji. [1] User incentive compatibility (UIC) se souvan rele dominant-strategy incentive compatible (DSIC) nan literati konsepsyon mekanis. Anjeneral, nou pèmèt UIC TFMs sèvi ak estrateji anbake ki pa verite (men dominan) (considere Defini 2). [2] Soti nan 1 janvye 2024 a 5 fevriye 2024, 256595 blòk te pwodwi sou Ethereum, ak 5840 blòk nan mitan yo te plen (ki vle di plis pase 99,9% nan limit gaz (30M) te itilize).

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

EScholar Technologies

EScholar

Odyo sa a pwodui nan lang orijinal istwa a!

Poukisa Mekanis la nan frè Blockchain pafè ta ka pa posib

About Author

KÒMANtè

KANDYE TAGS

ATIK SA A TE PREZANTE NAN

Related Stories

Women in Cybersecurity with SheSec Pakistan on The HackerNoon Podcast

How To Clone Hackernoon HTML Page

Code Refactoring Tips: No. 015 - Remove NULL

STOP: In the name of the brand police!

Women in Cybersecurity with SheSec Pakistan on The HackerNoon Podcast

How To Clone Hackernoon HTML Page

Code Refactoring Tips: No. 015 - Remove NULL

STOP: In the name of the brand police!

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps