Formalizing MEV Theory for Blockchain Security and Mechanism Design

This paper establishes a rigorous, abstract framework for Maximal Extractable Value, enabling systematic analysis and robust defenses against economic exploits in decentralized systems.
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.