"web3 with a16z" is a show about the next generation of the internet, and about how builders and users -- whether artists, coders, creators, developers, companies, organizations, or communities -- now have the ability to not just "read" (web1) + "write" (web2) but "own" (web3) pieces of the internet, unlocking a new wave of creativity and entrepreneurship. Brought to you by a16z crypto, this show is the definitive resource for understanding and going deeper on all things crypto and web3. Fro ...
…
continue reading
Content provided by Zero Knowledge Podcast. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Zero Knowledge Podcast or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
Ligero for Memory-Efficient ZK with Muthu
MP3•Episode home
Manage episode 496063124 series 2435247
Content provided by Zero Knowledge Podcast. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Zero Knowledge Podcast or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.
In this episode, Anna Rose and Guillermo Angeris catch up with Muthu Venkitasubramaniam, Professor of Computer Science at Georgetown University and cofounder of Ligero. They discuss how Ligero’s small memory footprint makes it a good choice for client-side proving, as well as the importance of programmable compliance in blockchain. The conversation explores the differences between ‘MPC in the head’ and error-correcting code perspectives, and how well-established primitives influence the design of modern ZK systems. They also debate the challenge of adding ‘ZK’ privacy back into systems without it, why proving EVM traces may be absurd, and what kinds of guarantees might exist around the results of vibe coding. Related links:
Check out the latest jobs in ZK at the ZK Podcast Jobs Board.
**If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter @zeroknowledgefm * Join us on Telegram * Catch us on YouTube **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address Read transcript
…
continue reading
- Episode 363: Bringing ZK to Google Wallet with Abhi and Matteo
- Episode 326: MPC & ZK in Ligero and Ligetron
- ZK13: Ligerito: A Small and Concretely Fast Polynomial Commitment Scheme - Kobi Gurkan
- ZK13: Vibe coding ZK Apps with Ligetron ZK Platform - Muthu Venkitasubramaniam
- ZK10: Analysis of zkVM Designs - Wei Dai & Terry Chung
- Ligerito: A Small and Concretely Fast Polynomial Commitment Scheme
- Ligero++ - Reducing proof length of Ligero
- Adding Zero-Knowledge to STARKs - Talk by Ulrich Haböck
- Aurora - comparing prover times of STARKs vs Ligero
- WYSTERIA: A Programming Language for Generic, Mixed-Mode Multiparty Computations
- Samaritan: Linear-time Prover SNARK from New Multilinear Polynomial Commitments
- Brakedown: Linear-time and field-agnostic SNARKs for R1CS
- Intro to MPC-in-the-Head
Check out the latest jobs in ZK at the ZK Podcast Jobs Board.
**If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter @zeroknowledgefm * Join us on Telegram * Catch us on YouTube **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address Read transcript
385 episodes
MP3•Episode home
Manage episode 496063124 series 2435247
Content provided by Zero Knowledge Podcast. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Zero Knowledge Podcast or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.
In this episode, Anna Rose and Guillermo Angeris catch up with Muthu Venkitasubramaniam, Professor of Computer Science at Georgetown University and cofounder of Ligero. They discuss how Ligero’s small memory footprint makes it a good choice for client-side proving, as well as the importance of programmable compliance in blockchain. The conversation explores the differences between ‘MPC in the head’ and error-correcting code perspectives, and how well-established primitives influence the design of modern ZK systems. They also debate the challenge of adding ‘ZK’ privacy back into systems without it, why proving EVM traces may be absurd, and what kinds of guarantees might exist around the results of vibe coding. Related links:
Check out the latest jobs in ZK at the ZK Podcast Jobs Board.
**If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter @zeroknowledgefm * Join us on Telegram * Catch us on YouTube **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address Read transcript
…
continue reading
- Episode 363: Bringing ZK to Google Wallet with Abhi and Matteo
- Episode 326: MPC & ZK in Ligero and Ligetron
- ZK13: Ligerito: A Small and Concretely Fast Polynomial Commitment Scheme - Kobi Gurkan
- ZK13: Vibe coding ZK Apps with Ligetron ZK Platform - Muthu Venkitasubramaniam
- ZK10: Analysis of zkVM Designs - Wei Dai & Terry Chung
- Ligerito: A Small and Concretely Fast Polynomial Commitment Scheme
- Ligero++ - Reducing proof length of Ligero
- Adding Zero-Knowledge to STARKs - Talk by Ulrich Haböck
- Aurora - comparing prover times of STARKs vs Ligero
- WYSTERIA: A Programming Language for Generic, Mixed-Mode Multiparty Computations
- Samaritan: Linear-time Prover SNARK from New Multilinear Polynomial Commitments
- Brakedown: Linear-time and field-agnostic SNARKs for R1CS
- Intro to MPC-in-the-Head
Check out the latest jobs in ZK at the ZK Podcast Jobs Board.
**If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter @zeroknowledgefm * Join us on Telegram * Catch us on YouTube **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address Read transcript
385 episodes
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.