Miner Extractable Value (MEV)

• Miner Extractable Value (MEV) is the additional profit a block producer earns by arbitrarily reordering, inserting, or excluding transactions, affecting blockchain fairness and user cost.
• It involves attack strategies like front-running, back-running, sandwich attacks, and arbitrage that exploit information asymmetry and transaction transparency in decentralized finance.
• Researchers use game theory, cryptographic methods, and mechanism design to quantify MEV and develop mitigation protocols aimed at reducing consensus instability and improving economic incentives.

Miner Extractable Value (MEV) is the additional profit that a block producer (miner, validator, or sequencer) can systematically extract by arbitrarily reordering, inserting, or excluding transactions within a block, over and above any standard block rewards and transaction fees. In permissionless blockchains, especially in decentralized finance (DeFi) contexts, MEV results from information asymmetry, transaction transparency, and temporary monopoly over block construction. MEV encompasses strategies such as front-running, back-running, sandwich attacks, and cross-domain arbitrage, representing both a fundamental source of risk and a major consideration for protocol, mechanism, and application design throughout the blockchain ecosystem (Alipanahloo et al., 2024).

1. Formal Definitions and Quantification of MEV

The formalization of MEV proceeds at several levels of abstraction. In general, let $\mathcal{P}$ be the set of pending transactions, $\Pi$ the set of valid orderings (permutations) of those transactions, and $u(\pi)$ the total utility (fees, price impact, value transfer) captured by a block producer under ordering $\pi$. The maximal extractable value is then

$\mathrm{MEV} = \max_{\pi\in\Pi}\,u(\pi) - u(\pi^*)$

where $\pi^*$ is a baseline ordering (e.g. first-come-first-served or gas-price priority) (Alipanahloo et al., 2024, Yang et al., 2022). A practical definition in the Ethereum context is “the maximum profit a miner or validator can extract by reordering, inserting, or censoring transactions within a block, over and above standard block rewards and gas fees” (Sarkar, 2023). MEV may extend to "maximal" extractable value to account for both miner-driven and external (searcher, bot) extraction (Churiwala et al., 2022).

Alternative perspectives include:

• Cost of MEV: $$C(f,x) = \max_{\pi}f(\pi(x))-\mathbb{E}_{\pi}f(\pi(x))$$ for a function $f$ encoding payoff as a function of transaction orderings (Angeris et al., 2023).
• Game-theoretic models: MEV games $$\mathcal{G} = (\mathcal{P}, G, \mathcal{B}, \mathcal{A}, (c_i)_i)$$ where $\mathcal{A}$ is the auction or ordering mechanism and $c_i$ is the searcher’s cost function (Mazorra et al., 2022).

2. MEV Mechanisms and Attack Strategies

MEV in practice arises from strategic behavior enabled by block construction discretion:

• Front-running: A privileged actor inserts a transaction before a known pending user transaction to capture anticipated price movements.
• Back-running: A privileged actor executes transactions immediately after a target transaction to benefit from its effects.
• Sandwich attacks: An adversary inserts a buy before and a sell after a user's trade (typically on an AMM), profiting from induced price slippage (Li et al., 2023, Piet et al., 2022).
• Arbitrage: Exploiting price differences across venues or pools by sequencing self-serving trade bundles (Alipanahloo et al., 2024).
• Liquidation: Forcing liquidations or capturing liquidation bonuses through informed transaction ordering (Li et al., 2023).
• Absolute-commitment attacks: Miners leveraging smart contracts that can conditionally commit to pricing strategies, extracting user surplus beyond that obtainable by sandwiching (Landis et al., 2024).

The realization of MEV strategies depends critically on visibility into the mempool, the power to select and order transactions arbitrarily, and the ability to insert privileged trades, often facilitated by off-chain relays and private bundle protocols (e.g., Flashbots) (Weintraub et al., 2022, Li et al., 2023).

3. Implications for Blockchain Systems and DeFi

MEV distorts economic incentives at the consensus and application layers, with wide-ranging effects:

