zk proofs are usually publically verifiable, but there are some that require a private key for verification. 

There could be a proof about inclusion in a group, without revealing exactly who it is.