Formalizing MEV Theory for Robust Blockchain Security

This research establishes a formal theory of Maximal Extractable Value, providing a foundational model for securing decentralized systems.