• User welfare degradation: Victims of sandwich attacks suffer systematically worse prices; aggregate MEV losses can be directly correlated with increased transaction waiting times and user costs (Li et al., 2023).
• Consensus instability and reorg incentives: Large, concentrated MEV opportunities can make selfish mining, time-bandit forking, or deep block reorganizations rational for miners with surprisingly low hash power—empirical studies have found hundreds of blocks offering sufficient profit (i.e., MEV exceeding four times the block reward) to incentivize forking (Piet et al., 2022, Li et al., 2023).
• Block construction centralization: The introduction of private relay/bundle systems, Proposer-Builder Separation (PBS), and off-chain MEV auctions (MEV-Boost) centralizes block ordering discretion, raising both decentralization and censorship-resistance concerns (Wahrstätter et al., 2023, Yang et al., 2022).
• Systemic risk during market events: MEV spikes disproportionately during periods of DeFi instability (e.g., exchange failures, stablecoin depegs), increasing miner revenue from MEV by factors of 4–10× and exacerbating both consensus and user risks (Wahrstätter et al., 2023).
• Protocol-level revenue and MEV sharing: MEV sometimes accounts for an order of magnitude higher revenue than base gas fees; the question of how much of this is retained by extractors vs. returned to users is fundamental to protocol design (Braga et al., 2024).

4. Countermeasures and Mitigation Protocols

Mitigating MEV is a multidimensional challenge incorporating mechanism design, cryptography, and protocol engineering. Representative approaches include:

1. Transaction Sequencing Protocols (ordering fairness):
   • First-Come-First-Served (FCFS), timestamp-based (e.g., Wendy), and batch-based (Themis, Aequitas) enforce deterministic ordering to curb discretionary reordering but may require permissioned committees or synchronized clocks (Yang et al., 2022, Alipanahloo et al., 2024).
   • Proposer-Builder Separation (PBS) separates block production and proposal, offloading order selection to market-driven builders via relays (e.g., MEV-Boost) (Wahrstätter et al., 2023, Yang et al., 2022).
2. Cryptographic Hiding of Transaction Content:
   • Threshold encryption or commit-reveal: Transactions are encrypted or committed such that content is hidden until ordering is finalized, blocking traditional frontrunning (Yang et al., 2022, Alipanahloo et al., 2024).
   • Delay encryption (e.g., time-locks, VDFs): Hides tx content for a pre-determined window, foiling opportunistic extractors (Alipanahloo et al., 2024).
   • Trusted Execution Environments (TEEs): Process ordering in hardware-isolated enclaves before content is decrypted (Alipanahloo et al., 2024).
3. Application-Level Defenses:
   • DApp-level queuing (CoMMA): Users acquire queue positions via blind on-chain tokens, decoupling intent from execution, and cryptographically preventing MEV front-running and sandwiching (Churiwala et al., 2022).
   • Batch auctions (CoWswap, FairMM): Orders are matched in discrete intervals and cleared at uniform prices, eliminating intra-batch ordering MEV (Yang et al., 2022, Chan et al., 2024).
   • MEV-aware AMM mechanisms: Batch-processing and randomized or greedy sequencing rules can eliminate or tightly bound extractable value, sometimes resulting in user welfare improvement in the fee-free regime (Chan et al., 2024, Li et al., 2023).
4. Accountability and Auditability:
   • Accountable mempools (LØ): Provide deterministically auditable logs of transaction receipt and ordering, enabling detection and exposure of reordering, censorship, or injection by miners (Nasrulin et al., 2023).
5. MEV Sharing Mechanisms:
   • Protocols with dynamic extraction rates aim to split MEV between block producers and users, adjusting the extraction share (e.g., via EIP-1559-style price updating) in response to observed participation or welfare metrics (Braga et al., 2024).

5. Measurement, Detection, and Empirical Landscape

Accurate detection and measurement of MEV activities in historical and live blockchains is nontrivial due to transaction complexity, private pools, and evolving DeFi applications:

• Algorithmic ex post detection: Transfer-graph cycle analysis identifies MEV traces via cycles in the intra-block value-transfer graphs subject to atomic swap, monotonicity, and adjacency constraints (Piet et al., 2022).
• Graph neural network (GNN)–based detection: ABI-free models such as ArbiNet classify arbitrage or sandwich activity at high precision/recall on public and private data, even for non-standard protocols, by learning transfer-graph motifs (Park et al., 2023).
• Supervised and unsupervised clustering: Systematic DeFi action labeling (ActLifter) combined with iterative clustering (ActCluster) evidences vast taxonomic diversity in MEV activity—17 new MEV types were found to account for over half of all Flashbots bundles, including multi-layered sandwiches, liquidity-backrun arbitrages, and bulk NFT minting (Li et al., 2023).
• Empirical centralization and revenue distribution: Flashbots miners routinely gain substantially higher per-MEV profit than public miners, with >90% of blocks attributed to two mining pools during the PoW era; most private MEV is realized via Flashbots or equivalent private relays (Weintraub et al., 2022, Piet et al., 2022). MEV-Boost block builders and relays similarly show concentration risk post-Merge (Wahrstätter et al., 2023).
• Consensus-level risk assessment: Time-bandit forking attacks become rationally attractive when MEV exceeds protocol rewards; empirical studies confirm dozens to thousands of such blocks per year (Piet et al., 2022, Li et al., 2023).

