Standardizing Zero Knowledge Proofs - Keynote

on YouTube ↗44m

" summary

Defines concrete targets: standardize common reference string and the threat model for a trusted setup, specify which proof classes must be supported (non‑interactive succinct proofs with PCP backends), and require explicit assumptions and composability guarantees. Calls for agreed benchmarks (proof size, prover/verifier time, witness size), mandated code review/formal checks, and clear APIs between compiler, PCP/arithmetic representation, and proof-generator so different implementations can interoperate.

AI-written summary · about

" chapters (19)

1. 0:00Intro
2. 1:22Zero Knowledge
3. 2:20Proof
4. 3:08Proof is good
5. 5:03Proofs for Collaboration
6. 7:54Security
7. 9:03Mobility
8. 10:03Common Record String
9. 16:49The Natural Next Step
10. 18:40Parameters
11. 21:55Systems
12. 25:05Why standardized
13. 27:25Benchmarking
14. 29:25Security Standards
15. 31:35Interactive Knowledge
16. 33:55Transferability
17. 34:55Cryptographer
18. 35:42Standardizing Security
19. 39:25Standardizing Knowledge

" related talks

• 35mEfficient Zero Knowledge Protocols: The Modular ApproachYuval Ishai · 2nd ZKProof Workshop 2019
• 20mThe Evolution of ZKProof.orgJonathan S. Rouach, Mary Maller · ZKProof 6 in Berlin
• 41mGKR based Zero-Knowledge ProofsYael Tauman Kalai · 2nd ZKProof Workshop 2019
• 59mCommit-and-Prove Zero-Knowledge Proof Systems and ExtensionsJiwon Lee · 4th ZKProof Workshop (Home Edition)
• 26mApplications of Zero Knowledge Proofs in the Banking IndustryEduardo Moraes · 2nd ZKProof Workshop 2019
• 44mBilinear Pairings-based Zero-Knowledge ProofsJens Groth · 2nd ZKProof Workshop 2019
• 51mDistributed Zero-Knowledge Proofs and Applications to Secure ComputationElette Boyle · 4th ZKProof Workshop (Home Edition)
• 51mWhy you shouldn't trust meKeerthana Ganesh, Shubham Patil · NDC Oslo 2022