Formalizing Blockchain Incentive Compatibility through New Economic Primitives
The research defines MMIC and OCA-proofness, new game-theoretic primitives that formally analyze and secure transaction fee mechanisms against collusion.
Impossibility Proof for Collusion-Resistant, Truthful, and Revenue-Maximizing Mechanisms
Foundational mechanism design proves no deterministic transaction fee auction can simultaneously ensure user truthfulness, miner revenue, and collusion resistance.
