We revise the entire approach to constructing anonymous credentials and identify \emph{randomizable} zero-knowledge proof of knowledge systems as the key building block. We formally define the notion of randomizable non-interactive zero-knowledge proofs, and give the first construction by showing how to appropriately rerandomize Groth and Sahai (Eurocrypt 2008) proofs. We show that such proof systems, in combination with an appropriate authentication scheme and a few other protocols, allow us to construct delegatable anonymous credentials. Finally, we instantiate these building blocks under appropriate assumptions about groups with bilinear maps.
Category / Keywords: cryptographic protocols / credentials anonymity NIZK Date: received 3 Oct 2008, last revised 17 Sep 2009 Contact author: mchase at cs brown edu Available format(s): PDF | BibTeX Citation Version: 20090917:144429 (All versions of this report) Short URL: ia.cr/2008/428 Discussion forum: Show discussion | Start new discussion