Formal MEV Theory Enables Provable Security against Transaction Reordering Attacks
A new axiomatic framework formalizes Maximal Extractable Value using an abstract blockchain model, enabling provable security guarantees for mechanism design.
