Formalizing MEV with Adversarial Knowledge Enables Provable Security
This abstract model defines Maximal Extractable Value via adversarial knowledge, providing the foundational theory for provable security against economic attacks.
