Procédé de vérification, mis en oeuvre par un processeur d'un dispositif électronique comprenant, en outre, une mémoire, d'une première donnée (k) égale à la somme, modulo la dimension (Mk) d'un espace comprenant ladite première donnée (k), de N deuxièmes données (X1, …, XN) indépendantes de la première donnée (k), N étant un entier, comprenant une étape de vérification (404) d'une première égalité (Bj) parmi les N deuxièmes égalités données par la formule mathématique suivante : [Math 14] dans laquelle : - LCG( ) représente l'image d'une donnée par une fonction (300) de génération congruentielle linéaire ; - Xi représente l'une desdites au moins deuxièmes données, i variant de 1 à N ; - N représente le nombre desdites au moins deux deuxièmes données ; - mod( ) représente l'opérande modulo ; - m représente le module de ladite fonction (300) ; - j est un entier variant de 0 à N-1 ; et - dans laquelle Mk représente l'image de ladite dimension (Mk) par ladite fonction (300). Procédé selon la revendication 1, dans lequel la première donnée (k) n'est pas stockée dans ladite mémoire, l'image de la première donnée (k) par la fonction (300) est stockée dans ladite mémoire, et lesdites N deuxièmes données (X1, …, XN) sont stockées dans ladite mémoire. Procédé selon la revendication 1 ou 2, dans lequel au moins une desdites N deuxièmes données (X1, …, XN) est obtenue de façon aléatoire. Procédé selon l'une quelconque des revendications 1 à 3, dans lequel ladite dimension (Mk) est un nombre premier. Procédé selon l'une quelconque des revendications 1 à 4, dans lequel la fonction (300) de génération congruentielle linéaire est définie par la formule mathématique suivante : [Math 16] dans laquelle : - Z est une donnée ; - a est le multiplicateur de ladite première fonction (300) ; et - * représente l'opération de multiplication. Procédé selon l'une quelconque des revendications 1 à 5, dans lequel pour calculer l'image d'une variable par la fonction (300), les étapes successives suivantes sont mises en oeuvre : - décomposition de ladite variable en un polynôme ; - application de ladite fonction (300) audit polynôme. Procédé selon la revendication 6, dans lequel l'image d'un radical (r) dudit polynôme par ladite fonction (300) a déjà été calculée précédemment. Procédé selon l'une quelconque des revendications 1 à 7, dans lequel l'entier N est supérieur ou égale à deux. Procédé selon l'une quelconque des revendications 1 à 8, dans lequel la première donnée (k) est une clé de chiffrement et/ou de déchiffrement. Procédé selon l'une quelconque des revendications 1 à 9, dans lequel ladite première donnée (k) est une donnée secrète pouvant être utilisée dans différents types d'algorithme de cryptographie comme les algorithmes de cryptographie sur courbes elliptiques, le chiffrement RSA, les algorithmes de signature comme ceux connus sous la dénomination commerciale CRYSTALS-Dilithium, ou les algorithmes d'encapsulation de clé connus sous la dénomination commerciale CRYSTALS-Kyber. Dispositif électronique, comprenant un processeur et une mémoire, le processeur étant adapté à mettre en oeuvre un procédé de vérification d'une première donnée (k) égale à la somme, modulo la dimension (Mk) d'un espace comprenant ladite première donnée (k), de N deuxièmes données (X1, …, XN) indépendantes de la première donnée (k), ), N étant un entier, comprenant une étape de vérification (404) d'une première égalité (Bj) parmi les N deuxièmes égalités données par la formule mathématique suivante : [Math 15] dans laquelle : - LCG( ) représente l'image d'une donnée par une fonction (300) de génération congruentielle linéaire ; - Xi représente l'une desdites au moins deuxièmes données, i variant de 1 à N ; - N représente le nombre desdites au moins deux deuxièmes données ; - mod( ) représente l'opérande modulo ; - m représente le module de ladite fonction (300) ; - j est un entier variant de 0 à N-1 ; et - dans laquelle Mk représente l'image de ladite dimension (Mk) par ladite fonction (300).