Skip to content

fix(pxe): bounds-check PropertySelector in pick_notes#22614

Merged
nchamo merged 1 commit intomerge-train/fairiesfrom
fix/pick-notes-bounds-check
Apr 17, 2026
Merged

fix(pxe): bounds-check PropertySelector in pick_notes#22614
nchamo merged 1 commit intomerge-train/fairiesfrom
fix/pick-notes-bounds-check

Conversation

@nchamo
Copy link
Copy Markdown
Contributor

@nchamo nchamo commented Apr 16, 2026

Summary

  • Validate PropertySelector bounds in selectPropertyFromPackedNoteContent: throw on out-of-range selector.index and on selector.offset + selector.length > Fr.SIZE_IN_BYTES.
  • Without the offset+length check, Buffer.subarray silently clamps out-of-range ranges, so the padded buffer passed to Fr.fromBuffer can encode a truncated value and produce incorrect note selection or sort order with no error.

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

@nchamo nchamo self-assigned this Apr 16, 2026
@nchamo nchamo requested a review from Thunkar April 16, 2026 18:43
@nchamo nchamo merged commit 05fbd39 into merge-train/fairies Apr 17, 2026
12 checks passed
@nchamo nchamo deleted the fix/pick-notes-bounds-check branch April 17, 2026 10:51
@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