Proxy Ring Signature: Formal Definitions, Efficient Construction and New Variant | Synapse