pub fn verify_proof( root: Option<&Hash>, leaf: &Hash, proof: Option<&Proof>, ) -> bool
Verify a MerkleProof with the given root and leaf.
NOTE: We use Monotree::<MemoryDb> to hash_digest() but it doesn’t matter.
Monotree::<MemoryDb>
hash_digest()