cronokirby

(2026-08) New Results on the Density of Irreducible NFSRs

2026-08-13

Abstract

Nonlinear feedback shift registers (NFSRs) are fundamental building blocks for modern stream-cipher constructions. An nn-stage NFSR ff is classified as irreducible when the output sequence set of ff does not contain the output family of any NFSR of order less than nn. Existing research has established upper and lower bounds for the density of irreducible NFSRs, confining this value within the range of 0.4461 to 0.4834. This study tightens these bounding intervals with high accuracy, reducing the original 0.04 gap down to only 8×1068\times10^{-6}.