Random Oracle Hypothesis

The (refuted) conjecture, attributed to Bennett and Gill, that complexity-class relationships holding for almost all relativized worlds also hold unrelativized.

TODO: syntax and security definition.

Participates in

Barriers