Zero-Knowledge Proofs for Set Membership

are primitives that allow one to prove membership without exposing identity. To exploit identity without inhibiting membership?

Example: Friend of Bill