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
- ZK10: ZPU: The Zero-Knowledge Processing Unit - Yuval Domb
- ZK10: Optimizing recursive STARK verification in Polygon Miden VM - Bobbin Threadbare
- ZK10: How to build a modern SNARK - Zac Williamson
- ZK10: ZK Vulnerabilities and Attacks - Stefanos Chaliasos
- ZK10: Lasso: An Engineering Heavy Overview - Michael Zhu & Sam Ragsdale
- ZK10: ZK Mechanism Design: How privacy can change user guarantees - Tarun Chitra
- ZK10: Revisiting the Nova Proof System on a Cycle of Curves - Wilson Nguyen
- ZK10: Welcome to zkSummit & Sponsor Intros - Anna Rose
- ZK10: o1js: The dawn of zk smart contracts - Gregor Mitscha-Baude
- ZK10: Varuna: Flexible zkSNARKs for generalized R1CS - Victor Sint Nicolaas
- ZK10: powdr: a modular stack for zkVMs - Christian Reitwiessner (powdr labs)
- ZK10: Analysis of zkVM Designs - Wei Dai & Terry Chung
- ZK10: Applications of Zero -Knowledge Proofs for Data-Parallel Computation -Ismael Hishon-Rezaizadeh
- ZK10: ZKML with EZKL: Where we are and the future - Jason Morton
- ZK10: Visual ProtoStar - Adrian Hamelink
- ZK10: zkApp Road to Production - Alex Soong & Sachin Kumar
- ZK10: zkCasper: An Accountable Light Client for Ethereum Casper FFG - Seun Lanlege
- ZK10: Lurk: From zkDSLs to zkGPLs - John Burnham
- ZK10: Zero Knowledge Differential Privacy: The road to two-way trustless data sharing - Manuj Mishra
- Installing Ethereum's ZK Coprocessor w/ Yi Sun (Axiom)
- ZK10: Hash Functions Monolith for ZK Applications: May the Speed of SHA-3 be With You - Roman Walch
- ZK10: Recent Advances in Folding Schemes - Liam Eagen
- ZK10: Symmetric Pitfalls: How to use ciphers and hashes in Zero Knowledge - Dmitry Khovratovich
- Episode 292 - State of ZK - Live at zkSummit10!