MerklePath is the path used to verify commitment proofs, which can be an arbitrary structured object (defined by a commitment type).

MerklePrefix is merkle path prefixed to the key.

MerkleProof is a wrapper type over a chain of CommitmentProofs.

MerkleRoot defines a merkle root hash.