Formalizing MEV: Abstract Model for Blockchain Economic Attacks

This research establishes a formal theory of Maximal Extractable Value, providing a rigorous abstract model for understanding and mitigating blockchain economic attacks.
Optimal Zero-Knowledge Proofs for Arbitrary Arithmetic Circuits

This research introduces ZKP protocols with optimal prover efficiency for any circuit, removing trusted setup constraints and enabling practical large-scale verifiable computation.
ZKTorch: Efficiently Verifying ML Inference with Zero-Knowledge Proofs

ZKTorch introduces a parallel proof accumulation system for ML inference, fundamentally enhancing transparency while safeguarding proprietary model weights.
Formalizing MEV: A Theoretical Framework for Blockchain Security Analysis

This research establishes a formal MEV theory, providing a foundational model to understand and secure blockchain systems against value extraction.
Optimizing Zero-Knowledge Proofs for Practical Scalability and Efficiency

This research introduces novel zero-knowledge proof protocols that achieve linear prover time and distributed generation, fundamentally advancing privacy-preserving computation.
Zero-Knowledge Proofs: Diverse Applications Revolutionize Digital Privacy and Integrity

This survey illuminates how Zero-Knowledge Proofs fundamentally reshape computational integrity and privacy across distributed systems, enabling secure, data-private interactions.
Scalable Zero-Knowledge Proofs for Private Analytics and Delegated Computation

This research introduces cryptographic primitives enabling scalable zero-knowledge proofs for private analytics and delegated computation, fundamentally reshaping decentralized system efficiency.
MEV Is the Economic Limit to Blockchain Scaling

This research establishes Maximal Extractable Value as the primary economic bottleneck for blockchain scalability, proposing a novel auction design for efficient blockspace utilization.
Formal MEV Theory for Blockchain Security Analysis

This research establishes a foundational, abstract model for Maximal Extractable Value, enabling rigorous security proofs and advancing blockchain integrity.
MEV-driven Spam Fundamentally Limits Blockchain Scaling, Requiring New Auction Designs

This research identifies MEV-driven spam as the primary scaling bottleneck, proposing programmable privacy and explicit auctions to unlock efficient blockspace.
Sublinear ZKP Provers Unlock Ubiquitous Verifiable Computation

This breakthrough reconfigures ZKP generation as tree evaluation, enabling proofs on resource-limited devices and expanding verifiable computation's reach.
MEV Necessitates New Blockchain Transaction Fee Mechanism Designs

This research fundamentally redefines transaction fee mechanism design by integrating active block producer behavior and proposing a novel sybil-proof auction for enhanced welfare.
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.
Protocol-Native MEV Brokering with Ethereum Execution Tickets

This research introduces Execution Tickets, a protocol-integrated mechanism to distribute Maximal Extractable Value, fostering a more equitable and robust blockchain economy.
Bayesian Mechanism Design Secures Miner Revenue with Truthful Fees

This research introduces a novel transaction fee mechanism, overcoming a foundational impossibility theorem to ensure miner incentives and user truthfulness in blockchain networks.
Formalizing Maximal Extractable Value for Blockchain Security

This research establishes a formal theory for Maximal Extractable Value (MEV), providing a foundational framework to analyze and mitigate economic attacks on public blockchains.
Formalizing MEV: A Theoretical Framework for Blockchain Economic Security

This research establishes a foundational MEV theory, providing a rigorous framework to analyze and develop provably secure blockchain mechanisms.
Optimizing Zero-Knowledge Proofs for Scalability and Efficiency

This research introduces novel ZKP protocols that achieve linear prover time and distributed proof generation, fundamentally enhancing blockchain scalability and privacy.
Formalizing Maximal Extractable Value: A Foundational Blockchain Theory

This research establishes a rigorous theoretical framework for MEV, enabling formal security proofs against economic manipulation in blockchain protocols.
SAKA: A Novel MEV-Resistant Transaction Fee Mechanism

This research introduces the SAKA mechanism, a sybil-proof, incentive-compatible transaction fee design that mitigates MEV's negative impact on blockchain welfare.