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

• Ethereum Storage Proofs in a ZK-SNARK, in the Browser
• SNARKs n’ STARKs
• Succinct Demo
• Privacy is Sooner Than You Think
• Ethereum at Hyperscale
• Zero Knowledge Security in DeFi and elsewhere
• 密码学系列课程8：zkSnark Groth16证明系统 p2
• 密码学系列课程8：zkSnark Groth16证明系统-p1
• zkStudyClub - ProtoStar (Binyi Chen & Benedikt Bünz, Espresso Systems)
• Episode 284 - Using Formal Verification on ZK Systems with Jon Stephens
• Episode 283 - BabyAGI, Agents and Cutting-edge AI with Yohei
• Zero-Knowledge AI: The Frontier of Cryptography
• [BUIDL Asia 2023 Builder Stage] Power of ZK beyond zkEVMs by Manasi Vora, VP, Risczero
• "Faster,Better,Stronger,Safer" BLS + ZKPs = Better Web3 for all
• The evolution of privacy on Ethereum
• The power of Zero Knowledge Proofs in Healthcare
• Indexing GraphQL Querying System with ZK Proofs
• How can we use Zero-Knowledge Proofs in Ethereum?
• Linea under the hood: from arithmetization to prover
• VampIR: LLVM for polynomial circuits, now with benchmarks!
• Benchmarking Mainstream ZKP Development Frameworks
• Anonymity in MACI
• QED: A Horizontally Scalable, zk-Native Blockchain
• 100% fully on-chain decentralized poker