pub fn batch_checksum(covered: &[u8]) -> u64
The chain checksum of a batch: its covered bytes, salt excluded, so the chain continues across segments.