💻 Somme de contrôle CRC

Il existe plusieurs variantes de CRC-32 : la variante Ethernet/ZIP/PNG (polynôme 0x04C11DB7, valeur initiale 0xFFFFFFFF, entrée/sortie réfléchies, XOR final 0xFFFFFFFF) et la variante Castagnoli CRC-32C (polynôme 0x1EDC6F41) utilisée dans iSCSI, SCTP et ext4. Mélanger les variantes provoque des incohérences de somme de contrôle. Le modèle Rocksoft définit 7 paramètres qui spécifient entièrement un algorithme CRC.

Non. Le CRC est un simple code de détection d'erreur, pas un hachage cryptographique. Un adversaire capable de modifier un message peut trivialement recalculer le CRC et forger une somme de contrôle valide. Pour la détection d'altération dans des contextes de sécurité, utilisez un code d'authentification de message (MAC) tel que HMAC-SHA256 ou un hachage cryptographique comme SHA-3. Le CRC ne convient qu'à la détection de corruption accidentelle dans des canaux de confiance.

Traiter un bit à la fois est lent en logiciel. À la place, une table de correspondance à 256 entrées est précalculée : table[b] = CRC d'un octet unique b suivi d'un remplissage de zéros. Traiter chaque octet d'entrée ne nécessite alors qu'une seule recherche dans la table, un XOR et un décalage — ce qui permet au CRC-32 basé sur table de calculer à plusieurs Go/s sur les CPU modernes. Les processeurs x86 dotés du jeu d'instructions SSE4.2 disposent d'une instruction CRC32 dédiée pour le CRC-32C.

Le nombre indique le degré du polynôme générateur et la largeur de la somme de contrôle en bits. Le CRC-8 (reste de 8 bits) est utilisé dans des protocoles embarqués comme SMBus et 1-Wire où la taille du code est primordiale. Le CRC-16 (16 bits) est courant dans les protocoles série (MODBUS, paquets de données USB) et détecte toutes les erreurs en rafale jusqu'à 16 bits. Le CRC-32 (32 bits) offre une probabilité de faux négatif de 1 sur 4 milliards et constitue la norme pour les systèmes de fichiers et les paquets réseau.

Oui — des collisions existent car le CRC associe des messages de longueur arbitraire à une somme de contrôle de longueur fixe (par exemple 32 bits). Étant donné une paire message+CRC valide, on peut toujours construire un autre message ayant le même CRC en ajoutant des bits soigneusement choisis. La probabilité qu'une corruption aléatoire produise le même CRC-32 est de 2⁻³² ≈ 2,3×10⁻¹⁰, ce qui est négligeable pour les communications mais pas pour des scénarios adverses.

Le polynôme générateur g(x) détermine les propriétés de détection d'erreur du CRC. Un bon générateur doit être primitif (pour détecter toutes les erreurs à nombre impair de bits) ou au moins inclure (x+1) comme facteur. Le polynôme CRC-32 0x04C11DB7 a été conçu pour maximiser la détection d'erreurs en rafale pour les longueurs de trames Ethernet. Choisir des polynômes optimaux pour des longueurs de code et des modèles d'erreur spécifiques est un domaine actif de recherche en théorie du codage.