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.