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.
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.
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.
Strategy-Proof Mechanism Design Eliminates Automated Market Maker MEV
This research introduces a batch-processing AMM mechanism that maintains a constant potential function, provably eliminating miner arbitrage and enforcing strategy-proof trading.
Batch-Processing AMM Design Eliminates MEV and Guarantees Arbitrage Resilience
A novel AMM mechanism processes all block transactions in a single batch, mathematically eliminating block producer arbitrage and mitigating MEV extraction.
Batch-Processing Mechanism Design Eliminates AMM Arbitrage and MEV Opportunities
This application-layer mechanism achieves arbitrage resilience by batching all transactions, fundamentally removing miner extractable value from AMMs.
Application-Layer Mechanism Design Achieves Strategy Proofness for Automated Market Makers
Researchers devised a new AMM mechanism that uses a constant potential function to eliminate MEV, achieving provable strategy proofness at the application layer.
