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
- zkSummit -Groth16 is not dead: Exploring the tradeoff space of ZKP Systems -Georgios Konstantopoulos
- zkSummit - Halo: Recursive Proofs without Trusted Setups - Sean Bowe (Electric Coin Company / Zcash)
- zkSummit - Supersonic SNARKs: Trustless with Logarithmic Verification -Ben Fisch (Stanford, Findora)
- zkSummit - Into the deep end: making sense of PLONK - Zac Williamson (CTO, Aztec Protocol)
- zkSummit - Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS - Pratyush Mishra
- zkSummit - State of the SNARG-scape - Alessandro Chiesa (UC Berkeley, StarkWare, Zcash)
- ZKPodcast: Dan Boneh on the past, present & future of cryptography
- Eli Ben-Sasson: StarkWare – Productizing zk-STARKs to Provide Blockchain Scalability & Privacy #310
- Privacy by design in a world with universal SNARKs
- STARK: From Paper to Product
- ZKPodcast: Eli Ben-Sasson on the latest from StarkWare and the origin of mathematical ideas
- ZKPodcast: zkVM with Oleg Andreev
- ZK Study Club - Bulletproof implementation with Oleg Andreev
- ZKPodcast: Light clients & ZKPs with Celo
- ZK Study Club - Plonk with Zac Williamson
- ZKPodcast: Accumulators with Ben Fisch
- ZK Study Club - Sonics
- DAPPCON 2019: Websnarks - Jordi Baylina (Iden3)
- DAPPCON 2019: NFTs and zkSNARKS, Off-Chain Assets into DeFi - Philip Stehlik (Centrifuge)
- ZKPodcast: Ariel Gabizon on his work with zkSNARKs and the beauty of math
- ZK Study Club - ZEXE reading pt 2 (of 3)
- ZK Podcast: Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography
- ZKPodcast: Exploring Aztec with Zac Williamson
- ZKPodcast: zkSNARKs for Scale with Matter Labs