
0.25
0.5
0.75
1.25
1.5
1.75
2
RDF-based Semantics for Selective Disclosure and Zero-knowledge Proofs on Verifiable Credentials
Related categories
Presentation
RDF-based Semantics for Selective Disclosure and Zero-knowledge Proofs on Verifiable Credentials00:00
Agenda00:04
Agenda00:16
Agenda00:22
Agenda00:25
Verifiable Credentials Data Model00:53
Issuer: “Here is your Credential.”01:25
Holder: “Can I get a discount?”01:38
Holder: “Here is what I have …”01:54
Holder: “Here is what you need to know …”02:15
Selective Disclosure using Zero-knowledge Proofs02:48
Combining Zero-Knowledge Proofs03:18
Combining Zero-Knowledge Proofs03:33
Combining Zero-Knowledge Proofs03:53
Related Work: Zero-Knowledge Proofs (on VCs)04:35
Related Work: Zero-Knowledge Proofs (on VCs)04:46
Agenda05:39
Agenda05:49
reparing W3C Verifiable Credentials for ZKPs05:58
reparing W3C Verifiable Credentials for ZKPs06:06
reparing W3C Verifiable Credentials for ZKPs06:14
Transforming RDF Datasets into a List of RDF Terms to be signed06:18
Transforming RDF Datasets into a List of RDF Terms to be signed06:31
Transforming RDF Datasets into a List of RDF Terms to be signed06:56
Transforming RDF Datasets into a List of RDF Terms to be signed07:11
Multi-Message Signature on Verifiable Credential07:25
Holder: “Here is what you need to know …”07:42
Agenda07:50
Intuition: From credential to presentation07:59
Use blank nodes¹ as stand-in,08:21
Use blank nodes¹ as stand-in,08:34
Use blank nodes¹ as stand-in,08:46
Proof of Knowledge of Signature08:57
Proof of Knowledge of Signature09:09
Same procedure: Numeric Bounds (not expired VC)09:20
Same procedure: Set Non-Membership (not revoked)09:40
Agenda10:00
Evaluation 1: Semantics for Selective Disclosure of RDF Terms10:10
Evaluation 1: Semantics for Selective Disclosure of RDF Terms10:19
Evaluation 1: Semantics for Selective Disclosure of RDF Terms10:30
Evaluation 1: Semantics for Selective Disclosure of RDF Terms10:41
Evaluation 1: Semantics for Selective Disclosure of RDF Terms11:02
Evaluation 2: Proof Verification as Validity Check11:21
Evaluation 2: Proof Verification as Validity Check11:26
Evaluation 2: Proof Verification as Validity Check11:46
Evaluation 2: Proof Verification as Validity Check11:57
Evaluation 3: Transformation Approaches12:20
Evaluation 3: Transformation Approaches12:36
Evaluation 3: Transformation Approaches12:52
Evaluation 3: Transformation Approaches13:15
Agenda13:51
Our Contributions13:55
RDF-based Semantics for Selective Disclosure and Zero-knowledge Proofs on Verifiable Credentials15:15