In some places you say “X is possible iff one-way functions” and in others you say “Y is possible if one-way functions”. I presume the first statement means “OWF is necessary and sufficient for X” and the second means “OWF is sufficient but not necessary for Y”. Just wanted to double-check that. Bit-commitment, zero-knowledge proofs, and run-once programs are all very interesting ideas that are somewhat novel to me.
That is what I meant. I wasn’t too careful with these implications; where I didn’t know the results, I just added the second “f” if it was obvious to a cryptographer.
In some places you say “X is possible iff one-way functions” and in others you say “Y is possible if one-way functions”. I presume the first statement means “OWF is necessary and sufficient for X” and the second means “OWF is sufficient but not necessary for Y”. Just wanted to double-check that. Bit-commitment, zero-knowledge proofs, and run-once programs are all very interesting ideas that are somewhat novel to me.
That is what I meant. I wasn’t too careful with these implications; where I didn’t know the results, I just added the second “f” if it was obvious to a cryptographer.