DAG Consensus Model Secures Blockchain against MEV-driven Selfish Mining
Introducing the first tractable model for selfish mining on a DAG, this protocol raises the security threshold, enabling robust, practical high-MEV consensus.
Set Byzantine Consensus Decouples Sequencing and Data Availability for L2 Rollups
Set Byzantine Consensus (SBC) enables a Decentralized Arranger to jointly manage L2 transaction inclusion and data availability, eliminating centralized sequencers.
Application-Layer Mechanism Design Achieves Provable MEV Resilience for DeFi
Foundational impossibility results mandate shifting MEV mitigation from consensus to application-layer smart contracts, achieving provable strategy proofness.
Libra Achieves Optimal Linear Prover Time for Succinct Zero-Knowledge Proofs
Libra is the first ZKP to achieve optimal linear prover time $O(C)$ and logarithmic succinctness, fundamentally enabling verifiable computation at scale.
Mutual-Assured-Destruction DAG Secures Consensus against MEV-Driven Selfish Mining
MAD-DAG introduces a new incentive-aligned DAG structure, raising the selfish mining profitability threshold from zero to over 11%.
MicroNova Enables Efficient On-Chain Recursive Proof Verification
MicroNova introduces a folding-based recursive argument that achieves step-independent proof size, dramatically lowering the gas cost for verifiable computation on resource-constrained blockchains.
Eliminating Threshold Cryptography Latency in Byzantine Fault Tolerant Consensus
Foundational research eliminates the inherent one-message latency price of threshold cryptography in BFT systems, enabling faster, provably secure on-chain randomness.
Zinc’s Integer Arithmetic Argument Bypasses Massive SNARK Arithmetization Overheads
Zinc introduces a hash-based succinct argument for native integer arithmetic, eliminating orders-of-magnitude arithmetization overheads for practical ZK computation.
On-Chain Randomness Enables Fair Transaction Inclusion without Miner Manipulation
Introducing rTFM, a mechanism using on-chain randomness to decouple miner incentives from fair transaction inclusion, unlocking equitable blockspace access.
