feat(fast-inbox): circuits and L1 for the streaming inbox (part 1/3) - #25036

Open

spalladino wants to merge 11 commits into

merge-train/spartanfrom

spl/fast-inbox-1-circuits-l1

Commits on Jul 29, 2026

feat(fast-inbox): message-bundle components in rollup-lib (A-1372)
spalladino
committed
feat(fast-inbox): introduce inboxRollingHash end to end, dual with inHash (A-1373)
spalladino
committed
feat(fast-inbox): per-block L1-to-L2 message bundles, move parity to checkpoint root (A-1374)
spalladino
committed
feat(fast-inbox): add block_root_msgs_only_rollup circuit for no-tx blocks with messages (A-1375)
spalladino
committed
feat(fast-inbox): single variable-size InboxParity proof per checkpoint (A-1427)
spalladino
committed
feat(fast-inbox): same-block L1-to-L2 message consumption for non-first blocks (A-1432)
spalladino
committed
feat(fast-inbox): rolling-hash buckets in the Inbox alongside frontier trees (A-1377)
spalladino
committed
feat(fast-inbox): streaming inbox propose validation, unwired (A-1378)
spalladino
committed
chore(fast-inbox): drop always-empty start_sponge from inbox parity inputs (A-1538)
spalladino
committed

Commits on Jul 30, 2026