Dynamic MEV Rate Stabilizes Extractor and User Incentives
A novel EIP-1559-style mechanism dynamically regulates Maximal Extractable Value, balancing block producer compensation with overall network welfare.
Formal AMM Mechanism Achieves Strategy-Proofness and Eliminates Miner Arbitrage Profit
A new AMM design uses a constant potential function to process batched transactions, formally eliminating miner arbitrage and ensuring application-layer strategy-proofness.
Sealed-Bid Auction Formalizes Credible Neutrality, Preventing Proposer-Builder Collusion
The Sealed-Bid Commit-Reveal Auction cryptographically decouples proposer selection from payload content, establishing a new fairness primitive for decentralized transaction ordering.
Mechanism Design Eliminates AMM MEV Opportunities
A novel batch-processing AMM mechanism achieves arbitrage resilience for block producers and guarantees incentive compatibility in fair-sequencing models.
Dual-Auction Mechanism Decouples ZK-Rollup Proving from Centralization Risk
A two-sided auction mechanism called Prooφ formally decentralizes ZK-Rollup proving, ensuring efficiency and resistance to prover collusion.
Based Sequencing Decouples Rollup Liveness from Centralized Sequencers
Based Sequencing cryptographically leverages Layer 1 validators for rollup transaction ordering, resolving L2 centralization risk and ensuring robust liveness.
Zero-Knowledge Commitment Secures Private Mechanism Design and Verifiable Incentives
Cryptographic proofs enable a party to commit to a hidden mechanism while verifiably guaranteeing its incentive properties, eliminating trusted mediators.
Novel Auxiliary Mechanism Design Achieves Truthfulness, Collusion-Proofness, and Non-Zero Miner Revenue
By shifting from dominant to Bayesian incentive compatibility, this new auxiliary mechanism method breaks the zero-revenue barrier for secure transaction fee design.
Decentralized Arranger Unifies Sequencing and Data Availability via Set Consensus
A new decentralized arranger primitive leverages Set Byzantine Consensus to unify L2 sequencing and data availability, eliminating centralized trust bottlenecks.
