c - 消息的 Adler32 + adler 总和是否为零(如 CRC32)

Question

CRC-32 有一个奇妙的特性，即在消息末尾附加一个 CRC 允许您通过计算整个事物的 CRC 来执行消息验证，如果校验和通过，则最终结果将为零。

这个属性应该适用于 CRC-32 的兄弟 Adler32 吗？

简短的回答似乎是“否”，但我只是想确保我没有遗漏任何东西。

使用此处的示例消息，http://en.wikipedia.org/wiki/Adler-32 ，我用zlib实现写了下面的测试程序

#include <zlib.h>
#include <stdio.h>
#include <string.h>

void print_sum( const char * str )
{
   uLong asum = 0;
   asum = adler32( 0, Z_NULL, 0 );
   asum = adler32( asum, str, strlen(str) );
   printf( "%x\n", asum);
}

int main (int argc, char** argv)
{
   const char * msg1 = "Wikipedia";
   const char * msg2 = "Wikipedia\x98\x03\xe6\x11";
   const char * msg3 = "Wikipedia\x11\xe6\x03\x98";

   print_sum( msg1 );
   print_sum( msg2 );
   print_sum( msg3 );
}

结果如下:

11e60398
248c052a
23da052a

Answer 1

如您所见，答案是否定的。检查值不需要该属性。事实上，大多数 CRC 校验实现并没有在最后运行 CRC。他们只是检查计算出的 CRC 是否等于存储的 CRC。