Revelation Mechanisms Enforce Truthful Staking Equilibrium for Consensus Security
Mechanism design introduces revelation games to Proof-of-Stake, ensuring validator honesty as the unique subgame perfect equilibrium for robust consensus.
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.
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.
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.
Deterministic Fee Mechanisms Cannot Be Collusion-Resistant and Incentive-Compatible
No deterministic transaction fee mechanism can be simultaneously user-incentive compatible, miner-incentive compatible, and collusion-resistant without being trivial.
Active Block Producers Preclude Incentive-Compatible Transaction Fee Mechanisms
An impossibility proof shows no single TFM can align incentives for both users and active MEV-extracting block producers, mandating external design augmentation.
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.
Multi-Party Computation Circumvents Impossibility in Decentralized Mechanism Design for Fair Fees
Cryptographic Multi-Party Computation enables collusion-resistant transaction fee mechanisms, transforming a game-theoretic impossibility into a secure computation problem.
Boundless Mainnet Launches, Pioneering Verifiable Compute for Internet-Scale Blockchains
Boundless activates its mainnet, introducing Proof of Verifiable Work to redefine blockchain scalability by incentivizing verifiable computation, fostering a new primitive for cross-chain application development.
