The random oracle methodology, revisited | Synapse