Skip to content

fix(prover-node): resubmit full-epoch proofs over non-full registrations - #395

Closed
Rumata888 wants to merge 1 commit into
mainfrom
is/full-epoch-proof-resubmission
Closed

Rumata888 wants to merge 1 commit into
mainfrom
is/full-epoch-proof-resubmission

Conversation

@Rumata888

Copy link
Copy Markdown
Contributor

Node side of AztecProtocol/aztec-packages#25582. Fixes https://github.com/AztecProtocol/aztec-claude/issues/2487

After #25582, the rollup accepts a full-epoch proof that replaces a non-full registration of the same (epoch, length, proverId). That second submission is how a prover gets its activity-score increase when a proof under its id landed while the epoch was still open (its own partial proof, or a third party using its prover id).

ProverNodePublisher.submitEpochProof skipped submission whenever getHasSubmitted was true, so it never sent the replacement and the session ended as already-submitted.

Changes:

  • RollupContract.getHasSubmittedFullEpochProof wraps the new getHasSubmittedFullEpoch view. The ABI is already in the pinned @aztec-foundation/l1-artifacts 6.0.0-rc.4.
  • For kind: 'full', the publisher skips only when L1 holds a full-epoch registration. For kind: 'partial', it keeps the getHasSubmitted check.
  • The publisher tests cover full and non-full registrations for full proofs, and a registration for a partial proof.

🤖 Generated with Claude Code

The rollup now lets a full-epoch proof replace a non-full registration of the
same (epoch, length, proverId), so the prover still gets its activity-score
increase when a proof under its id was submitted while the epoch was open.
The publisher skipped any submission once getHasSubmitted was true, so it
never sent that replacement. Full proofs now skip only when
getHasSubmittedFullEpoch is true; partial proofs keep the old check.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@Rumata888

Copy link
Copy Markdown
Contributor Author

Closed: opened without approval.

@Rumata888 Rumata888 closed this Oct 5, 2026
@Rumata888
Rumata888 deleted the is/full-epoch-proof-resubmission branch October 5, 2026 18:36
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.

1 participant