Towards an Abstraction for Verifiable Credentials and Zero Knowledge Proofs

This is a slide deck prepared with the hope of presenting at Internet Identity Workshop (IIW, April 2024), which is an "unconference", or failing that, to facilitate conversations with others including likely collaborators. We are working towards an abstraction to separate Verifiable Credential formats, policies, etc. from the underlying cryptography libraries that support privacy and accountability by composing different Zero Knowledge Proofs. This abstraction will help to enable different aspects of these complicated systems to evolve relatively independently of each other, this facilitating progress and reducing risk for projects and products that aim to provide strong privacy while ensuring accountability.