Batch Processing AMM Achieves Arbitrage Resilience and Strategy Proofness
This new batch-clearing AMM mechanism formally eliminates miner extractable value by settling all trades at a single price, ensuring strategy-proof execution.
First-Price Auction with Equal Sharing Secures Leaderless Blockchain Fee Mechanisms
A new mechanism, FPA-EQ, achieves strongly incentive-compatible transaction fee allocation for multi-proposer consensus, securing 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.
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.
Revelation Mechanisms Enforce Strategy-Proof Consensus in Proof-of-Stake
A novel mechanism design uses staked assets to cryptoeconomically guarantee validator honesty, solving the foundational problem of fork coordination and untruthful block proposals.
Mechanism Design Achieves Strategy-Proof AMMs Eliminating MEV at the Application Layer
A new batch-processing AMM mechanism uses a constant potential function to ensure arbitrage resilience and strategy-proofness, fundamentally mitigating MEV.
Application-Layer Mechanism Design Achieves Strategy-Proof Automated Market Makers
A new AMM design uses a constant potential function to batch transactions, proving arbitrage resilience and strategy proofness against MEV.
Bayesian Transaction Fee Mechanism Achieves Optimal Miner Revenue and Strategy-Proofness
A new Bayesian Transaction Fee Mechanism leverages a soft second-price auction to achieve optimal miner revenue while preserving strategy-proofness.
AMM Mechanism Achieves Strategy Proofness through Constant Potential Function
Designing Automated Market Makers with a constant potential function provably eliminates miner arbitrage, fundamentally securing on-chain trading.