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.
