附加块的CRC32

Question

我正在以滚动的方式计算文件内容的CRC32。如果文件包含3个块ABC，则CRC32是线性计算的CRC(CRC(CRC(A, 0xffffffff), B), C)。这是通过如下代码完成的：

uint32_t crc32(unsigned char const *buf, uint32_t buf_size, uint32_t crc32) {
     for (int i = 0; i < buf_size; i++)
         crc32 = (crc32 >> 8) ^ table[(crc32 ^ buf[i]) & 0xff];
     return crc32;
 }

即使我同时编写了整个内容ABC，计算上面的CRC (在服务器上验证)，读取通常是在一个特定的块上完成的。因此，我想跟踪每个单独的块的CRC32，因为它是写的。

基于我对CRC32多项式工作原理的有限理解，

A mod G  = CRC1
AB mod G = CRC2

如果我想要B的CRC32，我认为以下几点应该可以做到：

(CRC2 - CRC1) mod G  
or
(CRC2 ^ CRC1) mod G 

当然，下面的代码不起作用。

uint32_t
crc32sw_diff(uint32_t crc1, uint32_t crc2)
 {
     uint32_t delta = crc1 ^ crc2;
     return crc32(&delta, 4, 0xffffffff);
 }

其他选项可能是计算单个块的CRC32，并将其与类似于联合()的内容组合起来，以获得整个文件的CRC32。

Answer 1

有关CRC组合的工作方式，请参见这个答案。CRC(A) ^ CRC(B)不等于CRC(AB)。但是(对于纯CRCs)使用的符号是AB是A的级联消息，然后是B，而0意味着等长消息将全部为零，那么CRC(A0) ^ CRC(0B)等于CRC(AB)。

这也意味着CRC(A0) ^ CRC(AB) == CRC(0B)。因为CRC(0B) == CRC(B) (输入零不会改变纯CRC)，所以您可以使用来自zlib的crc32_combine()找到它。

因此，crc32_combine(crca, crcab, lenb)将返回crcb。