Proof that an entry for the user's data is contained in the index of the aggregator's deal. i.e. a proof that the data segment index constructed from the root of the user's data segment subtree is contained in the index of the deal tree.
Proof of inclusion of the client's data segment in the data aggregator's Merkle tree (includes position information). i.e. a proof that the root node of the subtree containing all the nodes (leafs) of a data segment is contained in CommDA.
Generated using TypeDoc
See
https://github.com/filecoin-project/go-data-segment/blob/e3257b64fa2c84e0df95df35de409cfed7a38438/datasegment/inclusion.go#L30-L39