Skip to content

Commit aee9d4b

Browse files
committed
fix(fast-inbox): regen scenarios respect the per-block message cap (A-1435)
makeCheckpoint concentrates every scenario message into the first block, whose bundle pads to MAX_L1_TO_L2_MSGS_PER_BLOCK (256), so seeding scenarios with the per-checkpoint cap (1024) threw on regeneration. Also distribute messages across both blocks of the rollup-block-root scenario so the committed non-first block-root sample carries a non-empty bundle.
1 parent 75e60a1 commit aee9d4b

1 file changed

Lines changed: 4 additions & 1 deletion

File tree

yarn-project/prover-client/src/test/regenerate_rollup_sample_inputs.test.ts

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -91,11 +91,14 @@ describeOrSkip('prover/regenerate-rollup-sample-inputs', () => {
9191
'rollup-checkpoint-root',
9292
],
9393
},
94+
// Messages split across both blocks so the non-first block-root sample carries a non-empty
95+
// bundle, exercising the per-block sponge continuity asserts in the circuit.
9496
{
9597
numCheckpoints: 1,
9698
numBlocksPerCheckpoint: 2,
9799
numTxsPerBlock: 2,
98-
numL1ToL2Messages: withMessages,
100+
numL1ToL2Messages: 0, // Overridden by l1ToL2MessagesPerBlock.
101+
l1ToL2MessagesPerBlock: [times(2, i => new Fr(0xb00 + i)), times(3, i => new Fr(0xc00 + i))],
99102
dump: ['rollup-block-root'],
100103
},
101104
// Three txs in a block force a tx-merge to pair the base proofs down to the two the block root

0 commit comments

Comments
 (0)