Method verify_proof

header-chain/src/mmr_guest.rs:36–51

Verifies an inclusion proof against the current MMR root

(&self, leaf: [u8; 32], mmr_proof: &MMRInclusionProof)

    /// Verifies an inclusion proof against the current MMR root
    pub fn verify_proof(&self, leaf: [u8; 32], mmr_proof: &MMRInclusionProof) -> bool {
        println!("GUEST: mmr_proof: {:?}", mmr_proof);
        println!("GUEST: leaf: {:?}", leaf);
        let mut current_hash = leaf;
        for i in 0..mmr_proof.inclusion_proof.len() {
            let sibling = mmr_proof.inclusion_proof[i];
            if mmr_proof.internal_idx & (1 << i) == 0 {
                current_hash = hash_pair(current_hash, sibling);
            } else {
                current_hash = hash_pair(sibling, current_hash);
            }
        }
        println!("GUEST: calculated subroot: {:?}", current_hash);
        println!("GUEST: subroots: {:?}", self.subroots);
        self.subroots.get(mmr_proof.subroot_idx) == Some(&current_hash)
    }
}