pub fn verify_ranged(reader: &dyn RangeReader) -> Result<bool, FileError>Expand description
verify over a RangeReader, streaming:
the hashed sections are read in bounded slices and folded into one BLAKE3
state, so peak memory is one slice, not the file. The same sections, in
the same order, as hash_of_sections; on a 49 GB file the in-memory form
needs 49 GB.