Function validate_peg_in_proof 

fn validate_peg_in_proof(proof: &PegInProof) -> Result<(), Error>