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 Aug 29 '19 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 Aug 29 '19 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$ – Squeamish Ossifrage Aug 29 '19 at 20:39

Your Answer

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

Browse other questions tagged or ask your own question.