Active Block Producers Preclude Incentive-Compatible Transaction Fee Mechanisms
An impossibility proof shows no single TFM can align incentives for both users and active MEV-extracting block producers, mandating external design augmentation.
Impossibility Proof for Collusion-Resistant, Truthful, and Revenue-Maximizing Mechanisms
Foundational mechanism design proves no deterministic transaction fee auction can simultaneously ensure user truthfulness, miner revenue, and collusion resistance.
Time-Bound Signatures Restore EIP-1559 Equilibrium and Mitigate MEV Extraction
A modified Schnorr signature scheme expiring at a specific block height forces block producers to include transactions, curbing harmful MEV and stabilizing fee markets.
New Mechanism Design Property Secures Transaction Fee Auctions
A new 'off-chain influence proofness' property challenges EIP-1559's security, proving a cryptographic second-price auction is required for true incentive-compatibility.
Cryptographic Auctions Secure Transaction Fees against Off-Chain Influence
A new cryptographic second-price auction enforces off-chain influence proofness, fundamentally securing transaction fee mechanisms against miner censorship and rent-seeking.
Mechanism Design Secures Leaderless Protocol Block Producer Incentives
A new extensive-form game model and the FPA-EQ mechanism solve block producer incentive misalignment in leaderless consensus protocols.
Leaderless Mechanism Design Secures Transaction Fee Incentive Compatibility
A new mechanism and game-theoretic property ensure that concurrent block producers in leaderless protocols are incentivized to maximize social welfare.
SAKA Mechanism Solves Incentive-Compatibility for Transaction Fee Design
The SAKA mechanism explicitly integrates MEV searchers into transaction fee design, circumventing impossibility results to ensure full incentive-compatibility.
Multi-Party Computation Circumvents Impossibility in Decentralized Mechanism Design for Fair Fees
Cryptographic Multi-Party Computation enables collusion-resistant transaction fee mechanisms, transforming a game-theoretic impossibility into a secure computation problem.
