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
- Panel Discussion: Real-Time Proving moderated by Sophia Gold, Ethereum Foundation
- ERC‑8065: Zero Knowledge Token Wrapper
- Private Proof of Burn
- ZKwormholes: Account Based Privacy
- Fireside Chat with Marek Olszewski and Leland Lee
- Building a Production-Ready Library in Noir
- Opening Talk: Noir and the Private World Computer
- Write Circuits: Practical Optimisation Strategies
- Mopro: Powering Noir on Mobile
- Protocol Labs: Verifiable Randomness and ZKPs
- TACEO Privacy-First Stablecoin Transfers
- DeFi Security 101 2025 - How Can I audit ZK circuits?
- Demystifying MPC for coSNARKs: How to Collaboratively Prove Sumthing - DeFi Security Summit 2025
- Bulletproof Protocol for Set/Not-Set Membership Proofs: Security and Implementation Considerations
- ZKPassport’s new Private FaceMatch
- Noir 1.0
- Trustless Verification for Financial Institutions - Kofi - zkTLS Day @ Devconnect 2025
- InfoFi: ZKTLS and ZKVM Powered Social Leaderboard - Michael Dong - zkTLS Day @ Devconnect 2025
- TLShare: Verifiable Inputs for Private Computation - Dimitris Mouris - zkTLS Day @ Devconnect 2025
- zkTLS fundamentals - Thomas - zkTLS Day @ Devconnect 2025 (Buenos Aires)
- The Cryptography behind zkTLS - Xiang Xie - zkTLS Day @ Devconnect 2025 (Buenos Aires)
- Episode 385 - Lattices, Folding, & Symphony with Binyi Chen
- Verity: Trust-Minimized Data Flows for Smart Contracts - Ryan - zkTLS Day @ Devconnect 2025
- Building Online Trust, On-Chain - Maciej Kalka - zkTLS Day @ Devconnect 2025 (Buenos Aires)