feat(fast-inbox): single variable-size InboxParity proof per checkpoint (A-1427) - #24759

Closed

spalladino wants to merge 10 commits into

spl/a-1375-msgs-only-blockfrom

spl/a-1427-inbox-parity

Commits on Jul 28, 2026

feat: single variable-size InboxParity proof per checkpoint (A-1427)
spalladino
committed
fix: drop unused NESTED_RECURSIVE_PROOF_LENGTH imports orphaned by the parity method merge
spalladino
committed
fix: map L1ToL2MessageBundle messages to a fixed-length Noir array
spalladino
committed
fix: use top-level import type in checkpoint-proving-state
spalladino
committed
fix: feed a valid sha-truncated inHash in bb_prover_parity test
spalladino
committed
chore(fast-inbox): regenerate checkpoint-root sample inputs for inbox_parity (A-1427)
spalladino
committed
chore(fast-inbox): regenerate block-root sample inputs for the message_bundle input shape (A-1427)
spalladino
committed
refactor(fast-inbox): name the checkpoint sub-tree proof bundle for what it holds (A-1427)
spalladino
committed
test(fast-inbox): follow the InboxParity request type through the broker and restart tests (A-1427)
spalladino
committed
fix(fast-inbox): annotate the rerun checkpoint job return type (A-1427)
spalladino
committed