Formalizing Maximal Extractable Value for Provable Blockchain Security
This research establishes a rigorous, abstract model of MEV to enable formal security proofs against economic attacks in decentralized systems.
Ethereum Integrates Native zkEVM for Enhanced Layer One Verification
This architectural shift embeds zero-knowledge proof verification directly into Layer 1, significantly advancing protocol scalability and integrity.
