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
- Iden3：应用、原理、源码、实战 ( part 2 )
- Iden3：应用、原理、源码、实战 ( part 1 )
- ZK HACK III - Event Overview & Workshop Introductions
- SNARK Design Part III with Justin Thaler | a16z crypto research talks
- STARKs in SNARKs Jordi Baylina
- Scaling up Trustless Neural Network Inference with Zero Knowledge Proofs
- ZK Whiteboard Sessions – Module Fifteen: Inner Product Argument in Halo 2 with Ying Tong
- Proof Systems for zkRollups
- zkemail: Decentralized ID Verification on Chain Without Servers
- Using ZKP for better p2p messaging with Waku
- ZK Circuits for Elliptic Curve Operations in Halo2
- Optimizing Cryptographic Algorithms used in Gnark
- Next Generation DSLs and IRs - Panel
- heyanon.xyz
- Privacy & Scaling Explorations : What We Do and How to Collaborate
- Solidity Dev to ZK Dev: Why and How You Should Start ZK Dev Now
- Silent Protocol: Privacy on Public Blockchains
- Data Privacy in the Age of Surveillance Capitalism
- zkStudyClub: HyperPlonk (Binyi Chen, Benedikt Bünz)
- ZK Whiteboard Sessions – Module Fourteen: Nova Crash Course with Justin Drake
- Zero-Knowledge Proof: Halo2 for Dummies
- Boost Your ZK Proofs Using Aggregation
- Episode 251: Exploring Risc0 with Brian Retford and Jeremy Bruestle
- ZK Whiteboard Sessions – Module Thirteen: Fast Recursion with Plonky2