Detection Approach	Key Advantage	Open Challenge
Transfer Graph Analytics	Protocol-agnostic, cycle-complete	Misses non-standard asset flows; false positives
GNN-based (ABI-free)	High recall, no manual event mapping	Model interpretability; new protocol adaptation
Supervised action labeling	Exhaustive identification of actions	Protocol evolution; combinatorial explosion
Bundle clustering	Uncovers unknown MEV types	Manual labeling/adjudication bottleneck

6. Game-Theoretic Bounds and Theoretical Limits

MEV can be framed as a game played by searchers, sequencers, and users, with the underlying block ordering mechanism as the governing rule:

• Price of MEV (analogous to price of anarchy): Quantifies the ratio of social cost (e.g., gas usage or welfare loss) between worst-case Nash equilibria and best-case null MEV orderings (Mazorra et al., 2022). For unmitigated priority-gas auctions (PGAs), price of MEV grows linearly with the number of competing bots.
• Uncertainty principle for ordering: There is a quantitative trade-off between the power to reorder transactions (size of allowed ordering set) and the complexity of user payoffs (Boolean degree in ordering functions). No universal (application-agnostic) sequencing rule or market mechanism can simultaneously eliminate MEV for all user payoff types—a formally established impossibility (Chitra, 2023). Sequencing rules must thus be tailored to the admissible economic complexity of the applications.
• Mechanized certification: Formal frameworks (e.g., in Lean) can mechanistically compute and upper-bound MEV for specific DeFi protocols, providing rigorous assurance and admitting extension to richer adversarial models or mitigation proofs (Bartoletti et al., 16 Oct 2025).

Mechanism	Price of MEV	Residual MEV for General f	Application Tailoring Required
Priority Gas Auction	Linear in # of bots	High (spam/externalities)	No
Sealed-bid Auction	Lower (ideal: PoMEV~1)	May misallocate, weak approx	Yes
Random Ordering	Variable (fair in mean)	Performance degradation	Context-specific
Batch Auctions/IC AMMs	Near-0 (where applied)	Only DApp-specific MEV	Yes (AMMs, DEXs, etc.)

7. Open Directions and Future Work

Contemporary research recognizes that no "single silver bullet" exists for complete, universal MEV elimination. Current challenges and directions include:

• Stronger cryptographic primitives: Protocols exploring witness encryption, scalable threshold encryption, and client-side verifiable delay functions for combinatorial privacy (Alipanahloo et al., 2024).
• Decentralized, auditable sequencing networks: Reducing relay and builder centralization, incorporating reputation and slashing (Wahrstätter et al., 2023).
• Dynamic MEV sharing and extraction rate control: Protocols with variable extraction rates, feedback-based adjustments, and adaptive user/miner participation mechanisms (Braga et al., 2024).
• Automated and explainable MEV detection: Devising explainable (white-box) graph learning models and generalizing to cross-chain, multi-standard contexts (Park et al., 2023).
• Cross-domain and cross-layer MEV: Extension of models, detection, and mitigation strategies to rollups, Layer-2s, and cross-chain bridges (Alipanahloo et al., 2024).
• Regulatory and policy considerations: Addressing regulatory concerns raised by private order flow, off-chain MEV auctions, and compliance-driven censorship (e.g., OFAC) (Wahrstätter et al., 2023, Yang et al., 2022).

The state of research indicates that MEV is an inherent and multifaceted aspect of decentralized blockspace markets, with deep connections to mechanism design, cryptography, game theory, and economic modeling. Future DApp, protocol, and infrastructure design must explicitly account for MEV in both threat models and protocol objectives to achieve robust, decentralized, and fair blockchain ecosystems.