Skip to content

refactor(pxe): rename sideEffectCounter to initialSideEffectCounter#22599

Merged
nchamo merged 1 commit intomerge-train/fairiesfrom
fix/stale-side-effect-counter
Apr 17, 2026
Merged

refactor(pxe): rename sideEffectCounter to initialSideEffectCounter#22599
nchamo merged 1 commit intomerge-train/fairiesfrom
fix/stale-side-effect-counter

Conversation

@nchamo
Copy link
Copy Markdown
Contributor

@nchamo nchamo commented Apr 16, 2026

Summary

  • An AI audit flagged that the parent oracle's sideEffectCounter becomes stale after nested private function calls, since the child's counter consumption is never reflected back. In practice this is harmless because the field is only read once at initialization to build PrivateContextInputs, and the Noir VM owns the actual counter throughout execution.
  • Renamed to initialSideEffectCounter and made it private readonly, making it clear that it's just the initial counter and preventing future misuse.

Fixes https://github.com/AztecProtocol/aztec-claude/issues/330

@nchamo nchamo self-assigned this Apr 16, 2026
@nchamo nchamo requested a review from Thunkar April 16, 2026 13:46
@nchamo nchamo merged commit 4b6f5e1 into merge-train/fairies Apr 17, 2026
14 checks passed
@nchamo nchamo deleted the fix/stale-side-effect-counter branch April 17, 2026 10:52
@AztecBot
Copy link
Copy Markdown
Collaborator

✅ Successfully backported to backport-to-v4-next-staging #22580.

github-merge-queue bot pushed a commit that referenced this pull request Apr 17, 2026
BEGIN_COMMIT_OVERRIDE
fix(pxe): stop block synchronizer on PXE shutdown (#22604)
fix(aztec): respect TEST_ACCOUNTS env var in local network mode (#22600)
fix: check all aztec-nr dependency tags, not just aztec (#22483)
fix: reuse anchor block in kernel oracle (#22631)
refactor: unify contract compilation pipeline via bb aztec_process
(#22590)
fix(pxe): queue registerSender wipe to avoid racing with in-flight jobs
(#22623)
fix(pxe): bounds-check PropertySelector in pick_notes (#22614)
fix(pxe): guard private event store rollback against in-flight jobs
(#22615)
refactor(pxe): rename sideEffectCounter to initialSideEffectCounter
(#22599)
fix(pxe): correct stale authwitness comment and inverted tagging error
(#22537)
fix(aztec-nr): range-check auth witness fields before byte cast (#22624)
fix(pxe): serialize block stream event handling to prevent race
conditions (#22635)
fix(pxe): throw error on origin/contract address mismatch in simulation
(#22637)
END_COMMIT_OVERRIDE
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants