Module proof
merkletree
Merkle tree inclusion proof.
Merkle tree inclusion proof for data element, for which item = Leaf(Hash(Data Item)).