Formalizing MEV: Rigorous Model Enables Provable Blockchain Security
A formal MEV theory, built on an abstract blockchain model, allows provable security against economic attacks, ensuring more robust decentralized systems.
Formalizing MEV: A New Theory for Blockchain Security Proofs
This research establishes a rigorous, abstract model for Maximal Extractable Value, enabling provable security against economic attacks on decentralized protocols.
Layered Blockchain Security: Classifying Cryptocurrency Attacks
This research systematically categorizes blockchain attack vectors across five infrastructure layers, offering a foundational framework to understand and mitigate evolving cryptocurrency threats.
