Skip to content

zkRevoke: Configurable Untraceability for Verifiable Credentials using ZKPs#

PETS 2026 digest Program Core pick 20–25 July 2026

Recording

Authors: praveensankar manimaran (University of Oslo, Norway), Mayank Raikwar (University of Oslo, Norway), Thiago Garrett (University of Oslo, Norway), Arlindo F. da Conceição (Federal University of São Paulo, Brazil), Leander Jehl (University of Stavanger, Norway), Roman Vitenberg (University of Oslo, Norway)

Play the recording: zkRevoke: Configurable Untraceability for Verifiable Credentials using ZKPs

  • Why: Revocation and unlinkability are in direct tension in the W3C Verifiable Credentials / digital wallet world: naive revocation checks let the issuer or verifier correlate presentations. This is a live standards debate (Status List 2021 vs. accumulators vs. ZK approaches) that any identity PM building on VCs has to reason about.
  • What: Apparently a scheme letting credential holders prove validity (including non-revocation) via zero-knowledge proofs with a configurable knob for how much untraceability they get (title/author line only — no abstract in program).
  • How: Presumably ZK proofs over credential attributes and revocation state (accumulator- or commitment-based), with the "configurable" part trading proof size/verification cost against correlation resistance.
  • Where applicable: VC/DID wallet ecosystems, enterprise credentials, and any selective-disclosure identity scheme; general technique, not tied to one issuer.