Zero-Knowledge Proofs

Proving systems and the tooling to build with them: how they work, what they cost, and the general-purpose virtual machines that prove arbitrary program execution.

1395 talks

• Proof of solvency for CEXes using zkSNARKs
• Zero Knowledge Proofs Made Easy: A Guide for Developers
• Building a crypto-native SSO with ZKPs
• Zero-Knowledge Machine Learning and its use cases
• The tradeoffs of soulbound token implementations
• Compliance and the next wave of privacy applications
• Building Zero knowledge proofs with Keelung
• Picus: Push button zk circuit verification
• Adding Verifiable Credentials to your crypto wallet
• Taiga: a dark forest for composable private applications
• Basic Math Behind ZK s01 (By Milica)
• Episode 282 - Error Correcting Codes & Information Theory with Ron Rothblum
• Vitalik Buterin Discusses The 2-Month Zuzalu Experiment
• Privacy in Cosmos Live: Panel - External privacy into Cosmos
• Episode 281 - Exploring Lurk: a New Language for Recursive zk-SNARKs
• Embedding ZK Proofs in Lens with ZK3| Ya7ya | ETHDam 2023
• Episode 280 - ProtoStar with Benedikt Bünz and Binyi Chen
• Bonus: zkpod.ai & Attested Audio Experiment with Daniel Kang
• ZK Rollups: Applied Privacy / Danny Holland
• Zero Knowledge Proofs 101 / Daniel Lumi
• Zac Williamson & Joe Andrews: Aztec - Privacy-preserving hybrid ZK rollup #499
• Personal Data Aggregation and Selective Disclosure | Hadrien Charlanes | Sismo Connect | ETHDam 2023
• Aztec Workshop | Jose Pedro Sousa | Painless Zero-Knowledge Circuitry with Noir | ETHDam 2023
• zkStudyClub - cqlin: Efficient linear operations on KZG commits [Liam Eagen, Blockstream Research]