
 
 
 
 
 著者: (1) カーネギー・メロン大学(haochung@andrew.cmu.edu) (2) Tim Roughgarden †、コロンビア大学および a16z (crypto tim.roughgarden@gmail.com) (3)エレイン・シ、カーネギー・メロン大学(runting@cs.cmu.edu) Authors: (1) カーネギー・メロン大学(haochung@andrew.cmu.edu) (2) Tim Roughgarden †、コロンビア大学および a16z (crypto tim.roughgarden@gmail.com) (3)エレイン・シ、カーネギー・メロン大学(runting@cs.cmu.edu) 左のテーブル 抽象と1 導入 1.1 私たちの貢献 1.2 TFM Incentive-Compatibility Notions: A Cheat Sheet(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 A. Collusion-Resilienceの概念の比較 参照 抽象 ユーザーは、トランザクション手数料メカニズム(TFM)で取引を含め、ブロックチェーンプロトコルによって確認することを提案しました。Roughgarden(EC’21)は、TFMの正式な処理を開始し、ユーザーインセンティブ互換性(UIC)、マイナーインセンティブ互換性(MIC)、およびOCA耐性と呼ばれる合併抵抗の形態を提案しました。EthereumのEIP1559メカニズムは、トランザクション間の合併性がない場合に同時に3つの属性を満たしますが、単一のブロックに適合するための合併抵抗取引が多すぎる場合にUIC属性を失います。ChungとShi(SODA’23)は、合併抵抗の代替 私たちの主な結果は、トランザクション間で議論が起こるとき、ユーザーが確実に賭けると期待される(おそらくランダム化された)TFMがUIC、MIC、およびOCA証明性を満足させるという最初の証拠です。 1 導入 ブロックチェーン上の不動産は希少で、ブロックチェーンユーザーは取引手数料メカニズム(TFM)と呼ばれるオークションでオークションを行い、取引をブロックチェーンに含めて確認した。 オリジナルビットコインプロトコルは、トップKオークションが勝ち、それぞれオークションを支払う場所でシンプルなファースト価格オークションを採用しました。 しかし、そのようなファースト価格オークションは、不誠実なオークションを奨励するために知られています。 したがって、その後の作品のライン(LSZ19、Yao、BEOS19、BCD+, Rou20, Rou21, FMPS21, CS23, SCW23, WSC24, GY23, ZCZ22, BGR23, TY23, K Roughgarden [Rou21] は TFM の前述の要件を正式に定義した最初の者で、彼はこれを「TFM」と呼んだ。 (1)(ミオピック) そして、 OCAは「オフチェーンの合意」を意味し、マイナーと利用者の一連の間で、オフチェーンの転送を可能にする合意する戦略を指します。 Roughgarden [Rou21] はまた、Ethereum の EIP-1559 TFM [BCD+] の行動に対応するシンプルな「ポスト価格オークションとすべての料金を燃やした」メカニズムを示しました。しかし、すべての料金を燃やしたポスト価格オークションは、すべての料金を燃やしたときにすべての資産を満たさない。実践では、NFT コインや価格の変動などの重大なイベントが発生する場合、渋滞が発生します - 例えば、Ethereum では、ブロックの約 2.3% が渋滞を経験します。 ユーザーインセンティブ互換性 マイナー インセンティブ 互換性 OCA証明 チャングとシ(CS23)は、サイドコントラクト耐性という代替的な概念を考慮したが、残念なことに、彼らは、いかなる(ランダム化された)TFMも同時にユーザーのインセンティブ互換性とサイドコントラクト耐性を満たすことができないことを証明した。サイドコントラクト耐性はOCA耐性よりも要求の高い属性であるため、Roughgarden(Rou21)が提起した問題は、彼のコントラクト耐性の概念の下で3つの属性を満たす夢のTFMがあるかどうかは開かれていた。 複数の自然なコンセプトの合併抵抗性は、TFM設計の文脈で研究され、ここでは Roughgarden [Rou21] と Chung and Shi [CS23] によって提案されたコンセプトの間の主要な違いを非公式に明確にします。 Two notions of miner-user collusion-resilience. Roughgarden's proper notion, hence referred to as OCA-proofness, asserts that there should be a "reference strategy" for a miner and all users that is guaranteed to maximize their joint surplus. In this reference strategy, the miner is expected to follow the inclusion rule intended by the TFM. For users, the definition requires only that users follow some fixed bidding trategy σ (i.e., a mapping from a private user valuation to a user bid) that is individually rational (i.e., σ(v) ≤ v for all v ≥ 0). In particular, in the reference strategy, users are expected to bid independently (with a user's bid independent of other users' valuations and bids), and expected to submit a single bid (with no additional fake bids defined in • OCA-proofness: チェンとシの概念(CS23)は、これから「c-SCP」と呼ばれる(SCPは「サイドコントラクトの確保」を意味する)、正直な戦略(すなわち、すべてのユーザーが正直なオファーのルールに従い、マイナーが正直に含有のルールを実施する)が、現在のブロックのマイナーとほとんどのCユーザーで構成されるすべての連合体の利益を最大化する戦略であることを要求します。真のメカニズムでは、正直なオファーのルールは真のルールであり、非真のメカニズムではオファーのルールはより一般的かもしれません(公式定義のためのセクション 2.1 を参照)。 •  -SCP: c c 合併抵抗の2つの概念は、異なる問題に対処します OCA-proofness は、ユーザーとマイナーの直感的な要求をキャプチャします。 戦略的偏差によって、そのため、彼は 対照的に、c-SCPの概念は、マイナーユーザー連合の最善の反応は、正直に行動することであるという直感的な考えを捕捉し、戦略的偏差が連合に許されないことを示しています。 詳細については、このセクションの終わりと附属書Aを参照してください。 Discussion プロトコルから盗むことはできない。 グローバル連合のみ 他のユーザーから盗むか、またはプロトコルから盗む 
 
 この論文は CC BY 4.0 DEED ライセンスの下で archiv で利用できます。 この紙は CC BY 4.0 DEED ライセンス available on arxiv ARCHIV で利用可能 NSF Awards 2212746, 2044679, 1704788, Packard Fellowship, a generous gift from the late Nikolai Mushegian, a gift from Google, and an ACE center grant from Algorand Foundation. NSF Awards 2212746, 2044679, 1704788, a Packard Fellowship, a generous gift from the late Nikolai Mushegian, a gift from Google, and an ACE center grant from Algorand Foundation. †コロンビア大学の著者の研究は、NSF賞CCF-2006737とCNS-2212745と、ブリガーファミリーデジタルファイナンスラボとデジタルファイナンスとテクノロジーセンターからの研究賞によって部分的に支持されました。 [1] ユーザインセンティブ互換性(UIC)は、メカニズム設計文献では、一般に、Dominant-Strategy Incentive Compatible(DSIC)と呼ばれています。 [2] 2024年1月1日から2024年2月5日まで、イーサリアムで256595ブロックが生産され、そのうち5840ブロックが満たされていた(ガス制限(30M)の99.9%以上が使用されたことを意味する)。

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

EScholar Technologies

EScholar

このオーディオは、ストーリーの元の言語で制作されています。

なぜ完璧なブロックチェーン料金メカニズムは不可能なのか

About Author

コメント

ラベル

この記事は

Related Stories

Claude Sonnet 3.5 システムプロンプトの漏洩: 法医学的分析

ワークフローを10倍に向上させる方法: 必須アプリ17選

AI/ML データレイクのリファレンスアーキテクチャを構築するためのアーキテクトガイド

フロキのヴァルハラがインドのスリランカツアーのアソシエイトスポンサーに加わる

Claude Sonnet 3.5 システムプロンプトの漏洩: 法医学的分析

ワークフローを10倍に向上させる方法: 必須アプリ17選

AI/ML データレイクのリファレンスアーキテクチャを構築するためのアーキテクトガイド

フロキのヴァルハラがインドのスリランカツアーのアソシエイトスポンサーに加わる

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps