CRC, do inglês Cyclic redundancy check, ou verificação de redundância cíclica é um método para identificação de erros, que se baseia em tratar sequências de bits, como 1100010100, como polinômios em GF(2), o corpo com dois elementos, 0 e 1. A sequência 1100010100 é interpretada como o polinômio x⁹ + x⁸ + x⁴ + x², e é determinado seu resíduo quando dividido por um polinômio gerador, como por exemplo x³ + x + 1. Neste caso, o resíduo da divisão de x⁹ + x⁸ + x⁴ + x² por x³ + x + 1 é o polinômio x², que é representado em binário como 100.