zlib 与 gzip 封装记录未压缩数据的校验值。解压时重新计算并比较，帮助发现损坏。Adler 与 CRC 用很小的状态累积这些信息，也能跨缓冲区继续。
在全局图中定位 ↗前 2 章先展开算法、数据布局与优化，最后一章连接证明思路。可以按顺序读，也可以从已经熟悉的阶段进入。
ZLIB × LEAN / 算法精读与验证
校验和与组合
在分批处理时核对数据，并保留支持序列合并的信息。
在分批处理时核对数据，并保留支持序列合并的信息。
zlib 与 gzip 封装记录未压缩数据的校验值。解压时重新计算并比较，帮助发现损坏。Adler 与 CRC 用很小的状态累积这些信息，也能跨缓冲区继续。
在全局图中定位 ↗前 2 章先展开算法、数据布局与优化，最后一章连接证明思路。可以按顺序读，也可以从已经熟悉的阶段进入。