验证 CRC32 校验和

Question

我能够成功生成与预期的 output 匹配的 CRC32。 但是，当我尝试将带有校验和 C（由 CRC32 函数生成）的消息 M 插入同一个 CRC32 生成器时，我无法获得预期的 output 0x00000000。

My CRC32 generator is basically just the code here ( https://lxp32.github.io/docs/a-simple-example-crc32-calculation/ ), with an additional function argument for the checksum, since the message and checksum in my箱子在收到时位于单独的 memory 位置。

uint32_t crc32(const char* s, size_t n, uint32_t checksum) {
    uint32_t crc = 0xFFFFFFFF;
    size_t i; size_t j;

    for (i = 0; i < n; i++) {
        char ch = s[i];
        uint32_t t = (ch ^ crc) & 0xFF;
        crc = (crc >> 8) ^ crc32_table[t];
    }

    if (i & 1) { // if i ended odd, write a 0x00 pad bit
        uint32_t t = (0x00 ^ crc) & 0xFF;
        crc = (crc >> 8) ^ crc32_table[t];
    }

    // include checksum bits if not 0
    if (checksum) {
        for (j = 0; j < 4; j++) {
            char ch = (checksum & 0xFF);
            uint32_t t = (ch ^ crc) & 0xFF;
            crc = (crc >> 8) ^ crc32_table[t];
            checksum >>= 8;
        }
    }
    else {
        // append 32-bits of 0's
        for (j = 0; j < 4; j++) {
            uint32_t t = (0x00 ^ crc) & 0xFF;
            crc = (crc >> 8) ^ crc32_table[t];
        }
    }
    return ~crc;
}

bool validate_crc32(const char* msg, size_t n, uint32_t checksum) {
    uint32_t res = crc32(msg, n, checksum);
    return res == 0;
}

CRC32 输入 1：0x61 0x62 0x63 0x64 0x00 0x00 0x00 0x00

CRC32 Output 1：0x 87988EF9

CRC32 输入 2：0x61 0x62 0x63 0x64 0x87 0x98 0x8E 0xF9

CRC32 Output 2：0x5D19F7CF

我觉得我在这里没有理解一些东西......

Answer 1

1. 如果你做对了，你就不会得到零。 你每次都得到相同的常数，但这个 CRC 不为零。 对于这个，常数是0x2144df1c 。 （它不是零，因为有一个非零值的最终异或。）
2. 你做的不对。 首先，您不需要也不应该 append 四个零。 只需计算消息的CRC。 其次，append CRC 的小端序。 不是大端顺序。 （因为这是一个向下移动的反射 CRC。）
3. 以这种方式检查 CRC 没有什么意义。 只需计算消息的 CRC，然后将其结果与发送的 CRC 进行比较。 这对于阅读您的代码的人来说更容易、更透明，并且避免了在另外四个字节上不必要地计算 CRC。 比较比对四个字节的 CRC 计算快得多。
4. 为什么要在奇数长度的消息中添加一个额外的零？