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
- Beyond ZK: Next Steps for Compliance and Constrained Encryption on Blockchains with Matthew D. Green
- PSE Lectures - Ep 2 - Groups (1/4)
- Lasso, Jolt, and the Lookup Singularity, Part I with Justin Thaler | a16z crypto research talks
- PSE Lectures - Ep 1 - Introduction to the course and Naive Set Theory
- Revisiting Accepted Wisdom in SNARK Design | a16z crypto research
- Lasso, Jolt, and the Lookup Singularity, Part II with Justin Thaler | a16z crypto research talks
- 密码学系列课程9: zkSnark--Plonk证明系统-p1
- 密码学系列课程9 zkSnark--Plonk证明系统-p2
- ZK Paris: Panel on Scaling with Tracy, Zac W, grjte, Marcello B, and Toghrul
- ZK Paris: Frank Laub - Continuations and Parallel Proving
- ZK Paris: Kevin Jue - Recursive Proofs
- ZK Paris: Yi Sun - Using ZK to Enhance the EVM with Axiom
- ZK Paris: Panel on Folding Schemes with Nico Mohnblat, Justin Drake, Benedikt Bünz.
- ZK Paris: Panel on Lookups with Anna, Mary, Ariel and Andrija
- ZK Paris: Koh Wei Jie - Deep Dive into WebGPU
- ZK Paris: Kobi Gurkan - Can’t We All Just Get Along
- ZK Paris: Tarrance Van As - Applications of Zero Knowledge Primitives to Gaming
- ZK Paris: Chao - Nova Folding with MACI Circuits
- ZK VERIFIABLE APPS with Butian Li of Blockless
- zkStudyClub - Improving performance of non-native arithmetic in SNARKs (Ivo Kubjas, Consensys Gnark)
- ZK Paris: Samir Menon - Homomorphic Encryption for Retrieval of Witness Data
- ZK Paris: Omer Shlomovits - Gnark on Ice, ZK Acceleration in Golang using ICICLE
- ZK Paris: Lai Ying Tong - An Overview of Programmable Privacy
- ZK Paris: Tohru Kohrita - Zeromorph Zero-Knowledge Multilinear Commitment Scheme