Formalizing MEV for Provable Blockchain Security
This research establishes a rigorous, abstract model for Maximal Extractable Value, enabling formal security proofs for blockchain protocols and smart contracts.
Quantifying Ethereum MEV Transaction Re-Ordering’s Economic Impact
This research quantifies the significant economic costs and market distortions caused by Maximal Extractable Value (MEV) transaction re-ordering on Ethereum, revealing hidden burdens on users and the critical need for systemic reforms.
Time-Averaged Commitment Smooths MEV Auctions, Decentralizing Transaction Ordering
Introducing the Smooth-Running Auction, a mechanism using Time-Averaged Commitments to decouple block value from proposer revenue, stabilizing MEV and promoting decentralization.
PANDAS Protocol Secures Scalable Data Availability Sampling against Latency
PANDAS, a novel two-phase network protocol, leverages direct communication and PBS to meet the stringent 4-second deadline for large-scale data availability sampling.
Verifiable Decryption Secures Proposer-Builder Separation against Censorship
A new two-tiered architecture incorporates publicly verifiable decryption, resolving the censorship vulnerability inherent in existing block-building separation models.
Formal MEV Theory Enables Provable Security against Transaction Reordering Attacks
A formal, abstract MEV theory rigorously defines adversarial gain via knowledge axiomatization, enabling proofs of smart contract security.
Decentralized ZK-Rollups Achieve Data Availability and MEV Resistance
A novel L2 architecture separates node roles and uses a Proof of Luck mechanism to secure decentralization and prevent transaction reordering attacks.
Direct Communication Protocol Secures Data Availability Sampling Efficiency
PANDAS uses direct communication and a two-phase seeding/consolidation model to meet the 4-second DAS deadline, ensuring data availability despite malicious nodes.
Protected Order Flow System Limits Harmful MEV in Builder-Proposer Separation
PROF introduces a mechanism to minimize adversarial MEV in Proposer-Builder Separation, transcending the tradeoff between user protection and transaction inclusion rate.
