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
- Episode 232 - Cutting Edge ZK Research with Mary Maller
- [星辰实验室] P1: 零知识证明 与 zk-SNARK ( 数学版 ）
- Les Amis d’Ethereum France #5 — Zero Knowledge @P2P Festival
- ZK7: Comparing Arithmetizations - Harjasleen Malvai - UIUC / IC3
- ZK7: Pairings in a SNARK - Youssef El Housni - ConsenSys
- ZK7: A Lightning-fast Poseidon Implementation - Jakub Nabaglo - Polygon Zero
- ZK7: RISC Zero: Encoding Von-Neumann Architectures in Zero-Knowledge Proof Systems - Risc0
- ZK7: Park Bench Panel
- ZK7: Latest developments in Halo2 by Ying Tong Lai
- ZK7: VampIR: universal representation for arithmetic circuits - Joshua Fitzgerald - Anoma
- ZK7: Verifying STARKs with SNARKs - Jordi Baylina – Polygon Hermez
- ZK7: Spice up your ZK with some kimchi - Joseph Spadavecchia & David Wong - O(1) Labs / Mina
- ZK7: Efficient Private Delegation of zkSNARK Provers - Pratyush Mishra - Aleo
- ZK7: Miden VM: a STARK-friendly VM for blockchains - Bobbin Threadbare – Polygon
- ZK7: ZPrize and Accelerating Zero Knowledge - Alex Pruden – ZPrize
- zkStudyClub: Collaborative zkSNARKs (Alex Ozdemir, Stanford University)
- The Chopping Block: How to Improve DeFi and Cross-Chain Bridge Security - Ep.343
- Coco: Content curation, with a twist!
- ZK HACK mini - State of ZK Panel Discussion
- ZK HACK mini - Polynomial Identity Language Workshop
- ZK HACK mini - Puzzle M2 Introduction
- ZK HACK mini - Introduction to Plonky2
- Episode 220: The Road to Plonky2 with Brendan and Daniel from Polygon Zero
- ZK HACK mini - Writing STARK proofs with Winterfell