Witness indistinguishable and witness hiding protocols | Synapse