Formalizing Maximal Extractable Value: A Foundational Theory for Blockchain Security

This theory formally defines Maximal Extractable Value, offering a robust framework for proving smart contract security and clarifying adversarial extraction in blockchains.
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.