verify_proof
