CompactProof compacts a proof, to reduce its size.

DecompactProof decompacts a proof, so that it can be used for VerifyProof.

NewDeepSparseMerkleSubTree creates a new deep Sparse Merkle subtree on an empty DB.

NewSparseMerkleTree creates or restores a Sparse Merkle tree with a DB.

VerifyCompactProof verifies a compacted Merkle proof.

VerifyProof verifies a Merkle proof.

DeepSparseMerkleSubTree is a deep Sparse Merkle subtree for working on only a few leafs.

SparseMerkleTree is a Sparse Merkle tree.