Tools for creating Merkle trees, generating merkle proofs, and verification
of merkle proofs.