A hard-core predicate for all one-way functions | Synapse