merkletree_rs
pub fn verify_proof( root: [u8; 32], mp: Vec<u8>, hi: [u8; 32], ht: [u8; 32], num_levels: u32) -> bool