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

• Tools for Anon Communal Actions | Ryan and Violet, Open Source Contributor | ETHTaipei 2025
• ZK Verifiers Exposed: Lessons from Real Bugs and Fixes | Tejaswa Rastogi, ZKsync | ETHTaipei 2025
• Episode 356 - ZK Benchmarks with Conner Swann
• Show Me the Proof! ZK Identity with Self Protocol
• How Cryptography Derisks AI Harms
• Episode 355 - Coordinating Provers with Norbert from ZkCloud
• NoirHack: Library Workshop - ZK Kit
• NoirHack: Library Workshop - ZKPassport SDK
• NoirHack: Noir Workshop - Advanced Noir
• NoirHack: Ecosystem Workshop - Starknet
• The Future of Zero-Knowledge Applications and Noir as the Rust of ZK
• NoirHack: Library Workshop - ZK Email
• [English][Pop-x HK] How Does zkVM Empower L2s
• Episode 353 - Making ZK More Human with ZK Email
• Episode 352 - Learning ZK with Jeffrey from RareSkills
• The Future of Verifiability: Exploring ZK Coprocessors
• ZKPassport with Théo Madzou
• Identity in the Age of AI: the ZK Side of Sam Altman
• Episode 350 - ZK in Solana with Mert Mumtaz
• Boundless by RISC Zero
• Prover Networks from First Principle
• Privacy, the Missing Link
• Muthu of Ligero @ ZK Hack Meetup in Denver, 24 Feb 2025
• Wyatt of NovaNet @ ZK Hack Meetup in Denver, 24 Feb 2025