Algebraic MACs and Keyed-Verification Anonymous Credentials
Security without identification: transaction systems to make big brother obsolete