Formalizing Proof of Stake Security against Rational Byzantine Adversaries
CoBRA introduces a strategyproof protocol transforming PoS to resist rational actors, overcoming impossibility results in hybrid Byzantine models.
Zero-Knowledge Mechanisms Achieve Private Verifiable Commitment
This breakthrough uses zero-knowledge proofs to allow a mechanism designer to commit to and execute a set of rules secretly, ensuring verifiability without requiring a trusted third party.
Application-Layer Mechanism Design Achieves Provable MEV Resilience for DeFi
Foundational impossibility results mandate shifting MEV mitigation from consensus to application-layer smart contracts, achieving provable strategy proofness.
Mutual-Assured-Destruction DAG Secures Consensus against MEV-Driven Selfish Mining
MAD-DAG introduces a new incentive-aligned DAG structure, raising the selfish mining profitability threshold from zero to over 11%.
On-Chain Randomness Enables Fair Transaction Inclusion without Miner Manipulation
Introducing rTFM, a mechanism using on-chain randomness to decouple miner incentives from fair transaction inclusion, unlocking equitable blockspace access.
Zero-Knowledge Mechanisms Enable Private Verifiable Commitment
A cryptographic framework uses zero-knowledge proofs to commit to and execute mechanism rules privately, fundamentally solving the disclosure-commitment trade-off in game theory.
Application-Layer Mechanism Design Achieves Provable MEV Elimination and Strategy Proofness
A novel AMM mechanism batch-processes transactions using a constant potential function, shifting MEV mitigation from consensus to application logic for provable incentive compatibility.
Mechanism Design Solves Sybil-Resistance and Utilitarian Efficiency Trade-Off
A novel deposit-and-transfer mechanism leverages Bayesian game theory to achieve Sybil-proof, utilitarian governance without external identity systems.
Mechanism Design Secures Leaderless Blockchain Protocols with Shared Fee Incentives
Proposes FPA-EQ, the first TFM for multi-proposer systems, achieving Strongly BPIC to align block producer incentives and maximize welfare.
