Skip to content

chore: Update activity score to only track full epoch proofs - #25370

Open
Rumata888 wants to merge 2 commits into
nextfrom
is/updating_cheating_problem
Open

chore: Update activity score to only track full epoch proofs#25370
Rumata888 wants to merge 2 commits into
nextfrom
is/updating_cheating_problem

Conversation

@Rumata888

@Rumata888 Rumata888 commented Aug 31, 2026

Copy link
Copy Markdown
Contributor

Start updating provers' activity scores only when submitted proofs cover the whole epoch. Previously provers could cheat by only submitting the first checkpoint, which was cheaper.
Also changes the requirement for aztecProofSubmissionEpochs to be at least 1

@Rumata888 Rumata888 self-assigned this Aug 31, 2026
@Rumata888
Rumata888 requested a review from just-mitch as a code owner August 31, 2026 21:15
@Rumata888
Rumata888 requested a review from spalladino September 1, 2026 10:53

@spalladino spalladino left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good! I pushed #25386 that includes some gas savings. Can you review and merge onto yours if it makes sense?

@spalladino

spalladino commented Sep 1, 2026

Copy link
Copy Markdown
Contributor

Also, let's wait until we have an approved AZIP before merging this one (cc @aminsammara)

@Rumata888
Rumata888 force-pushed the is/updating_cheating_problem branch from c02ce3d to 6cc5d30 Compare September 3, 2026 16:49
## Summary

- reuse the current epoch already computed during proof acceptance
- cache the packed chain tips for full-proof detection and proven-tip
advancement
- read the known-existing next checkpoint slot directly instead of
repeating checkpoint-number validation
- update the gas benchmark results; this saves 1,053 gas per proof
submission versus the parent PR implementation, leaving roughly 3,729
gas of net overhead versus the pre-PR baseline

## Tests

- `forge fmt --check`
- `forge test --offline --match-contract MultiProofTest`
- `forge test --offline --match-contract HandleRewardsTest`
- `python3 scripts/gas_benchmarks.py`
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants