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.
