Which of these deductions make sense?

  1. The simulator is actually being run by the adversary. It makes sense that the adversary initializes the simulator (which is just a program) with the input that the corrupted party (also just a program) will use.

  2. The adversary is actually being run by the simulator, and the simulator (which is just a program) will give the adversary (which is just a program) the information it needs.

  3. We just should consider the adversary as a black-box that the simulator has an access to it and vice versa.


2 is true. So 1 is obviously false. 3 is not true because there exists something called non black-box simulation (see Baoz Barak's thesis).

|improve this answer|||||

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.