feat(fast-inbox): flip consensus to streaming inbox (A-1384) - #24789

Closed

spalladino wants to merge 43 commits into

spl/a-1383-validator-streamingfrom

spl/a-1384-flip-streaming-inbox

Commits on Jul 28, 2026

feat(fast-inbox): flip L1 propose to streaming inbox consumption (A-1384)

spalladino
and
claude
committed
feat(fast-inbox): drop bundle padding and per-block blob root in circuits (A-1384)

spalladino
and
claude
committed
feat(fast-inbox): per-block blob root and 256 msg/block constant in the node (A-1384)

spalladino
and
claude
committed
feat(fast-inbox): drop the L1-to-L2 tree leaf-count multiple check (A-1384)

spalladino
and
claude
committed
feat(fast-inbox): make streaming the only node consumption path (A-1384)

spalladino
and
claude
committed
feat(fast-inbox): drop bundle num_real_msgs and pad in the prover path (A-1384)

spalladino
and
claude
committed
feat(fast-inbox): drop archiver inHash cross-check and TXE message padding (A-1384)

spalladino
and
claude
committed
feat(fast-inbox): split checkpoint messages per block in the prover (A-1384)

spalladino
and
claude
committed
feat(fast-inbox): answer message-checkpoint queries from records, not index math (A-1384)

spalladino
and
claude
committed
fix(fast-inbox): thread per-block message sponges and wire the msgs-only block root in the prover (A-1384)
spalladino
committed
fix(fast-inbox): bb full-rollup test respects the per-block message cap (A-1384)
spalladino
committed
feat(fast-inbox): a non-empty message bundle satisfies the block min-work threshold (A-1384)
spalladino
committed
chore(fast-inbox): drop unused isFirstBlock param from buildHeaderAndBodyFromTxs (A-1384)
spalladino
committed
chore(fast-inbox): fix solhint import order for SafeCast in ProposeLib (A-1384)
spalladino
committed
fix(fast-inbox): typecheck fixes for the streaming flip (A-1384)
spalladino
committed
test(fast-inbox): carry bucketHint in archiver propose-calldata fixtures (A-1384)
spalladino
committed
chore(fast-inbox): format validator config after streaming flag removal (A-1384)
spalladino
committed
fix(fast-inbox): regen scenarios respect the per-block message cap (A-1384)
spalladino
committed
chore(fast-inbox): regenerate block-root sample inputs post-flip (A-1384)
spalladino
committed
test(fast-inbox): streaming inbox mocks for the validator and prover-node unit suites (A-1384)
spalladino
committed
fix(fast-inbox): split epoch-proof functions into EpochProofExtLib to stay deployable (A-1384)
spalladino
committed
test(fast-inbox): drop the legacy message-mismatch proposal test at the flip (A-1384)
spalladino
committed
fix(fast-inbox): drop unused isFirstBlock binding in blob-data fixtures (A-1384)
spalladino
committed
fix(fast-inbox): correct portal forge-test index expectations for the flip (A-1384)
spalladino
committed
fix(fast-inbox): expose getL1ToL2MessageIndex on the node so wait-for-message-seen works pre-consumption (A-1384)
spalladino
committed
fix(fast-inbox): validate compact L1-to-L2 message indices in the archiver (A-1384)
spalladino
committed
test(fast-inbox): rewrite l1_to_l2_inbox_drift for the streaming inbox (A-1384)
spalladino
committed
test(fast-inbox): compact-index the archiver-sync fixtures and assertions (A-1384)
spalladino
committed
test(fast-inbox): stub streaming inbox methods in sequencer and validator suites (A-1384)
spalladino
committed
test(fast-inbox): drop pre-flip L1-to-L2 message tests from the world-state synchronizer suite (A-1384)
spalladino
committed
fix(fast-inbox): source the checkpoint bucket hint from the streaming cursor (A-1384)
spalladino
committed
test(fast-inbox): back-port the l1 publisher integration test to streaming inbox (A-1384)
spalladino
committed
test(fast-inbox): gate L1->L2 message readiness on the PXE sync tip (A-1384)
spalladino
committed
fix(fast-inbox): reconstruct each block's own L1-to-L2 message root from the blob (A-1384)
spalladino
committed
fix(fast-inbox): register Inbox buckets in the prefilled mock archiver (A-1384)
spalladino
committed
chore(fast-inbox): drop inert isFirstBlock parameter from blob-data fixtures (A-1384)
spalladino
committed
feat(fast-inbox): check the epoch proof's end inbox rolling hash explicitly (A-1384)
spalladino
committed
perf(fast-inbox): pack the inbox consumption counts into the slot-number slot (A-1384)
spalladino
committed
test(fast-inbox): drop isOpen from the flipped inbox bucket fixtures (A-1384)
spalladino
committed
refactor(fast-inbox): source checkpoint consumed messages by leaf-count range (A-1384)
spalladino
committed
refactor(fast-inbox): make per-block message insertion the only path in the checkpoint builder (A-1384)
spalladino
committed
fix(fast-inbox): override the pipelined parent's consumed inbox total in propose simulation (A-1384)
spalladino
committed
test(fast-inbox): seed the inbox before the checkpoint's L1 block in propose harnesses (A-1384)
spalladino
committed