La formule de Luhn est un algorithme de somme de contrôle utilisé pour valider des numéros comme les cartes bancaires, les IMEI, les SIRET ou les numéros d'assurance sociale canadiens. Développée dans les années 1960 par l'ingénieur allemand Hans Peter Luhn chez IBM, elle a été rapidement adoptée par les compagnies de cartes de crédit. Son fonctionnement consiste à doubler un chiffre sur deux en partant de la droite, puis à additionner tous les chiffres obtenus ; le numéro est valide si la somme est un multiple de 10, et l'algorithme peut aussi calculer le chiffre de contrôle à ajouter. Bien que très répandue, elle n'offre aucune sécurité cryptographique : elle protège uniquement contre les erreurs aléatoires, pas contre les attaques. Cette simplicité et son domaine public en font un outil pratique pour distinguer les numéros valides dans des collections de chiffres aléatoires.