Copertina

A theoretical basis for MEV

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bartoletti, Massimo, Zunino, Roberto
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

DeFi composability as MEV non-interference
di: Bartoletti, Massimo, et al.
Pubblicazione: (2023)

Certifying optimal MEV strategies with Lean
di: Bartoletti, Massimo, et al.
Pubblicazione: (2025)

Secure compilation of rich smart contracts on poor UTXO blockchains
di: Bartoletti, Massimo, et al.
Pubblicazione: (2023)

Scalable UTXO Smart Contracts via Fine-Grained Distributed State
di: Bartoletti, Massimo, et al.
Pubblicazione: (2024)

A quantitative notion of economic security for smart contract compositions
di: Priyadarshini, Emily, et al.
Pubblicazione: (2025)

Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact
di: Bartoletti, Massimo, et al.
Pubblicazione: (2017)

Formal verification in Solidity and Move: insights from a comparative analysis
di: Bartoletti, Massimo, et al.
Pubblicazione: (2025)

Neuroforger: certified violation witnesses for smart contracts verification via LLMs
di: Bartoletti, Massimo, et al.
Pubblicazione: (2026)

MEV in Binance Builder
di: Wang, Qin, et al.
Pubblicazione: (2026)

Private, Anonymous, Collateralizable Commitments vs. MEV
di: McMenamin, Conor, et al.
Pubblicazione: (2023)

MEV Ecosystem Evolution From Ethereum 1.0
di: Rasheed, et al.
Pubblicazione: (2024)

How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol
di: Maddaloni, Dario, et al.
Pubblicazione: (2024)

The Future of MEV
di: Burian, Jonah
Pubblicazione: (2024)

A theory of Lending Protocols in DeFi
di: Bartoletti, Massimo, et al.
Pubblicazione: (2025)

Solvent: liquidity verification of smart contracts
di: Bartoletti, Massimo, et al.
Pubblicazione: (2024)

When Priority Fails: Revert-Based MEV on Fast-Finality Rollups
di: Gogol, Krzysztof, et al.
Pubblicazione: (2025)

Rolling in the Shadows: Analyzing the Extraction of MEV Across Layer-2 Rollups
di: Torres, Christof Ferreira, et al.
Pubblicazione: (2024)

Playing the MEV Game on a First-Come-First-Served Blockchain
di: Öz, Burak, et al.
Pubblicazione: (2024)

LLMs as verification oracles for Solidity
di: Bartoletti, Massimo, et al.
Pubblicazione: (2025)

A Study of MEV Extraction Techniques on a First-Come-First-Served Blockchain
di: Öz, Burak, et al.
Pubblicazione: (2023)

Ordering Power is Sanctioning Power: Sanction Evasion-MEV and the Limits of On-Chain Enforcement
di: Wu, Di, et al.
Pubblicazione: (2026)

How to Serve Your Sandwich? MEV Attacks in Private L2 Mempools
di: Gogol, Krzysztof, et al.
Pubblicazione: (2026)

Chain Reactions: How Nonce Collisions in ECDSA Compromise Polygon MEV Searchers
di: Madhwal, Yash, et al.
Pubblicazione: (2026)

Cross-Rollup MEV: Non-Atomic Arbitrage Across L2 Blockchains
di: Gogol, Krzysztof, et al.
Pubblicazione: (2024)

Where Does MEV Really Come From? Revisiting CEXDEX Arbitrage on Ethereum
di: Ladóczk, Bence, et al.
Pubblicazione: (2026)

MEV-ACE: Identity-Authenticated Fair Ordering for Proposer-Controlled MEV Mitigation
di: Wang, Jian Sheng
Pubblicazione: (2026)

Smart Contract Languages: a comparative analysis
di: Bartoletti, Massimo, et al.
Pubblicazione: (2024)

KindHML: formal verification of smart contracts based on Hennessy-Milner logic
di: Bartoletti, Massimo, et al.
Pubblicazione: (2026)

More to Extract: Discovering MEV by Token Contract Analysis
di: Chen, Jiaqi, et al.
Pubblicazione: (2026)

RediSwap: MEV Redistribution Mechanism for CFMMs
di: Zhang, Mengqian, et al.
Pubblicazione: (2024)

Don't Let MEV Slip: The Costs of Swapping on the Uniswap Protocol
di: Adams, Austin, et al.
Pubblicazione: (2023)

MAD-DAG: Protecting Blockchain Consensus from MEV
di: Bar-Zur, Roi, et al.
Pubblicazione: (2025)

Cross-Chain Arbitrage: The Next Frontier of MEV in Decentralized Finance
di: Öz, Burak, et al.
Pubblicazione: (2025)

Measuring CEX-DEX Extracted Value and Searcher Profitability: The Darkest of the MEV Dark Forest
di: Wu, Fei, et al.
Pubblicazione: (2025)

Sandwiched and Silent: Behavioral Adaptation and Private Channel Exploitation in Ethereum MEV
di: Mancino, Davide, et al.
Pubblicazione: (2025)

A Formal Approach to AMM Fee Mechanisms with Lean 4
di: Dessalvi, Marco, et al.
Pubblicazione: (2026)

An Information-theoretic Security Analysis of Honeyword
di: Su, Pengcheng, et al.
Pubblicazione: (2023)

The order-theoretical foundation for data flow security
di: Logrippo, Luigi
Pubblicazione: (2024)

Information-theoretic Estimation of the Risk of Privacy Leaks
di: Odoh, Kenneth
Pubblicazione: (2025)

Data Certification Strategies for Blockchain-based Traceability Systems
di: Zonneveld, Giacomo, et al.
Pubblicazione: (2025)