Exactness and uniformity

The generator does not receive the factorization as advice. Nor may it perform an unpriced, input-specific factoring computation before printing a constant-output circuit.

Family 279-01 asserts that there exists a length-uniform polynomial-resource circuit family over the frozen alphabet which, for every $N\ge 2$, outputs ${\mathrm{enc}}_{n(\ell (N))}(N)$ with probability one OAI279,SourceIntro.

Record rec:main is not a hypothesis of Theorem thm:finite.