Zero Knowledge
Anna Rose hosts Zero Knowledge, exploring zero knowledge proofs, cryptography research, and the privacy tech shaping decentralized systems. Running since 2018, it is produced by the team behind zkSummit, the zero-knowledge conference series they launched the same year. Regular guest co-hosts include cryptography researchers Tarun Chitra, Guillermo Angeris, Nicolas Mohnblatt, and Kobi Gurkan.
991 episodes
- ZK12: Private Large-Scale Similarity Search - Aurélien Nicolas
- ZK12: Circom buses: the power to structure ZK circuits - Albert Rubio
- ZK12: Zirgen: A Novel DSL for Writing Efficient zk-STARK Circuits - Jacob Weightman
- ZK12: From IVCs to RCGs - Ariel Gabizon
- ZK12: WHIR: Reed-Solomon Proximity Testing with Super-Fast Verification
- ZK12: Cyclic Groups from Geometry - Alp Bassa
- Building cryptographic apps for human connection - Vivek Bhupatiraju & Andrew Lu
- ZK12: ZK Trust Legos [ : Luring Web2 Onchain with ZK Primitives] - alizk
- ZK12: Improving ZK Applications with Formal Verification. - Marcin Kostrzewa
- ZK12: Sonobe, a modular folding schemes library - Arnau Cube
- ZK12: Memory checking in IVC-based zkVMs - Jens Groth
- ZK12: Discover collaborative-SNARKs: Circom & Noir meets MPC - Franco Nieddu
- ZK12: Welcome to zkSummit & Sponsor Intro - Anna Rose
- ZK12: Mechanism Design of a Decentralized Prover Network - Norbert Vadas
- ZK12: Lessons from integrating LogUp-GKR in the Miden VM - Bobbin Threadbare & Philippe Laferrière
- ZK12: Myth vs. Reality: Enhancing Proving Time in KZG-Backed Plonkish Systems for zkWASM - Sinka Gao
- ZK12: ZK on Bitcoin - Liam Eagen
- ZK12: Enhancing privacy in intent-centric protocols - Yulia Khalniyazova
- ZK12: Speedrunning (T)FHE - Ravital Solomon & Rick Weber
- ZK12: Towards ZK-Friendly Machine Learning Models - Alan Li
- ZK12: Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs - Jens Ernstberger
- ZK12: Simulating Modular Arithmetic(s) - Dan Carmon
- ZK12: Towards Verifiable FHE in Practice - Michael Walter
- ZK12: Some like it proved: an architecture for provable apps - Lancelot de Ferriere