Zero Knowledge
Definitions, Security and Sumcheck in ZK Systems with Justin Thaler
May 1, 2024
Anna and Guillermo chat with Justin Thaler, from Georgetown and a16z, about his SNARKs article misconceptions, zkVM Jolt, and community contributions. They cover the importance of precision in defining ZK systems, Fiat-Shamir transformations, and advancements in small characteristic fields for SNARK performance. The discussion also delves into the Jolt system and polynomial IOP innovations, emphasizing community involvement and future developments.
01:23:58
Episode guests
AI Summary
Highlights
AI Chapters
Episode notes
Podcast summary created with Snipd AI
Quick takeaways
- Lasso enables efficient verification of committed values against a pre-determined function, streamlining the process for data parallel computation.
- Jolt is a versatile zkVM tailored for RISC-V architecture, emphasizing flexibility in handling different commitment schemes and simplifying verification processes.
Deep dives
Lasso - Efficient Lookup Arguments
Lasso is a lookup argument that allows a prover to efficiently prove that a set of committed values are outputs of a predetermined function. It is designed for highly data parallel computation, where the prover proves that each committed value equals the function's output. Lasso streamlines the verification process for verifying multiple committed values against a defined function.
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
