Execution Tickets: Protocolizing MEV for Equitable Value Distribution

A novel ticketing mechanism aims to integrate Maximal Extractable Value directly into the Ethereum protocol, fostering fairer distribution and network robustness.
Formalizing Maximal Extractable Value: A Foundational Theory for Blockchain Security

This theory formally defines Maximal Extractable Value, offering a robust framework for proving smart contract security and clarifying adversarial extraction in blockchains.