LFSR Tjekker

LFSR Checker tilbyder præcis validering af konfigurationer for Linear-Feedback-Shift Registers, der bruges i letvægtskryptografi, pseudo-tilfældig talgenerering og hardware-design. Den accepterer brugerdefineret bredde, taps-polynomer, initialtilstand og arkitektur (Fibonacci eller Galois) for at ræsonnere omkring tilstandens udvikling og sekvensens egenskaber. Værktøjet modellerer tilstandsopdateringen som en deterministisk transitionsfunktion. Den beregner næste tilstands-bits, følger output og kan enumerere hele sekvensen indtil gentagelse eller en angivet grænse. Den rapporterer cykluslængde, om konfigurationen når maksimal længde for given bredde, og de effektive taps der påvirker hvert bit. Den opdager også ugyldige input tidligt (nulfrø).
Hovedfunktioner omfatter understøttelse af almindelige LFSR-former, validering af maksimale periodeegenskaber og konfigurerbare slutbetingelser. Den er nyttig til verifikation af PRNG-parametre, revision af generatorer relateret til kryptografi eller pædagogisk udforskning af, hvordan tapsplacering påvirker periode og bitfordeling. Resultaterne er beregnet til maskinlæsning og muliggør integration i verifikations-pipelines eller offline analyse.