Detect an omitted Celestia share in a namespace response

A rollup scanning its namespace needs evidence that a peer returned every matching share. Membership of one share leaves the question of completeness open.

Verify the namespace range

In the example, all B leaves are adjacent because the namespaced Merkle tree orders leaves by namespace. An omitted B1 would leave a proof boundary whose namespace range overlaps B. Verify the namespace proof against the authenticated row root using the NMT verifier, including all supplied shares in order.

row leaves: A1, B1, B2, B3, C1
requested namespace B
incomplete response: B2, B3

Extend the check across rows

A valid proof for one row covers that row. Check all relevant row roots in the block's authenticated data availability header before declaring a complete namespace result for the height. This proves coverage for the chosen namespace and block, while rollup-level ordering and batch validity still need verification.

Sources