Zero-Knowledge Proofs and Self Sovereign Identity
summary
Open-source stack includes circumcircle DSL plus circumlip gadgets and a browser-side ZK proof generator (called a Zika snark) that creates ~5k-constraint proofs in under 10 seconds. Identity model stores claims as key/value leaves in a sparse Merkle tree whose root is the identity; updates publish new roots via a trustless operator that aggregates and verifies many transitions with a single zero-knowledge proof. Also demonstrated nullifiers and non-reusable proofs (encrypt proof to recipient) to prevent replay or public exposure.
AI-written summary · about
chapters (10)
- 0:00Introduction to iden3
- 1:45Zero-knowledge tools
- 3:21Self-sovereign identity
- 6:21Scaling and relay operators
- 8:32Identity as a system of claims
- 10:02Technical roadmap and structure
- 12:10Standardization and discovery
- 13:41Zero-knowledge use cases
- 16:45Non-reusable proofs and wrap-up
- 19:00Q&A and session closing
related talks
44mZero-Knowledge Proofs: Simultaneously ensuring integrity and privacy
20mShow Me the Proof! ZK Identity with Self Protocol
40mBuilding a Safer Digital World using Concordium with Zero-Knowledge Proofs
51mWhy you shouldn't trust me
37mWhat ZK Can—and Can’t—Do for You
20mThe Evolution of ZKProof.org
23mHow to overcome AI threat to user authenticity
17mSelf Protocol Workshop