Formalizing Privacy of Anonymous Credentials: A Provably Secure Framework with Predicate Proofs eprint.iacr.org
Unlinkability gets a full formal model here, plus anonymous credentials with native predicate proofs and BBS-based instantiations.
trending5
01 02 Rust stack for keyed-verification anonymous credentials, with type safety and constant-time discipline, plus Tor/OONI case studies.03 Mozilla blog post on privacy-preserving bot mitigation with anonymous creds and Privacy Pass, because CAPTCHAs were too elegant.04 Paper on binding anonymous credentials to legacy phones with ECDSA PoP and a compact zk bridge, because hardware won’t help itself.05 Do You Need a Receipt? Anonymous Credential Revocation at Continental Scale via Private Record Certification eprint.iacr.orgPrivate Record Certification revokes anonymous credentials at billion-scale with sub-second latency, because privacy loves paperwork.