Online Identity with Verifiable Credentials and ZKPs Using High School Math
summary
Hyperledger AnonCreds implements verifiable credentials with zero‑knowledge proofs using only high‑school math, enabling selective disclosure (prove age without revealing DOB), predicate proofs via Bulletproofs, and unlinkable identifiers so verifiers cannot correlate presentations. It is ledger‑agnostic with a verifiable data registry for public keys, supports derived and multi‑credential presentations, uses accumulators for revocation, has seven+ years of use, and runs peer‑to‑peer agents in demos that show the system working end‑to‑end.
AI-written summary · about
chapters (11)
- 0:00Digital identity basics
- 4:36Verifiable credentials benefits
- 7:22Zero-knowledge proofs intro
- 12:59Why verifiable credentials matter
- 16:33High school math for ZKPs
- 20:10Alibaba’s cave ZKP demo
- 23:22ZKP math foundation
- 29:06Non-interactive ZKPs
- 34:05ZKPs real-world uses
- 38:41Paper credentials future
- 40:11Q&A privacy concerns
related talks
08mBringing real-world identity on-chain
21mZero-Knowledge Proofs and Self Sovereign Identity
44mZero-Knowledge Proofs: Simultaneously ensuring integrity and privacy
33mAn Introduction to Zero Knowledge Proofs
47mIntroduction to Verifiable Credentials
14mWhat are zero-knowledge proofs? And why do they matter beyond crypto?
26mHow zero-knowledge proofs can be used to balance privacy and compliance
51mWhy you shouldn't trust me