Execution Tickets Centralize MEV Extraction through Capital Advantage
An economic model reveals that Proposer-Builder Separation, using Execution Tickets, concentrates MEV extraction among high-capital buyers, fundamentally challenging decentralization.
Formal MEV Theory Enables Provable Security against Transaction Reordering Attacks
A formal, abstract MEV theory rigorously defines adversarial gain via knowledge axiomatization, enabling proofs of smart contract security.
