Formalizing MEV for Provable Blockchain Security
This research establishes a rigorous, abstract model for Maximal Extractable Value, enabling formal security proofs for blockchain protocols and smart contracts.
