One Node, Two Roles: Simultaneous Contests for Validation and Attention in Rollups
This study addresses the insufficient execution diversity in optimistic rollups caused by verification and attention mechanisms, proposing a novel analytical framework that models both as coupled contests. Methodologically, it introduces the Tullock contest model alongside succinct cryptographic proofs, defines an unamortizability primitive for registered provers, and provides the first quantification of game-theoretic equilibrium bounds for execution diversity. The analysis demonstrates that the TRACE mechanism outperforms Proof of Diligence (PoD) and can effectively enhance diversity through cost modulation. These theoretical findings are further substantiated by empirical validation on the Arbitrum One network.