Table of Contents
Fetching ...

Revisiting the Primitives of Transaction Fee Mechanism Design

Aadityan Ganesh, Clayton Thomas, S. Matthew Weinberg

TL;DR

It is shown that in this model, the cryptographic second price auction satisfies simplicity for users and miners and off-chain influence proof, since it allows any Bayesian miner to maximize their revenue by posting an optimal reserve price.

Abstract

Transaction Fee Mechanism Design studies auctions run by untrusted miners for transaction inclusion in a blockchain. Under previously-considered desiderata, an auction is considered `good' if, informally-speaking, each party (i.e., the miner, the users, and coalitions of both miners and users) has no incentive to deviate from the fixed and pre-determined protocol. In this paper, we propose a novel desideratum for transaction fee mechanisms. We say that a TFM is off-chain influence proof when the miner cannot achieve additional revenue by running a separate auction off-chain. While the previously-highlighted EIP-1559 is the gold-standard according to prior desiderata, we show that it does not satisfy off-chain influence proofness. Intuitively, this holds because a Bayesian revenue-maximizing miner can strictly increase profits by persuasively threatening to censor any bids that do not transfer a tip directly to the miner off-chain. On the other hand, we reconsider the Cryptographic (multi-party computation assisted) Second Price Auction mechanism, which is technically not `simple for miners' according to previous desiderata (since miners may wish to set a reserve by fabricating bids). We show that, in a slightly different model where the miner is allowed to set the reserve directly, this auction satisfies simplicity for users and miners, and off-chain influence proofness. Finally, we prove a strong impossibility result: no mechanism satisfies all previously-considered properties along with off-chain influence proofness, even with unlimited supply, and even after soliciting input from the miner.

Revisiting the Primitives of Transaction Fee Mechanism Design

TL;DR

It is shown that in this model, the cryptographic second price auction satisfies simplicity for users and miners and off-chain influence proof, since it allows any Bayesian miner to maximize their revenue by posting an optimal reserve price.

Abstract

Transaction Fee Mechanism Design studies auctions run by untrusted miners for transaction inclusion in a blockchain. Under previously-considered desiderata, an auction is considered `good' if, informally-speaking, each party (i.e., the miner, the users, and coalitions of both miners and users) has no incentive to deviate from the fixed and pre-determined protocol. In this paper, we propose a novel desideratum for transaction fee mechanisms. We say that a TFM is off-chain influence proof when the miner cannot achieve additional revenue by running a separate auction off-chain. While the previously-highlighted EIP-1559 is the gold-standard according to prior desiderata, we show that it does not satisfy off-chain influence proofness. Intuitively, this holds because a Bayesian revenue-maximizing miner can strictly increase profits by persuasively threatening to censor any bids that do not transfer a tip directly to the miner off-chain. On the other hand, we reconsider the Cryptographic (multi-party computation assisted) Second Price Auction mechanism, which is technically not `simple for miners' according to previous desiderata (since miners may wish to set a reserve by fabricating bids). We show that, in a slightly different model where the miner is allowed to set the reserve directly, this auction satisfies simplicity for users and miners, and off-chain influence proofness. Finally, we prove a strong impossibility result: no mechanism satisfies all previously-considered properties along with off-chain influence proofness, even with unlimited supply, and even after soliciting input from the miner.

Paper Structure

This paper contains 54 sections, 32 theorems, 27 equations, 2 figures, 1 table.

Key Result

theorem 2.2

A mechanism $\mathcal{C}$ with interim allocation rules $(x_i)_{1 \leq i \leq n}$ and interim payment rules $(p_i)_{1 \leq i \leq n}$ is BIC if and only if for all users $i$,

Figures (2)

  • Figure 1: Model of TFMs.
  • Figure 2: Sets of strategies a miner might be able to influence the equilibrium to.

Theorems & Definitions (68)

  • definition 2.1: Interim Allocation and Payment Rules
  • theorem 2.2: Myerson81; Payment Identity
  • definition 2.3: Interim Allocation and Interim Payment Rules For a BNE
  • lemma 2.4: Direct Revelation Principle
  • theorem 2.5: Revenue Equivalence
  • definition 2.6: Virtual Values
  • theorem 2.7: Myerson81; Revenue Equals Virtual Welfare
  • definition 2.8: Regular Distributions and Monopoly Reserve
  • theorem 2.9: Myerson81
  • definition 3.1: Transaction Fee Mechanisms
  • ...and 58 more