Formalizing MEV as a Game to Quantify Mitigation Strategies
Game theory formalizes the MEV supply chain, proving unconstrained transaction ordering creates a systemic welfare loss, unlocking quantified mitigation via mechanism design.
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.
