Mechanism Design for Fair Decentralized Transaction Ordering Using Private Information
A multi-dimensional contract-theoretic mechanism uses weighted sorting on user-disclosed private preferences to fundamentally eliminate frontrunning MEV.
Formal MEV Modeling Mechanically Certifies Optimal Adversarial Strategies
This research pioneers the formal verification of MEV bounds using the Lean theorem prover, providing cryptographic-grade correctness guarantees for DeFi security.
