Briefing
The paper addresses the foundational problem of Transaction Fee Mechanism (TFM) design in the presence of active block producers (BPs) who extract Maximal Extractable Value (MEV), proving a critical impossibility → no non-trivial, welfare-maximizing TFM can be incentive-compatible for both users and BPs simultaneously. The breakthrough is the introduction of a new model that formally incorporates searchers → specialized entities that identify MEV opportunities → as a design primitive, leading to the SAKA mechanism. This augmented TFM uses searcher bids to estimate MEV and charge users accordingly, recovering Dominant Strategy Incentive Compatibility for all participants. The single most important implication is that achieving robust, game-theoretically sound blockchain architecture requires mechanism design to formally account for and integrate the MEV supply chain, establishing this integration as the path forward from pure consensus-layer mitigation attempts.
Context
Prior academic work on Transaction Fee Mechanisms (TFMs) was predicated on a model of passive block producers (BPs) whose sole motivation was the collected transaction fees, ignoring application-layer value extraction. This established theory was challenged by the rise of MEV, where BPs became active economic agents with private valuations for block content, fundamentally breaking the incentive-compatibility guarantees of existing fee models like EIP-1559 in the presence of arbitrage and front-running. This created a theoretical limitation where no known TFM could simultaneously maximize social welfare and ensure all participants truthfully revealed their private valuations.
Analysis
The core mechanism, SAKA, fundamentally redefines the TFM by treating the searcher layer as an explicit part of the protocol’s resource allocation game. Conceptually, it works by running a first-price auction among searchers for the right to execute a user’s transaction, effectively using the winning searcher’s bid as a verifiable, market-driven estimate of the transaction’s inherent MEV. The TFM then leverages this MEV estimate to determine the final fee charged to the user. This logic decouples the user’s payment from the block producer’s MEV capture, allowing the mechanism to satisfy Dominant Strategy Incentive Compatibility (DSIC) for users (who bid their true value) and BPs (who are incentivized to include the TFM-suggested transactions), circumventing the initial impossibility result.
Parameters
- Impossibility Result Condition → No non-trivial TFM can be IC for both users and active BPs.
- SAKA Welfare Guarantee → Guarantees roughly 50% of the maximum-possible welfare.
- Matching Negative Bound → No IC, sybil-proof deterministic TFM can guarantee more than 50% welfare.
Outlook
This theoretical framework validates the strategic necessity of the Proposer-Builder Separation (PBS) paradigm and opens new research avenues in MEV-aware mechanism design. Future work will focus on extending SAKA’s principles to complex multi-proposer environments and non-deterministic TFMs to push the welfare guarantee closer to the theoretical maximum. The real-world application is the creation of provably robust, next-generation decentralized exchanges and fee markets that integrate order flow auctions as a foundational, mathematically-guaranteed component, leading to fairer and more stable on-chain economies within 3-5 years.
Verdict
This research delivers a foundational mechanism design blueprint that formally integrates the MEV supply chain, proving that incentive-compatible transaction fee mechanisms are achievable only through architectural augmentation.
