zkSNARKs — Cryptographic Proofs for Scaling and Security Challenges

on YouTube ↗48m

" summary

Explains zkSNARKs as a cryptographic tool for scalability and security, describing how succinct zero-knowledge proofs can be used in scaling services and in zero-knowledge protocols. Covers the current state of the technology, its role in modern cryptography research, and its practical applications for high-throughput systems.

AI-written summary · about

" chapters (13)

1. 0:00Introduction
2. 1:07What are zkSNARKs
3. 4:19Proof systems basics
4. 8:10Non-interactivity and compactness
5. 11:01Zero Knowledge bonus
6. 13:13Computational scalability
7. 17:58zkSNARKs use cases
8. 20:48Trade-offs and limits
9. 22:57zkSNARKs math basis
10. 25:50Recursive zkSNARKs
11. 27:12Tools and frameworks
12. 28:58Web architecture future
13. 31:48Q&A

" related talks

• 34mSNARKs and their Practical ApplicationsEran Tromer · Securing Computation (Simons Institute, June 2015)
• 37mWhat ZK Can—and Can’t—Do for YouJustin Thaler, Abhi Shelat · DC Privacy Summit 2025
• 22mDIZK: A Distributed Zero Knowledge Proof SystemHoward Wu · 2nd ZKProof Workshop 2019
• 18mSoK: Understanding zk-SNARKs: The Gap Between Research and PracticeJunkai Liang, Daqi Hu, Pengfei Wu, Yunbo Yang, Qingni Shen, Zhonghai Wu · USENIX Security '25
• 19mDIZK: A Distributed Zero Knowledge Proof SystemHoward Wu · USENIX Security '18
• 33mAn Introduction to Zero Knowledge ProofsShubham Patil, Keertana Ganesh · DevOpsDays Geneva 2023
• 44mZero-Knowledge Proofs: Simultaneously ensuring integrity and privacyTjerand Silde · NDC Security 2026
• 56mCollaborative zk-SNARKs: Proving as One over Distributed SecretsAarushi Goel · Proofs (Simons Institute)