Formalizing MEV Theory for Provable Blockchain Security

A new formal theory for Maximal Extractable Value offers a robust framework to understand and secure blockchain systems against economic attacks.