Uncompensated Work Decoupling Enables Speculative Blockchain Denial-of-Service
A new class of Conditional Resource Exhaustion Attacks is formalized, exploiting Turing-complete execution to decouple validator work from fee compensation, fundamentally compromising blockchain liveness.
Execution Tickets Centralize MEV Extraction through Capital Advantage
An economic model reveals that Proposer-Builder Separation, using Execution Tickets, concentrates MEV extraction among high-capital buyers, fundamentally challenging decentralization.
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.
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.
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.
Formal MEV Theory Enables Provable Security against Transaction Reordering Attacks
A new axiomatic framework formalizes Maximal Extractable Value using an abstract blockchain model, enabling provable security guarantees for mechanism design.
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.
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.
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.
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.
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.
Analyzing Execution Tickets for MEV Capture and Decentralization on Ethereum
This research models Ethereum's Execution Tickets, revealing MEV capture and decentralization challenges, fundamentally shaping future protocol design.
