Briefing
The foundational problem of transaction fee mechanism (TFM) design is complicated by the presence of active block producers who derive private value, or Maximal Extractable Value (MEV), from transaction ordering beyond simple fee rewards. This research proves a fundamental impossibility → no non-trivial TFM can be incentive-compatible for both users (truthful bidding) and active block producers (optimal block selection) while guaranteeing high social welfare. The proposed SAKA mechanism circumvents this constraint by formally integrating a third party → the searcher → into the TFM design space, creating a tri-party auction structure that is proven to restore incentive compatibility for all participants, thereby establishing a new theoretical benchmark for fair and efficient blockspace allocation.
Context
The established theoretical models for blockchain resource allocation, such as EIP-1559, were largely premised on the assumption of passive block producers motivated solely by the net transaction fees and consensus rewards. This model failed to account for the economic reality of MEV, where block producers (or their delegated builders) act as active economic agents with private valuations for specific transaction orderings derived from the application layer. This discrepancy between the theoretical TFM design and the practical, MEV-driven behavior of block producers created a foundational security gap, compromising the incentive-compatibility properties that are crucial for a stable, predictable, and economically efficient decentralized system.
Analysis
The core breakthrough is the formalization of the impossibility result and the subsequent design of the SAKA mechanism to overcome it. The impossibility arises because an active block producer’s private value (MEV) creates a conflict of interest that subverts any TFM designed for passive agents. The SAKA mechanism addresses this by introducing a searcher layer → users submit bids to searchers, searchers bundle transactions into a payload, and the block producer then runs a second-price auction over the searcher-submitted payloads.
The block producer’s final reward is a combination of the second-price auction payment and the user-paid transaction fees. This multi-layered auction structure decouples the user’s bidding incentive from the block producer’s final profit, ensuring that users bid truthfully, searchers construct welfare-maximizing bundles, and the block producer selects the most valuable payload, thus restoring the necessary incentive alignment across the entire block production supply chain.
Parameters
- Welfare Guarantee → Roughly 50% of the maximum-possible expected social welfare. This metric quantifies the mechanism’s efficiency in ensuring the most valuable transactions are included, even with active block producers.
- Mechanism Compatibility → Incentive-compatible for users, searchers, and the block producer. This is the primary theoretical property achieved, which was proven impossible without the searcher layer.
- Transaction Size Condition → The welfare guarantee holds when transaction sizes are small relative to the total block size. This is a practical boundary condition for the mechanism’s efficiency proof.
Outlook
This research shifts the academic and strategic focus from trying to design a single, monolithic TFM to proving the necessity of a layered, multi-party mechanism for block construction. In the next three to five years, this principle will likely formalize the current Proposer-Builder Separation (PBS) architecture, moving it from an ad-hoc practical solution to a cryptoeconomic necessity. Future research will concentrate on refining the auction dynamics within the searcher layer, optimizing the welfare guarantee beyond the current 50% bound, and formally integrating more complex MEV types into the model. This work provides the theoretical foundation for truly credible neutral block production.
Verdict
The proof of TFM impossibility with active block producers fundamentally redefines blockchain consensus economics, asserting that a multi-layered auction architecture is a theoretical prerequisite for achieving both incentive compatibility and high social welfare.
