The random oracle methodology, revisited (preliminary version)