Formalizing Maximal Extractable Value for Provable Security against Economic Attacks
This research formalizes MEV using an abstract blockchain model, establishing a rigorous theoretical basis for provable security against transaction-ordering attacks.
