"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!
AI and ZK Auditing with David Wong
MP3•Episode home
Manage episode 489496903 series 2630382
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 sits down with David Wong from zkSecurity to discuss the impact of AI on the field of zero-knowledge auditing. David shares how his team is integrating AI agents into their workflow, the opportunities and challenges this brings, and how the role of the human auditor is evolving as AI becomes more capable. They also cover the unique aspects of auditing ZK-based systems, how this is different from smart contract auditing, and the broader implications of AI for security in cryptography and blockchain. The conversation touches on the ethical considerations of AI in security, the future of the auditing profession, and the ways ZK and AI are increasingly intersecting. 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 290: Exploring, Teaching and Auditing ZK with David Wong
- Episode 76: Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography
- Proof is in the Pudding Session 04: Lattice-Based SNARKs and Post-Quantum Cryptography
- Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives
- Ethproofs Call #2 | real-time proving
- Folding Circom circuits: a ZKML case study - Dr. Cathie So
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
375 episodes
MP3•Episode home
Manage episode 489496903 series 2630382
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 sits down with David Wong from zkSecurity to discuss the impact of AI on the field of zero-knowledge auditing. David shares how his team is integrating AI agents into their workflow, the opportunities and challenges this brings, and how the role of the human auditor is evolving as AI becomes more capable. They also cover the unique aspects of auditing ZK-based systems, how this is different from smart contract auditing, and the broader implications of AI for security in cryptography and blockchain. The conversation touches on the ethical considerations of AI in security, the future of the auditing profession, and the ways ZK and AI are increasingly intersecting. 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 290: Exploring, Teaching and Auditing ZK with David Wong
- Episode 76: Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography
- Proof is in the Pudding Session 04: Lattice-Based SNARKs and Post-Quantum Cryptography
- Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives
- Ethproofs Call #2 | real-time proving
- Folding Circom circuits: a ZKML case study - Dr. Cathie So
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
375 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.