ZKP-Languages. Empirical Study of the Prominence of Zero-Knowledge Proof (ZKP) Languages
CCC-Check. Circom
crescent-credentials. Crescent adds privacy to existing credentials with zero-knowledge