Anonymous credentials

A credential system in which a user obtains a credential from an issuer and later proves possession of it, and of the attributes it certifies, without revealing her identity and without letting distinct showings be linked.

TODO: syntax and security definition.