AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Zero Knowledge
Episode 322: Definitions, Security and Sumcheck in ZK Systems with Justin Thaler
May 1, 2024
01:23:47
Snipd AI
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.
Read more
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.
Get the Snipd
podcast app
Unlock the knowledge in podcasts with the podcast player of the future.
AI-powered
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode
Save any
moment
Hear something you like? Tap your headphones to save it with AI-generated key takeaways
Share
& Export
Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more
AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode