Vérificateur LFSR

Vérificateur LFSR fournit une validation précise des configurations de registre à décalage à rétroaction linéaire utilisées dans la cryptographie légère, la génération pseudo-aléatoire et la conception matérielle. Il accepte la largeur spécifiée par l'utilisateur, les taps (polynôme), l'état initial et l'architecture (Fibonacci ou Galois) pour raisonner sur l'évolution de l'état et les propriétés de la séquence. L'outil se concentre sur les concepts de domaine et ne suppose pas de mise en œuvre matérielle particulière.
Conceptuellement, l'outil modélise la mise à jour d'état comme une fonction de transition déterministe. Il calcule les bits d'état suivants, suit les sorties et peut énumérer l'intégralité de la séquence jusqu'à répétition ou jusqu'à une limite fournie. Il indique la longueur de cycle, si la configuration atteint la longueur maximale pour la largeur donnée et les taps effectifs qui influencent chaque bit. Il détecte également les entrées non valides dès le départ (graine nulle, taps illégaux).
Parmi les fonctionnalités clés figurent le support des formes LFSR courantes, la validation des propriétés de période maximale et les conditions de fin configurables. Il est utile pour vérifier les paramètres PRNG, auditer les générateurs liés au chiffrement ou pour l'exploration pédagogique de l'effet du placement des taps sur la période et la répartition des bits. Les résultats sont conçus pour être consommés par des interfaces de programmation et permettent l'intégration dans des pipelines de vérification ou des analyses hors ligne.