How to sign given any trapdoor function | Synapse