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.
