Our work connects the W3C Verifiable Credentials (VC) data model and zero-knowledge proofs (ZKPs) to allow for minimised information disclosure.More generally, as VCs are Resource Description Framework (RDF) datasets, our work enables the application of the following ZKPs on such an RDF dataset:selective disclosure, proof of numeric bounds, and proof of set non-membership – all on the level of RDF terms. To pre-process RDF datasets for such ZKP applications, we introduce schema-free and schema-based approaches, and highlight their differences. We then present a data model for credential presentation and its semantics, where we show that selective disclosure is equivalent to RDF’s simple entailment, and that verifications of the presented proofs are validity checks on the processed RDF dataset.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

RDF-Based Semantics for Selective Disclosure and Zero-Knowledge Proofs on Verifiable Credentials

  • Christoph H.-J. Braun,
  • Tobias Käfer

摘要

Our work connects the W3C Verifiable Credentials (VC) data model and zero-knowledge proofs (ZKPs) to allow for minimised information disclosure.More generally, as VCs are Resource Description Framework (RDF) datasets, our work enables the application of the following ZKPs on such an RDF dataset:selective disclosure, proof of numeric bounds, and proof of set non-membership – all on the level of RDF terms. To pre-process RDF datasets for such ZKP applications, we introduce schema-free and schema-based approaches, and highlight their differences. We then present a data model for credential presentation and its semantics, where we show that selective disclosure is equivalent to RDF’s simple entailment, and that verifications of the presented proofs are validity checks on the processed RDF dataset.