I want to prove security of my system by reduction to the security of an underlying
non-interactive proof system for proving knowledge. I know a game that captures the
desired security property of my system, and I want to reduce to an adversary’s
inability to produce a non-interactive proof without a witness (since possession of the witness
suffices to win the aforementioned game), which games capture suitable properties of
non-interactive proof systems?