I have seen many game based proofs using the random oracle model (ROM), do simulator based proofs require it? Is it possible to do a simulator based proof for every game based proof?

For context: What are the differences between proofs based on simulation and proofs based on games?

  • 1
    $\begingroup$ I guess it's Random Oracle Model $\endgroup$
    – Conrado
    Commented Aug 29, 2019 at 11:24
  • $\begingroup$ @Conrado Thanks, that made more sense than it should :P Deleting the comments after editing the question. The author can edit the question if that's not what was meant with "ROM". $\endgroup$
    – Maarten Bodewes
    Commented Aug 29, 2019 at 16:46
  • $\begingroup$ Game vs. simulator and ROM vs. no-ROM (‘standard model’, for those who turn their noses up at ROM) are independent properties. $\endgroup$ Commented Aug 29, 2019 at 20:39


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.