Lean formalization of MEV properties.
-
Updated
Dec 24, 2025 - Lean
Lean formalization of MEV properties.
A comprehensive adversarial analysis and 5-layer security taxonomy of blockchain consensus, MEV, and smart contracts. Grounded in the review of 30+ IEEE/ACM papers (2018–2025) focusing on the Integrity and Availability of decentralized service networks.
Add a description, image, and links to the maximal-extractable-value topic page so that developers can more easily learn about it.
To associate your repository with the maximal-extractable-value topic, visit your repo's landing page and select "manage topics."