Formalizing MEV for Blockchain Security Proofs

This research establishes a formal theory of Maximal Extractable Value, providing a foundational model for analyzing and proving blockchain security against economic attacks.
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.