Imagine you're running a neighborhood watch program. You need at least one person actually looking out the window at any given time — but you're only paying people who file reports, not for the act of watching. So rational neighbors stop watching and just copy reports from the one person who does. Now one operator with ten walkie-talkies looks like ten watchers, but there's really only one pair of eyes. That's the core problem in optimistic rollups: you need independent execution, but the economics reward identity proliferation, not actual computation. The paper's committed claim: by modeling validation and attention as two coupled Tullock-like contests sharing a single execution cost, you can formally characterize the achievable execution diversity in equilibrium — and show that TRACE (MARBLE 2026) supports strictly higher diversity than Proof of Diligence (AFT 2024) because TRACE allows tuning the marginal cost of deploying an additional Sybil identity. This is a mechanism design result, not an empirical benchmark: the contribution is a new modeling framework plus equilibrium analysis, not a deployed system measurement. The architectural move is clean. The authors introduce "arguments with registered provers" — a cryptographic primitive where proof generation must be tied to a registered identity in a way that resists amortization across identities. The non-amortizability property is the key technical lever. If you can make it expensive to reuse a single execution across many registered provers, you break the Sybil economics. The paper claims this form of non-amortizability hasn't been formally studied for modern succinct proofs before, which is a genuine conceptual contribution to the cryptographic toolbox even if the game-theoretic framework is the headline. The Tullock contest formalization is where the real analytical power sits. A single operator pays once for STF execution, then allocates identities between two roles: validator (dispute if wrong) and attention participant (get paid for executing). The coupled contest structure means the equilibrium identity allocation depends on the relative rewards and costs in both contests simultaneously. The paper derives closed-form equilibrium characterizations showing that execution diversity — the number of distinct operators who independently execute — is a function of the marginal cost per extra attention identity. When that marginal cost is near zero, one operator floods the attention pool with Sybils and nobody else bothers to execute. The comparison between TRACE and Proof of Diligence is the paper's sharpest applied result. Proof of Diligence fixes the marginal identity cost at a level the mechanism designer cannot tune, which caps achievable diversity. TRACE exposes this as a parameter, so a rollup designer can dial up marginal costs to push equilibrium toward more independent executors. The authors apply the framework to Arbitrum One as a case study, grounding the theory in a live system with real parameters. Integrity-wise, this is a theory paper validated by mathematical proof, not simulation or experiment. The equilibrium analysis is self-contained — the results follow from the model assumptions. The honest limitation is that Tullock contests are a simplification: real rollup operators face switching costs, reputational dynamics, and MEV incentives that the model doesn't capture. The non-amortizability primitive is formalized but not instantiated with a concrete construction — the paper shows the property is needed and defines it, but building an efficient scheme satisfying it is left open. The paper fills a genuine gap in rollup mechanism design. Before this work, the conversation about validator incentives was largely informal or focused on single-mechanism analysis. Coupling validation and attention into a unified game-theoretic framework, with the Sybil cost as the tunable parameter, gives rollup designers a concrete knob to turn. Whether that knob survives contact with real operator behavior and MEV extraction is the open question.
