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.
1 comment
How does unlinkability hold if predicate proofs reuse correlated Pedersen bases across credentials?