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
- Little Things I’ve Learned in Developing Halo2 Circuits by Chih-Cheng Liang | Devcon Bogotá
- What to know about Zero Knowledge | Devcon Bogotá
- Designing Public Goods Using ZKPs by Rachel | Devcon Bogotá
- Dark forest 相关
- ZK Whiteboard Sessions – Module Eleven: ZK Swaps with Henry de Valence
- ZK8: Succinct Verification of Consensus with zkSNARKs - Uma Roy & John Guibas - Succinct Labs
- ZK8: Park Bench Discussion
- ZK8: Hyperplonk: PLONK without FFTs and with high degree gates - Benedikt Bünz
- ZK8: The power of multiset checks in STARK-based VMs - grjte - Polygon Miden
- ZK8: Demystifying Zero-Knowledge Programming – Howard Wu - Aleo
- ZK8: Airpods: Generalizing AIR to multivariate domains - William Borgeaud - Polygon Zero
- ZK8: Fantastic Beasts: unfolding ZK hardware - Omer Shlomovits - Ingonyama
- ZK8: New Directions in ZK hashing - Dmitry Khovratovich - Ethereum Foundation
- ZK8: Vampire: a new succinct zkSNARK - Michał Zając - Nethermind
- ZK8: A New ZK Nullifier Signature for ECDSA - Aayush Gupta - 0xPARC
- ZK8: Caulk – Arantxa Zapico - Universitat Pompeu Fabra
- ZK8: How to build a zk-VM - Ferdinand Sauer - Neptune
- ZK Whiteboard Sessions – Interview with Ariel Gabizon on The PLONK Origin Story and Roadmap
- ZK Whiteboard Sessions – Module Eight: Achieving Decentralised Private Computation
- ZK Whiteboard Sessions – Module Seven: Zero Knowledge Virtual Machines (zkVM) with grjte
- Programmable Cryptography
- What to Know About Zero Knowledge
- Static Analysis for Zero-Knowledge Programming Languages
- Your Privacy, Risks, and Rights Following Tornado Cash Sanctions | Jill Gunter & Michael Mosier