Zero-Knowledge Proofs: Simultaneously ensuring integrity and privacy
summary
Zero-knowledge proofs let one prove correctness without revealing secrets, with concrete deployments and tools: lattice-based FIPS 204 ML-DSA signatures, Zcash-style shielded transactions that prove balance without amounts, and the Norwegian contact tracing system that issues Norwegian contact tracing unlinkable one-time tokens and validates them via proofs. Succinct SNARKs produce 1 kilobyte proofs verifiable in milliseconds while provers may take minutes or hours. Open-source learning implementations like Baby Snark and Aurora exist, and EU digital wallet rules push standardization and real-world adoption.
AI-written summary · about
chapters (11)
- 0:00Introduction to cryptography
- 1:47Fundamentals of zero-knowledge
- 7:10How zero-knowledge proofs work
- 15:44Quantum-safe digital signatures
- 19:55Electronic voting applications
- 22:48Anonymous financial transactions
- 24:47Anonymous credentials and tracing
- 30:56Verifiable machine learning
- 33:37Succinct arguments and ZK-SNARKs
- 37:11Standardization and tools
- 40:17Broader cryptographic landscape
related talks
37mWhat ZK Can—and Can’t—Do for You
21mZero-Knowledge Proofs and Self Sovereign Identity
26mApplications of Zero Knowledge Proofs in the Banking Industry
51mWhy you shouldn't trust me
52mDiscrete Log based Zero-Knowledge Proofs
34mSNARKs and their Practical Applications
01h 26mPanel Discussion: The Challenges and Best Practices of Deploying Zero-Knowledge Proofs
48mzkSNARKs — Cryptographic Proofs for Scaling and Security Challenges