feat(batch kernel): wire up `INPUT_NOTES_COMMITMENT` & note erasure - #2905

Open

mmagician wants to merge 48 commits into

nextfrom

mmagician-claude/batch-kernel-logic

Commits on Jun 3, 2026

feat: verify batch tx list, tx headers, and input-notes commitment
claude
committed
01f5f62
test: drive batch-kernel rejection tests through BatchExecutor advice injection
claude
committed
79967d6
style: use the '# =>' stack-comment convention in the batch kernel masm
claude
committed
feeb1cc
feat: compute the nullifier-sorted batch INPUT_NOTES_COMMITMENT
claude
committed
622bee3
feat: erase intra-batch created-and-consumed notes from the batch input notes
claude
committed
fc74536
fix: reject same-transaction create+consume via the erasure ordering gate
claude
committed
8746a94
test: assert concrete batch-kernel errors in the binding/erasure negatives
claude
committed
0e9e806
docs: describe final-state behavior in batch-kernel comments
claude
committed
a4f8bf5
feat: bound batch note/tx counts and codegen sentinel keys
claude
committed
6304eef

Commits on Jun 4, 2026

test: harden batch verifier/output tests from review
claude
committed
92502cf
docs: clarify batch verifier warning on self-reported BATCH_ID
claude
committed
f85ebac
refactor: address PR review comments
claude
committed
e295049
refactor: simplify tampered-advice test parametrization
claude
committed
d62e9e7
docs: address MASM review comments on memory/prologue
claude
committed
623d1cf
refactor: split batch kernel into prologue / note-tracking / epilogue
claude
committed
174ed7e
perf: fold per-input epilogue assertions into the commitment pass
claude
committed
c1496dd
refactor: derive batch note-list keys from a domain message
claude
committed
4ee8a17

Commits on Jun 12, 2026

Commits on Jun 30, 2026

Merge remote-tracking branch 'origin/next' into mmagician-claude/batch-kernel-logic
claude
committed
273fdf0

Commits on Jul 1, 2026

feat(batch): surface unsupported batches early in BatchExecutor
claude
committed
941d204

Commits on Jul 2, 2026

Merge remote-tracking branch 'origin/next' into mmagician-claude/batch-kernel-logic
claude
committed
a259c82

Commits on Aug 10, 2026

Merge remote-tracking branch 'origin/next' into mmagician-claude/batch-kernel-logic
claude
committed
dc7558f

Commits on Aug 17, 2026

chore: address review comments (#3615)
zeapoz
authored
d7973e8

Commits on Aug 18, 2026

Update crates/miden-protocol/asm/kernels/batch/lib/epilogue.masm

mmagician
and
zeapoz
authored
43ffbc1
pull out shared errors into errors.masm
claude
committed
0914d80
style(batch-kernel): format constants to match repo conventions
claude
committed
f94484c
style(batch-kernel): wrap comment lines exceeding 100 columns
claude
committed
150bc93
Merge branch 'next' into mmagician-claude/batch-kernel-logic
mmagician
authored
b9194f6
docs: fix batch kernel changelog entry
claude
committed
ff1f7ec
feat(batch): reject kernel outputs that do not match the proposed batch
claude
committed
23eba90

Commits on Aug 20, 2026

style(batch-kernel): address MASM formatting and style review nits
claude
committed
0355fc3

Commits on Aug 21, 2026