DCP (disjunctive Chaum-Pedersen).