An Evolution of Models for Zero-Knowledge Proofs with Sarah Meiklejohn | a16z crypto research talks
Source: YouTube · a16z crypto · published Aug 6, 2022 · 54:13
The talk explores zero-knowledge proof models and their evolution, driven by blockchain applications 0:09, showing how advances like SNARKs enable privacy and scalability despite challenges with trusted setups 15:26.
Key Takeaways:
• Zero-knowledge proofs allow convincing verification without revealing witness information, illustrated with a "Where's Waldo" example 3:17.
• Non-interactive zero-knowledge proofs require a common reference string, which can be trustless (random) or structured (trusted setup) 6:39.
• SNARKs revolutionized the field with constant-size proofs independent of witness size, enabling practical blockchain applications 15:26.
• While zk-rollups use zero-knowledge proofs, their value comes from succinctness rather than privacy, as proofs must be smaller than transactions 25:00.
• Trusted setup ceremonies pose security challenges, leading to alternatives like transparent setups or updatable SNARKs 39:02.
Zero-knowledge proofs continue evolving to balance security, efficiency and practicality in real-world applications 38:57.
Sources:
Generate CPE Credits
Generate a professional CPE document from this video's transcript.
Estimated credit: 1 CPE hours
Estimate uses the video runtime (1 hour ≈ 1 CPE, rounded to the nearest 0.5, minimum 0.5, maximum 2.0). The final amount can be lower after review, never higher.
Topic: Cybersecurity. Commonly maps to: Security and Risk Management, Security Operations. Exact CISSP domains are assigned during generation.
Free account. One generation at a time, with a daily limit.
CPEBuddy is independent and not affiliated with or endorsed by ISC2, ISACA, or any certification body. Exports are formatted for common CPE submissions; acceptance is at your certification body's discretion.
Transcript Preview
First 800 characters of the transcript
thanks everyone for coming so this talk is designed to be accessible to everyone even if you're not familiar with zero knowledge um there are some of you in the room who are very familiar with zero knowledge i hope it won't be too boring um and of course one of the best ways to make sure it won't be is you know ask questions anytime um that goes for everyone of course this is a talk i gave um one of the invited talks at eurocrypt last year and it's really going to cover the different models for zero knowledge and how they've adapted in uh recent years and um a lot of this as i'll kind of claim has been driven by the applications that we've been seeing for zero knowledge and the kind of you know constraints um in which we want to use their knowledge proofs um and and so there's really this …