Inputs for uniform circuit-family evaluation

Main result

• generatorEvalInput_mem_FP — construct pair (gen 1^|x|) x in FP

theorem Complexity.generatorEvalInput_mem_FP {gen : List Bool → List Bool} (hgen : gen ∈ FP) : generatorEvalInput gen ∈ FP

A polynomial-time uniformity generator can be run on unary input length and paired with the unchanged original input in polynomial time.