pub fn verify_reads(
        self,
        hasher: &dyn HashTree,
        tree_depth: u8,
        prev_output: BatchOutput,
        read_keys: &[H256],
    ) -> anyhow::Result<MerkleTreeView> {
        self.verify(hasher, tree_depth, Some(prev_output), &[], read_keys)
    }
Shortcut for verifying a proof that should only contain read operations.
core/lib/zk_os_merkle_tree/src/hasher/proofs.rs