Formalizing MEV: A Foundational Theory for Blockchain Security

This research establishes a formal theory of Maximal Extractable Value, providing a robust framework for understanding and mitigating economic attacks on blockchains.
MEV Mitigation via Game Theory and Mechanism Design

This research formally models Maximal Extractable Value dynamics, proving its systemic welfare costs, and proposes cryptographic mechanisms to mitigate its adverse effects on decentralized finance.
Formalizing MEV: Foundations for Secure Blockchain Mechanism Design

This research formalizes Maximal Extractable Value, providing a rigorous framework for understanding and mitigating systemic blockchain vulnerabilities.
Formalizing Maximal Extractable Value for Blockchain Security Proofs

This research establishes a rigorous, abstract theory of MEV, enabling formal security proofs against economic attacks that exploit transaction ordering.