# Functions
Tree returns a the root of the merkle-tree of the given values.
TreeWithProofs returns a the root of the merkle-tree of the given values, along with merkle-proofs for each leaf.
VerifyProof verifies that the given value maps to the given index in the merkle-tree with the given root.
# Type aliases
Digest is a 32-byte hash digest.