Revelation Mechanisms Enforce Truthful Consensus Equilibrium in Proof-of-Stake
A novel revelation mechanism uses game theory to guarantee truthful block proposals in Proof-of-Stake, simplifying consensus and boosting scalability.
Dynamic Mechanism Stabilizes MEV Sharing between Users and Block Producers
This dynamic mechanism, inspired by EIP-1559, enshrines a variable MEV extraction rate to formally balance user and validator incentives for system robustness.
Mechanism Design Secures Leaderless Protocol Block Producer Incentives
A new extensive-form game model and the FPA-EQ mechanism solve block producer incentive misalignment in leaderless consensus protocols.
Application-Layer Mechanism Design Eliminates AMM MEV for Provably Fair DeFi
A new batch-processing AMM mechanism achieves arbitrage resilience and incentive compatibility, fundamentally shifting MEV mitigation to the smart contract layer.
SAKA Mechanism Solves Incentive-Compatibility for Transaction Fee Design
The SAKA mechanism explicitly integrates MEV searchers into transaction fee design, circumventing impossibility results to ensure full incentive-compatibility.
Epochless Batched Threshold Encryption Secures Practical Private Transaction Ordering
BEAT-MEV introduces a novel, epochless Batched Threshold Encryption scheme, eliminating costly MPC setup to enable practical, front-running-resistant private mempools.
Transaction Encryption and Ordering Randomization Mitigate Extractable Value
A new mechanism design model integrates transaction encryption and execution randomization to eliminate block producer control, ensuring provably fair transaction ordering and system integrity.
Differential Privacy Guarantees Fair Transaction Ordering in Blockchains
Foundational research proves Differential Privacy mechanisms eliminate algorithmic bias, ensuring equal opportunity for all transactions in State Machine Replication.
Threshold Cryptography Secures Byzantine Consensus with Strong Order-Fairness
Themis introduces a threshold-encrypted commit-and-reveal scheme to enforce transaction order based on submission time, mitigating front-running with optimal linear complexity.
