Zero-knowledge Proofs for Programmable Anonymity, Moderation, and Reputation