Strong Non-Transferability from Randomizable Universal Designated Verifier Signatures | Synapse