As it is mentioned above, I am confused about “Gen takes as input $1^n$ and outputs a key“. Does it mean that the input of Gen is 1111....111 with length of n?
^ it has been suggested that some kind of merge be done with this question, however, I'm a bit unsure about the direction (i.e. whether the above should be the original or the others)