校验和算法 Adler-32

一 简介

Adler-32是校验和 算法，由Mark Adler于1995年发明，是对Fletcher校验和算法的修改。相比较相同长度的循环冗余校验，它以可靠性换取速度。

二 算法

通过计算两个16位校验和A和B并将它们的位连接成32位整数来获得Adler-32校验和。A是流中所有字节加上1 的总和，B是每个步骤中A的各个值的总和。
在Adler-32运行开始时，A初始化为1，B初始化为0.总和以模数65521（小于216的最大素数）完成。字节以网络顺序（大端）存储，B占用两个最重要的字节。

三 举例

计算字符串Wikipedia。

A =  920 =  0x398  (base 16)
B = 4582 = 0x11E6
Output = 0x11E6 << 16 + 0x398 = 0x11E60398

四 实现

C语言实现

const uint32_t MOD_ADLER = 65521;
uint32_t adler32(unsigned char *data, size_t len) 
/* 
    where data is the location of the data in physical memory and 
    len is the length of the data in bytes 
*/
{
    uint32_t a = 1, b = 0;
    size_t index;
    
    // Process each byte of the data in order
    for (index = 0; index < len; ++index)
    {
        a = (a + data[index]) % MOD_ADLER;
        b = (b + a) % MOD_ADLER;
    }
    
    return (b << 16) | a;
}

五 优缺点

它在许多平台上比CRC-32更快。
与标准CRC-32一样，Adler-32校验和可以很容易地伪造，因此对于防止故意修改是不安全的。
Adler-32对于具有几百个字节的短消息校验较弱，因为这些消息的校验和对32个可用位的覆盖率较差。
Adler-32对于小的增量变化和公共前缀或者连续数字生成的字符串的校验也较弱。

六 参考

Adler-32 wiki