Abstract We consider the problem of proving in zero knowledge that an element a public set satisfies given property without disclosing element, i.e., for some u , “ $$u \in S$$ u ? S and P ( ) holds”. This arises many applications (anonymous cryptocurre...