Essentially, this makes the prover a BPP machine with acces…
Essentially, this makes the prover a BPP machine with access to an oracle for the language, but only in the completeness case, not the soundness case.
Essentially, this makes the prover a BPP machine with access to an oracle for the language, but only in the completeness case, not the soundness case.