Home > Resources > papers > CMZ14-KVAC
Algebraic MACs and Keyed-Verification Anonymous Credentials (Chase, Meiklejohn, Zaverucha 2014)¶
Last modified: 2026-10-27
Summary¶
Introduces keyed-verification anonymous credentials (KVAC), where issuer and verifier share a secret key, so credentials can be built from algebraic MACs in prime-order groups without pairings. Presentations use efficient Sigma-protocol proofs. The CMZ construction is the basis of Signal's private groups and of later KVAC work (BBDT16-KVAC, Orr25-Revisiting-KVAC), and indirectly of server-aided credentials such as BBS# (CHLT25-Server-Aided-AC).
Related resources¶
- Improved Algebraic MACs and Practical Keyed-Verification Anonymous Credentials (Barki, Brunet, Desmoulins, Traoré 2016) (paper, 2016)
- Revisiting Keyed-Verification Anonymous Credentials (Orrù 2025) (paper, 2025)
- Server-Aided Anonymous Credentials (Chairattana-Apirom, Harding, Lysyanskaya, Tessaro 2025) (paper, 2025)
- The Signal Private Group System and Anonymous Credentials Supporting Efficient Verifiable Encryption (Chase, Perrin, Zaverucha 2020) (paper, 2020)