DIZK: A Distributed Zero Knowledge Proof System
summary
A distributed ZK-SNARK system is built that parallelizes both the trusted setup and proving to scale from millions to billions of gates, implemented in Java on Apache Spark + EC2 r3.8xlarge and open-sourced. The system demonstrates linear scaling: 2 billion gates with 256 machines and near-doubling speed as machines double. A tailored hybrid join avoids stragglers by splitting dense vectors, reducing memory blowup; amortized proving cost reaches ~10 microseconds per gate, enabling practical proofs at previously unreachable sizes.
AI-written summary · about
chapters (9)
- 0:00Introduction to ZK-SNARKs
- 1:47Applications and limitations
- 3:49Introducing Disick
- 5:30Architectural challenges
- 7:18Witness reduction process
- 10:40Evaluating off-the-shelf methods
- 13:24Tailored distribution strategy
- 15:01System performance evaluation
- 17:08Conclusion and Q&A
related talks
19mDIZK: A Distributed Zero Knowledge Proof System
48mzkSNARKs — Cryptographic Proofs for Scaling and Security Challenges
25mHigh-Speed zkSNARKs without Trusted Setup
34mSNARKs and their Practical Applications
01h 26mPanel Discussion: The Challenges and Best Practices of Deploying Zero-Knowledge Proofs
51mWhy you shouldn't trust me
37mWhat ZK Can—and Can’t—Do for You
30mPractical Zero Knowledge Proofs