ZKProof Recordings and Slides
List of public presentations at ZKProof-related events, with links to videos and slide-decks.
To suggest updates, please send an email to editors (at) zkproof (dot) org.
Index of workshops
- ZDC’23: ZKProof Policy @ DC. 2023-Nov-30. Washington DC, USA
- ZW5.5: ZKProof 5.5 (A day in Barcelona). 2023-Aug-02. Barcelona, Spain
- ZW5: 5th ZKProof Workshop. 2022-Nov-15–17. Tel Aviv, Israel
- ZW4: 4th ZKProof Workshop (Home Edition). 2021-Apr-19–29. Virtual
- ACAS’20: Workshop on Advanced Cryptography Applications and Standardization. 2020-Aug-15. Virtual
- ZW3: 3rd ZKProof Workshop (Home Edition). 2020-Apr-20–May-21. Virtual
- ZCE’19: ZKProof Community Event. 2019-Oct-28–29. Amsterdam, Netherlands
- ACS’19: Workshop on Advanced Cryptography Standardization. 2019-Aug-18. Santa Barbara, USA
- ZW2: 2nd ZKProof Workshop. 2019-Apr-10–12. Berkeley, USA
- ZW1: 1st ZKProof Workshop. 2018-May-10–11. Boston, USA
Quick link: Most videos of talks can also be found via the Youtube index of ZKProof Playlists
ZKProof Policy @ DC (ZDC’23)
2023-Nov-30 @ Washington DC, USA
Useful links: Workshop website, Youtube playlist
2023-Nov-30
- IP and Standardization for Emerging FinTech. Ryan Richardson and Joe-Mutschelknaus (Sterne Kessler). [Slides] [Video]
- Revisiting accepted wisdom in SNARK design. Justin Thaler (a16z / Georgetown University). [Slides] [Video]
- Zero-Knowledge Financial Regulation Compliance. Eran Tromer (Boston University / Sealance). [Slides] [Video]
- Ligetron: WASM as an Intermediate Representation and easy tooling for zkSNARKs. Muthu Venkitasubramaniam (Georgetown University / Ligero Inc). [Slides] [Video]
- Privacy and Compliance - Striking a Delicate Balance. Pablo Kogan (QEDIT). [Slides] [Video]
- ZKPs for Balancing Privacy and Accountability. Anna Lysyanskaya (Brown University). [Slides] [Video]
- ZKPs for Trust in Software and Hardware. James Parker (Galois). [Slides] [Video]
- NIST’s Views on Standardization of Advanced Cryptography. René Peralta (NIST). [Slides] [Video]
- Using ZKPs to Fight Disinformation. Trisha Datta (Stanford University). [Slides] [Video]
- Panel: Roundtable: Law Enforcement and ZKP. Moderator: Jonathan Rouach (QEDIT) Panelists: Carol Van Cleef (Luminous Group), Linda Jeng (Crypto Council), Houman Shadab (ICME), Nasreen Djouini (White House). [Video]
ZKProof 5.5 (ZW5.5)
2023-Aug-02 @ Barcelona, Spain
Useful links: Workshop website Summarizing blogposts
2023-Aug-02
- Plonk Standardisation Workshop. Mary Maller (Ethereum Foundation and PQShield). [Slides] [Summary blogpost]
- Recursive Proof Composition. Ying Tong Lai (Geometry). [Slides] [Summary blogpost]
- Scaling Trustless DNN Inference with zkml and its Applications. Daniel Kang (University of Illinois Urbana-Champaign)[Slides] [Summary blogpost]
- SIEVE Circuit IR Specification. James Parker (Galois) and Kimberlee Model (Stealth Software Inc). [Slides] [Summary blogpost]
- VOLE-in-the-Head and the FAEST Post-Quantum Signature Scheme. Peter Scholl (Aarhus University). [Slides] [Summary blogpost]
5th ZKProof Workshop (ZW5)
2022-Nov-15–17 @ Tel Aviv, Israel
Useful links: Workshop website; Youtube playlist
2022-Nov-15
- Keynote: Linear-Time SNARKs for R1CS and Friends. Justin Thaler (Georgetown). Video, Slides
- Halo2 and Standardizing Plonk. Aurelien Nicolas (QEDIT, Scroll). Video, Slides
- aPlonK: Aggregated PlonK from Multi-Polynomial Commitment Schemes. Miguel Ambrona (Nomadic Labs). Video, Slides
- Groth16 still lives: exploring the tradeoffs of modern ZKProof systems. François Garillot (Mysten Labs). Video, Slides
- Simulation-extractability of zkSNARKs. Michał Zajac (Nethermind). Video, Slides
- Counting Vampires: From Univariate Sumcheck to Updatable ZK-SNARK. Michał Zajac (Nethermind). Video, Slides
- Invited Talk: Project Eden and The future of securities settlement in a world of Digital Assets. Orly Grinfeld (TASECH), Efraim Glatt (TASE). Video, Slides
- Panel Discussion: ZKProof Community Goals and Deliverables. Panelists: Luís Brandão (NIST/Strativia), Ran Canetti (BU), Michele Orrù (UC Berkeley). Moderator: Eran Tromer (Columbia University). Video
A full video of the 1st day (2022-Nov-15) is also on Youtube.
2022-Nov-16
- Keynote: ZKP Languages — Where We Are Now. Kobi Gurkan (Geometry). Video, Slides
- Invited Talk: Technology and Policy for Privacy of CBDC. Yoav Soffer (Bank of Israel). Video, Slides
- UnTraceable Transactions (UTT) with accountable privacy and technological experimentation with the Bank of Israel. Ittai Abraham (VMware). Video, Slides
- UC Security, ZKP and The Law. Ran Canetti (BU). Video, Slides
- Tutorial Workshop: Attacks on Zero Knowledge. Anna Kaplan (Least Authority). Slides
- Ligetron: Zero knowledge on Steroids. Carmit Hazay (Bar-Ilan University). Video, Slides
- [Tutorial Workshop: Designing ZK Application Protocols, Hands-on:] ZKinterface. Constance Beguier (QEDIT). Slides
- [Tutorial Workshop: Designing ZK Application Protocols, Hands-on:] ZKFlow: ZKP on Corda. Alexey Koren (ING). Slides
- FROMAGER — A Scalable Toolchain for Complex ZK Proofs About Software. James Parker (Galois). Video, Slides
- Succinct Zero-Knowledge Batch Proofs for Set Accumulators. Hyunok Oh (Hanyang University and Zkrypto). Slides
- Anemoi and Jive: New Arithmetization-Oriented tools for Plonk-based applications. Clémence Bouvier (Sorbonne University and Inria) and Danny Willems (Nomadic Labs). Video, Slides
- Curve Trees: Practical and Transparent Zero-Knowledge Accumulators. Simon Holmgaard Kamp (Aarhus University). Slides
- Zero-Knowledge Machine Learning. Jason Morton (ZKonduit / 0xPARC). Video, Slides
- ZK-WASM: A ZK Virtual Machine that Supports WebAssembly. Xin Gao (DelphinusLab). Video, Slides
A full video of the 2nd day (2022-Nov-16) is also on Youtube.
2022-Nov-17
- Keynote: The Roaring Twenties: Recent Advances in Zero-Knowledge Proofs. Advances in Zero-Knowledge Proofs. Mary Maller (Ethereum Foundation). Video, Slides
- Discussion: Standardizing Sigma Protocols. Michele Orrù (UC Berkeley). Video, Slides
- Invited Talk: From NAND to Verifiable TETRIS. Omer Shlomovits (Ingonyama). Video, Slides
- Building Functional Commitments: the benefits of implementing and optimizing at the polynomial level. Andrija Novakovic (Geometry). Video, Slides
- ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs. Raul-Martin Rebane (Cybernetica AS). Video, Slides
- A Zero-Knowledge circuit for the Lurk language. Eduardo Morais (Protocol Labs). Video, Slides
- zirgen: MLIR based compiler for zk-STARK circuit generation. Frank Laub (RISC Zero). Video, Slides
- Panel: The Future of the ZK Industry. Panelists: Kobi Gurkan (Geometry), Anna Kaplan (Least Authority), Justin Thaler (Georgetown). Moderator: Jonathan Rouach (QEDIT). Video
A full video of the 3rd day (2022-Nov-17) is also on Youtube.
4th ZKProof Workshop [Home Edition] (ZW4)
2021-Apr-19–29, Virtual
Useful links: Workshop website; Youtube playlist
2021-Apr-19
- Pushing the Limits of Zero Knowledge Applications. Joshua Baron, DARPA. Video
- Leo: A Programming Language for Formally Verified, ZK Applications. Howard Wu; Collin Chin. Video, Slides
- Sigma Protocols. Michele Orrú. Video, Slides
2021-Apr-20
- An Algebraic Framework for Universal and Updatable zkSNARKs. Arantxa Zapico. Video, Slides
- Rinocchio: SNARKs for Ring Arithmetic. Anca Nitulescu. Video, Slides
- SNARKs from the sum-check protocol. Justin Thaler. Video, Slides
- Proofs of proofs: incremental verifiability from recursion and accumulation. Nick Spooner, Boston University. Video
2021-Apr-22
- Distributed Zero-Knowledge Proofs and Applications to Secure Computation. Elette Boyle, IDC Herzliya. Video, Slides
- The Challenges and Best Practices of Deploying Zero-Knowledge Proofs. Izaak Meckler, Jordi Baylina, Zac Williamson, Daira Hopwood, Pratyush Mishra. Video
2021-Apr-26
- ZkpComRef 2021. Daniel Benarroch, QEDIT; Luís Brandão, NIST/Strativia; Eran Tromer, Columbia & TAU. Video, Slides
- An Introduction to SNARK Development with arkworks. Pratyush Mishra, arkworks. Video
- [Spartan] High-Speed zkSNARKs without Trusted Setup. Srinath Setty, Microsoft Research. Video, Slides
2021-Apr-27
- Scalable Zero-Knowledge Protocols From Vector-OLE. Peter Scholl, Aarhus University. Video, Slides
- Inner Product Arguments. Mary Maller, Etheruem Foundation. Video, Slides
- Recent progress in MPC-in-the-Head protocols. Emmanuela Orsini, KU Leuven. Video, Slides
- Framework for Snarky Ceremonies. Mikhail Volkhov. Video, Slides
- Formal security analysis of MPC-in-the-head zero-knowledge protocols. Nikolaj Sidorenco, Aarhus University. Video, Slides
2021-Apr-29
- Commit-and-Prove Zero-Knowledge Proof Systems and Extensions. Jiwon Lee, Hanyang University. Video, Slides
- Verification Dilemmas, Law, and the Promise of Zero-Knowledge Proofs. Shafi Goldwasser, UC Berkeley. Video
- SNARKPack: Practical Groth16 Aggregation. Anca Nitulescu, Protocol Labs; Nicolas Gailly, Protocol Labs. Video, Slides
- Closing Remarks for #ZKProof4. Daniel Benarroch, QEDIT; Eran Tromer, Columbia & TAU. Video
Workshop on Advanced Cryptography Applications and Standardization (ACAS’20)
2020-Aug-15, Virtual
Useful links: Workshop website; Youtube playlist
- Toward Criteria for Standardization of Multi-Party Threshold Schemes for Cryptographic Primitives. Luís Brandão (NIST/Strativia). Video, Slides
- Standardizing Fully Homomorphic Encryption. Kim Laine (Microsoft Research). Video
- Update and vision of the ZKProof standardization effort. Yael Kalai (Microsoft, MIT). Video, Slides
- Integrating Legal and Technical Reasoning for Privacy Analysis. Alexandra Wood (Harvard University). Video
- Privacy Pass: Standardizing Anonymous Authorization for the Internet. Alex Davidson (Cloudflare). Video, Slides
- Firefox Origin Telemetry with Prio. Anthony Miyaguchi (Mozilla). Video, Slides
- Deploying PET for Data Collaboration at Scale. Jonathan Rouach (QEDIT). Video, Slides
- Towards a Path for Adoption of Advanced Cryptographic Primitives. Sergey Gorbunov (University of Waterloo). Video
- Privacy Preserving Technology in Practice. Payman Mohassel and Subodh Iyengar (Facebook). Video
- Fireside Chat: a conversation on the latest trends of advanced cryptography and the challenges to deployment. Dave Archer (Galois), Omer Shlomovits (ZenGo), Erica Portnoy (EFF). Video
3rd ZKProof Workshop [Home Edition] (ZW3)
2020-Apr-20–May-21, Virtual
Useful links: Workshop website; Youtube playlist; ZCForum thread
2020-Apr-20
- Distributed Auditing Proofs of Liabilities. Kostas Chalkias. Video
- Zero-knowledge to the rescue. Moti Yung. Video
2020-Apr-23
- Lifting Transformations for Simulation Extractable Subversion and Updatable SNARKs. Behzad Abdolmaleki. Video
- Commit-and-Prove Zero-Knowledge Proof Systems. Matteo Campanelli, IMDEA Software. Video
2020-Apr-27
- Semaphore Zero-Knowledge Signaling on Ethereum. Koh Wei Jie, Ethereum Foundation - Applied ZKP. Video
- Gage MPC – Going beyond the Residual Function Non-Interactive MPC Lower Bound. Tal Rabin, Algorand Foundation. Video
2020-Apr-30
- AirAssembly: A low level language for encoding Algebraic Intermediate Representation (AIR) of computations. Bobbin Threadbare, STARKS. Video, Slides
- Formalising Sigma-Protocols and Commitment Schemes using CryptHOL. David Butler, The Alan Turing Institute. Video, Slides
- Lightning Talks. Various speakers. Video
2020-May-04
- Zero Knowledge Proofs for Constructing Protocols. Jan Camenisch, DFNITY. Video, Slides
- Plumo: Towards Scalable, Interoperable Blockchains Using Ultra Light Validation Systems. Michael Strake; Psi Vesely. Video, Slides
2020-May-07
- The Simulation Paradigm and Deniable Communications. Rosario Gennaro, CUNY. Video, Slides
- Ranged Polynomial Protocols. Ariel Gabizon, Aztec. Video
2020-May-11
- Diogenes Lightweight Scalable RSA Modulus Generation with a Dishonest Majority. Carmit Hazay, Ligero. Video, Slides
- SAVER: Snark-friendly Additively-homomorphic and Verifiable Encryption-decryption with Rerandomization. Jiwon Lee, Hanyang University. Video, Slides
2020-May-14
- Hardware Accelerated Proofs. Erdinc Ozturk, Sabanci University. Video, Slides
- A Benchmarking Framework for (Zero-Knowledge) Proof Systems. Daniel Benarroch, QEDIT; Justin Thaler, Goergetown University. Video, Slides
2020-May-18
- Towards Version 1.0 of the ZKProof Community Reference. Daniel Benarroch, QEDIT; Luís Brandão (NIST); Eran Tromer (Columbia & TAU). Video, Slides
- zkInterface: Zero-Knowledge Interoperability. Aurélien Nicolas, Eran Tromer. Video, Slides
2020-May-21
- Industry, Deployment and Adoption. Panelists: Rilly Chen, Ant Financial; Josh Cincinnati (ZCash Foundation); Mariana Gomez de la Villa, ING; Charles Hoskinson, IOHK; Jonathan Rouach, QEDIT; Antonio Senatore, Deloitte. Moderator: Samantha, QEDIT. Video
- Secure and Private Distributed Ledgers ZK - Saviour and Saved. Markulf Kohlweiss, University of Edinburgh. Video
- Combining Advanced Cryptography in Enterprise Products Showcasing QEDIT for Excel. Jonathan Rouach, QEDIT. Video
- The Future of Privacy-Enhancing Cryptography. Panelists: Joshua Baron (DARPA); Yuval Ishai (Technion); Kristin Lauter (Microsoft); Kobbi Nissim (Harvard); Vinod Vaikuntanathan (MIT); Chris Peikert (U. of Michigan). Moderator: Shafi Goldwasser (UC Berkeley and MIT). Video
ZKProof Community Event (ZCE’19)
2019-Oct-28–29 @ Amsterdam, Netherlands
Useful links: Workshop website; Youtube playlist; ZCForum thread
2019-Oct-28
- Building a Trust Ecosystem for Adoption of ZKP. Jonathan Rouach, QEDIT. Video,Slides
- Practical Privacy Preserving Proofs of Solvency. Kostas Chalkias, Calibra. Video, Slides
- Corda Business Case. Katarzyna Streich, R3. Video, Slides
- Implementing ZKPs for Income Statements. Pepijn Overbeeke, Deloitte. Video, Slides
- Zero Knowledge Transaction Validation in Corda. Alexey Koren, ING. Video,Slides
- Industry Panel: Reaching Adoption of ZKPs. Panelists: Antonio Senatore (Deloitte), Peter Broadhusrt (Kaleido), Daira Hopwood (Electric Coin Company) and Tom Pockoc (Aztec). Moderator: Jonathan Rouach (QEDIT). Video
- The Emerging Role of ZKP in the Privacy Stack for Production Business Networks. Peter Broadhurst, Kaleido. Video, Slides
- Scalable Privacy. Daira Hopwood, Electric Coin Company. Video,Slides
- Lelantus-MW, the Symbiosis. Vladislav Gelfer, Beam. Video, Slides
2019-Oct-29
- Reference Document & Benchmarking Standards. Daniel Benarroch, QEDIT; LuÍs Brandão, NIST. Video, Slides
- Zero-Knowledge Proofs in the Wild. Anna Kaplan, TU Munich. Video, Slides
- zkInterface: a Tool for Zero-Knowledge Interoperability. Aurelien Nicolas, QEDIT. Video, Slides
- Leveraging ZKPs to Design Privacy Preserving State Transitions on Ethereum. Antoine Rondelet, Clearmatics. Video, Slides
- LegoSNARK: Composing ZKPs Simply and Efficiently. Matteo Campanelli, IMDEA Software. Video
- Verifiable MPC. Berry Schoenmakers, TU Eindhoven. Video, Slides
- Using ZKPs for Minting NFTs: the Need for zkSNARK-Optimized Primitives. Lucas Vogelsang, Centrifuge. Video, Slides
- STARKs in an Eggshell. Anais Querol, QEDIT/IMDEA. Video, Slides
- PLONK: Privacy in a World of Universal SNARKs. Zac Williamson, Aztec Protocol. Video, Slides
Workshop on Advanced Cryptography Standardization (ACS’19)
2019-Aug-18 @ Santa Barbara, USA
Useful links: Workshop website; Youtube playlist
- A perspective on standardization of advanced cryptography at NIST. Luís Brandão (NIST). Video, Slides
- HomomorphicEncryption.org - a community effort. Kristin Lauter (Microsoft). Video
- Towards Standardizing Zero Knowledge. Ran Canetti (Boston University and Tel Aviv University). Video
- Advanced Cryptography on the Way to Practice. Mariana Raykova (Google). Video
- BLS signatures, hashing to curves, and more: dispatches from the IETF. Riad S. Wahby (Stanford). Video
- Lessons about standardization. Samuel Ranellucci (Unbound Tech). Video
- Computer-aided Verification and Software Synthesis for Secure Multi-Party Computation Protocols. Karim Eldefrawy (SRI). Video
- Panel & Further Discussion. Hugo Krawczyk (Algorand Foundation), Dahlia Malkhi (Calibra), Eran Tromer (Columbia & TAU), Luís Brandão (NIST), Tanja Lange (Eindhoven University of Technology). Video
2nd ZKProof Workshop (ZW2)
2019-Apr-10-12 @ Berkeley, USA
Useful links: Workshop website; Youtube playlist; ZCForum thread
2019-Apr-10
- ZKP for audits of Unsolicited Consumer Communication. Hitarshi Buch and Joshua Satten, Wipro. Video
- Applications of Zero Knowledge Proofs in the Banking Industry. Eduardo Moraes, ING. Video
- Bringing ZKP to Traditional Industries, Physical World Use-cases. Shiri Lemel, QEDIT. Video
- Privacy Pass a Lightweight Zero Knowledge Protocol Designed for the Web. Nick Sullivan, Cloudflare. Video
- Tooling Infrastructure for Zero-Knowledge Proofs. Henry de Valence, Zcash Foundation. Video
- R1CS and smart contracts with Bulletproofs. Cathie Yun, Interstellar. Video, Slides
- Fragile Nonce Selection and ZKPs as a Solution. Andrew Poelstra, Blockstream. Video
- Notes from the SNARKonomicon Techniques for Writing SNARK Programs. Izaak Mekler, O(1) Labs. Video
- Zero Knowledge Proofs and Self-Sovereign Identity. Jordi Baylina, Iden3. Video
- zk-SHARKs - Combining Succinct Verification and Public Coin Setup. Madars Virza, MIT. Video, Slides
- LegoSNARK Modular Design and Composition of Succinct Zero-Knowledge Proofs. Dario Fiore, IMDEA. Video
- Sonic zkSNARKs from Linear-Size Universal and Updatable SRS. Sean Bowe, Electric Coin Company. Video
- DIZK a Distributed Zero Knowledge Proof System. Howard Wu, Berkeley & Dekrypt Kapital. Video
- Enterprise Features for Confidential Asset Transfer. Ori Wallenstein, QEDIT. Video, Slides
- Zether Towards Privacy in a Smart Contract World. Benedikt Bunz, Stanford. Video
- Succinct Proofs on Ethereum. Barry Whitehat, Ethereum Foundation. Video
- Aurora, Transparent Succinct Arguments for R1CS. Nick Spooner and Dev Ojha, UC Berkeley. Video
2019-Apr-11
- Public Accountability vs. Secret Laws Can They Coexist. Shafi Goldwasser. Video
- Efficient Zero-Knowledge Protocols The Modular Approach. Yuval Ishai, Technion. Video
- Privacy-enhancing Cryptography at NIST. Rene Peralta, NIST. Video, Slides
- ZKProof Proceedings Review & Process. Daniel Benarroch, QEDIT; Luís Brandão, NIST; Eran Tromer, Columbia & TAU.
- Zero Knowledge in the Enterprise. Panelists: Carlos Kuchkovsky (BBVA); Yael Kalai (Microsoft Research); Mike Hearn (R3); Jonathan Levi (HACERA). Moderator: Joanathan Rouach (QEDIT). Video
- Bilinear Pairings based Zero-Knowledge Proofs. Jens Groth, DFINITY. Video
- MPC-in-the-Head based Zero-Knowledge Proofs. Amit Sahai, UCLA. Video
- Proposals (1 and 2): Interoperability of Zero Knowledge Systems Slides
2019-Apr-12
- GKR based Zero-Knowledge Proofs. Yael Kalai, Microsoft Research. Video
- IOP based Zero-Knowledge Proofs. Alessandro Chiesa, UC Berkeley, Zcash, Starkware. Video
- Discrete Log based Zero-Knowledge Proofs. Dan Boneh, Stanford. Video
- Proposal (3): Standardizing Commit-and-Prove ZK Slides
- From Public-Key Cryptography to PKI Reflections on Standardizing the RSA Algorithm. Burt Kaliski, Verisign. Video, Slides
- Zero Knowledge Ideal Functionality. Muthu Venkitasubramaniam, Ligero & University of Rochester. Video
- Proposal (4): Generation of elliptic curves for circuit use Slides
1st ZKProof Workshop (ZW1)
2018-May-10-11 @ Boston, USA
Useful links: Workshop website; Youtube playlist
- Standardizing Zero Knowledge Proofs. Ran Canetti, BU and TAU. Video
- Privacy requirements in DLTs ZKP vs. SGX. Konstantinos Chalkias, R3. Video
- A conceptual model for Identity. Jason Law, Evernym. Video
- Hyperledger Fabric and Zero Knowledge. Angelo De Caro and Maria Dubovitskaya, IBM Research. Video
- An Introduction to the Core Open Standards for SSI: DIDs, DKMS, DID Auth, and Verifiable Credentials. Nathan George, Sovrin Foundation. Video
- Non-Interactive Zero-Knowledge Proofs for Composite Statements. Shashank Agrawal, Visa Research. Video
- A New Foundation for Inter-Business Trust. Anuj Das Gupta, Stratumn. Video
- Zcash Foundation. Josh Cincinnati, Zcash Foundation. Video
- Zero Knowledge Proofs in the Industry. Andrew Poelstra, Blockstream. Video
- Proofs for all, data for no one. Jonathan Rouach, QED-it. Video
- Zcash Sapling. Sean Bowe, Zcash. Video
- Zero Knowledge: The trusted party (ideal functionality) interface. Ran Canetti. Video