One Node, Two Roles: Simultaneous Contests for Validation and Attention in Rollups
Coupled contest analysis finds TRACE can raise optimistic-rollup execution diversity more than Proof of Diligence.
The paper models optimistic-rollup validation and attention rewards as two coupled Tullock-like contests and formalizes arguments with registered provers, including a non-amortizability property for succinct proofs. An operator pays once to execute the state transition and then chooses how many identities to place in validation and attention roles. Comparing TRACE and Proof of Diligence, the authors show TRACE can adjust the marginal cost of an extra attention identity to support higher execution diversity. They apply the equilibrium analysis to Arbitrum One.
- Models validation and attention rewards as coupled Tullock-like contests.
- Introduces arguments with registered provers and a non-amortizability property.
- TRACE can tune marginal identity cost to raise execution diversity.
- Proof of Diligence cannot adjust that marginal cost the same way.
- Case study applies the equilibrium analysis to Arbitrum One.
From the original article
1 min read at arxiv.orgAn optimistic rollup is safe as long as at least one honest validator executes its state transition function (STF) and disputes any assertion that is inconsistent with the result of the execution. Allowing anyone to participate, however, does not give incentive to do so: as long as every assertion is correct, verifying assertion correctness goes unpaid.
By Pranay Anchuri · arxiv.org
A short excerpt; the article and its images belong to the publisher. Summary, key facts and assessment above are AI-written from the article and can be wrong.