Theory and application of trapdoor functions | Synapse