Formalizing MEV: A New Theory for Blockchain Security Proofs
This research establishes a rigorous, abstract model for Maximal Extractable Value, enabling provable security against economic attacks on decentralized protocols.
