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.