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

• ZW7: 7th ZKProof Workshop. 2025-Mar-23–25. Sofia, Bulgaria
• ZW6: 6th ZKProof Workshop. 2024-May-22–24. Berlin, Germany
• 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

7th ZKProof Workshop (ZW7)

2025-Mar-23–25 @ Sofia, Bulgaria

Useful links: Workshop website

2025-Mar-23

1. Towards a White-Box Secure Fiat-Shamir Transformation. Eylon Yogev. [Slides] [Video]
2. How to Prove False Statements: Practical Attacks on Fiat-Shamir. Ron Rothblum. [Slides] [Video]
3. WHIR: Reed-Solomon Proximity Testing with Super-Fast Verification. Giacomo Fenzi. [Slides] [Video]
4. Towards adoption of distributed ledgers in traditional financial institutes. Shaltiel Eloul. [Slides] [Video]
5. zkLib - Verified Proof Systems in Lean. Quang Dao. [Slides]
6. Deep Dive on Fiat-Shamir: A Fireside Chat with Q&As. [Video]

2025-Mar-24

1. On Knowledge-Soundness in ROM from Falsifiable Assumptions. Roberto Parisella. [Slides] [Video]
2. Holography Accumulation. Carla Ràfols. [Slides] [Video]
3. Zinc: Succinct arguments with small arithmetization overheads from IOPs of proximity to the integers. Albert Garreta. [Slides] [Video]
4. LatticeFold and LatticeFold+. Dan Boneh. [Slides] [Video]
5. Optimized ZK proofs for Paillier-based 2PC ECDSA. Michael Adjedj. [Slides] [Video]
6. Blind zkSNARKs for Private Proof Delegation and Verifiable Computation over Encrypted Data. Jannik Spiessens. [Slides] [Video]
7. Security Bounds for Proof Carrying Data from Straightline Extractors. Ziyi Guan. [Slides] [Video]
8. Groth16 is UC Secure: The Brave New World of Global Generic Groups and UC Secure Zero Overhead SNARKs. Jan Bobolz. [Slides] [Video]
9. Towards a Formal Foundation for Blockchain ZK Rollups. Stefanos Chaliasos. [Slides] [Video]
10. zkVoting: A ZKP-Based Coercion-Resistant E-Voting System. Hyunok Oh. [Slides] [Video]
11. ZKVM: To Compile or Precompile. Muthu Venkitasubramaniam. [Slides] [Video]
12. Verifiable Computation for Approximate Homomorphic Encryption Schemes. Daniele Cozzo. [Slides] [Video]
13. Relativized Succinct Arguments in the ROM Do Not Exist. Ziyi Guan. [Slides] [Video]
14. Polymath: Groth16 Is Not The Limit. Helger Lipmaa. [Slides] [Video]
15. Privacy and Compliance: From Solana to Zcash to a Win with ZKP. Arseni Kalma. [Slides] [Video]
16. Implementing Latticefold: Advancing Post-Quantum Folding. Albert Garreta. [Slides] [Video]
17. Adding zero-knowledge to STARKs. Ulrich Haboeck. [Slides] [Video]
18. Restoring Soundness of the Orion Proof System & More. Thomas den Hollander. [Slides] [Video]
19. On the Fiat–Shamir Security of FIOP-Based Succinct Arguments. Christian Knabenhans. [Slides] [Video]
20. TLSNotarization in Browsers. Sofia Celi. [Slides] [Video]
21. Is Identity the ZKP Killer App?. InversedTech, Brave, QEDIT, Rarimo. [Video]
22. ZK-SecreC: A Domain-specific Language for Zero-Knowledge Proofs. Raul-Martin Rebane. [Slides] [Video]

2025-Mar-25

1. Formally verifying zk(E)VMs with the Ethereum Foundation. Alexander Hicks. [Slides] [Video]
2. PLINK: Verified Generation of Constraints for PLONK. Pablo Castellanos. [Slides] [Video]
3. Towards a verified Jolt zkVM. James Parker. [Slides] [Video]
4. The Verified Verifier. Jonathan Rouach. [Slides] [Video]
5. Brief update on Sigma Protocols and Fiat-Shamir standardization. Michele Orru. [Slides] [Video]
6. Snarks for Virtual Machine are Non-Malleable. Antonio Faonio. [Slides] [Video]
7. Benchmarking zkVMs: Efficiency, Bottlenecks, and Best Practices. Masato Tsutsumi. [Slides] [Video]
8. Using Hax for Correct and Secure Zero-Knowledge Implementations. Lasse Letager Hansen. [Slides] [Video]
9. On the Formal Verification of Polynomial Commitment Schemes: the KZG and beyond. Tobias Rothmann. [Slides] [Video]
10. Summaries and Final Updates. [Video]

6th ZKProof Workshop (ZW6)

2024-May-22–24 @ Berlin, Germany

Useful links: Workshop website

2024-May-22

1. Building Succinct Arguments From Ideal Hash Functions. Alessandro Chiesa. [Slides] [Video]
2. The Evolution of ZKProof.org. Jonathan Rouach, Mary Maller. [Video]
3. STIR: Reed-Solomon Proximity Testing with Fewer Queries. Eylon Yogev. [Slides] [Video]
4. SoK: Programmable Privacy. Daniel Benarroch and Ying Tong Lai. [Slides] [Video]
5. Compliance for Digital Assets. Pablo Kogan. [Slides] [Video]
6. Aggios: Scalable Aggregator-Based Voting. Doron Zarchy. [Slides] [Video]
7. Jolt: SNARKs for virtual machines via lookups. Arasu Arun and Michael Zhu. [Slides] [Video]
8. SNARK Flipper: Flip and prove multiple instances efficiently. Nikitas Paslis. [Slides] [Video]
9. ZK ACTUS: Verifiable Financial Contracts. Mark Greenslade. [Slides] [Video]
10. Panel Discussion Day 1. Moderator: Daniel Benarroch. [Video]

2024-May-23

1. Formal Verification of Arithmetic Circuits. Marcin Kostrzewa. [Slides] [Video]
2. Comparing Proof Systems and Their Implementations. Matteo Campanelli. [Slides] [Video]
3. ZK in the wild: building private payments and beyond. Calum Moore. [Slides] [Video]
4. BitVM: Smarter Bitcoin Contracts. Robin Linus. [Slides] [Video]
5. Why There is No ZK in Bitcoin. Jonas Nick. [Slides] [Video]
6. Real-World zkSNARKs are non-malleable. Luigi Russo. [Slides] [Video]
7. Blendy: A Time-Space Tradeoff for the Sumcheck Prover. Andrew Zitek-Estrada. [Slides] [Video]
8. Memory Checking in Folding zkVMs. Jens Groth. [Slides] [Video]
9. SLAP: Succinct Lattice-Based Polynomial Commitment. Giacomo Fenzi. [Slides] [Video]
10. Verifying the Verifier. Ben Livshits. [Slides] [Video]

2024-May-24

1. ZK for Modern Authentication. Kostas Chalkias. [Slides] [Video]
2. The Last Challenge Attack. Oana Ciobotaru. [Slides] [Video]
3. The Nexus 1.0 zkVM. Daniel Marin. [Slides] [Video]
4. PriDe-CT: Towards Public Consensus, Private Transactions and Forward Secrecy in Decentralized Payments. Harish Karthikeyan. [Slides] [Video]
5. SoK: Security Vulnerabilities in SNARKs. Stefanos Chaliasos. [Slides] [Video]
6. Ligetron and the Llama Inference. Muthu Venkitasubramaniam. [Slides] [Video]
7. Security of the Nova Proof System. Hyeonbum Lee. [Slides] [Video]
8. Pushing the Performance and Usability of Zero-Knowledge Proofs. Daniel Dore and Ventali Tan. [Slides]
9. How to Prove on Gevulot. Norbert Vadas. [Slides] [Video]
10. zkSNARKs in the ROM with unconditional UC security. Giacomo Fenzi. [Slides] [Video]
11. Conclusions of Standards Working Groups. Mary Maller, Ying Tong Lai, and Michele Orru. [Slides] [Video]

ZKProof Policy @ DC (ZDC’23)

2023-Nov-30 @ Washington DC, USA

Useful links: Workshop website, Youtube playlist

2023-Nov-30

1. IP and Standardization for Emerging FinTech. Ryan Richardson and Joe-Mutschelknaus (Sterne Kessler). [Slides] [Video]
2. Revisiting accepted wisdom in SNARK design. Justin Thaler (a16z / Georgetown University). [Slides] [Video]
3. Zero-Knowledge Financial Regulation Compliance. Eran Tromer (Boston University / Sealance). [Slides] [Video]
4. Ligetron: WASM as an Intermediate Representation and easy tooling for zkSNARKs. Muthu Venkitasubramaniam (Georgetown University / Ligero Inc). [Slides] [Video]
5. Privacy and Compliance - Striking a Delicate Balance. Pablo Kogan (QEDIT). [Slides] [Video]
6. ZKPs for Balancing Privacy and Accountability. Anna Lysyanskaya (Brown University). [Slides] [Video]
7. ZKPs for Trust in Software and Hardware. James Parker (Galois). [Slides] [Video]
8. NIST’s Views on Standardization of Advanced Cryptography. René Peralta (NIST). [Slides] [Video]
9. Using ZKPs to Fight Disinformation. Trisha Datta (Stanford University). [Slides] [Video]
10. 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

1. Plonk Standardisation Workshop. Mary Maller (Ethereum Foundation and PQShield). [Slides] [Summary blogpost]
2. Recursive Proof Composition. Ying Tong Lai (Geometry). [Slides] [Summary blogpost]
3. Scaling Trustless DNN Inference with zkml and its Applications. Daniel Kang (University of Illinois Urbana-Champaign)[Slides] [Summary blogpost]
4. SIEVE Circuit IR Specification. James Parker (Galois) and Kimberlee Model (Stealth Software Inc). [Slides] [Summary blogpost]
5. 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

1. Keynote: Linear-Time SNARKs for R1CS and Friends. Justin Thaler (Georgetown). Video, Slides
2. Halo2 and Standardizing Plonk. Aurelien Nicolas (QEDIT, Scroll). Video, Slides
3. aPlonK: Aggregated PlonK from Multi-Polynomial Commitment Schemes. Miguel Ambrona (Nomadic Labs). Video, Slides
4. Groth16 still lives: exploring the tradeoffs of modern ZKProof systems. François Garillot (Mysten Labs). Video, Slides
5. Simulation-extractability of zkSNARKs. Michał Zajac (Nethermind). Video, Slides
6. Counting Vampires: From Univariate Sumcheck to Updatable ZK-SNARK. Michał Zajac (Nethermind). Video, Slides
7. Invited Talk: Project Eden and The future of securities settlement in a world of Digital Assets. Orly Grinfeld (TASECH), Efraim Glatt (TASE). Video, Slides
8. 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

1. Keynote: ZKP Languages — Where We Are Now. Kobi Gurkan (Geometry). Video, Slides
2. Invited Talk: Technology and Policy for Privacy of CBDC. Yoav Soffer (Bank of Israel). Video, Slides
3. UnTraceable Transactions (UTT) with accountable privacy and technological experimentation with the Bank of Israel. Ittai Abraham (VMware). Video, Slides
4. UC Security, ZKP and The Law. Ran Canetti (BU). Video, Slides
5. Tutorial Workshop: Attacks on Zero Knowledge. Anna Kaplan (Least Authority). Slides
6. Ligetron: Zero knowledge on Steroids. Carmit Hazay (Bar-Ilan University). Video, Slides
7. [Tutorial Workshop: Designing ZK Application Protocols, Hands-on:] ZKinterface. Constance Beguier (QEDIT). Slides
8. [Tutorial Workshop: Designing ZK Application Protocols, Hands-on:] ZKFlow: ZKP on Corda. Alexey Koren (ING). Slides
9. FROMAGER — A Scalable Toolchain for Complex ZK Proofs About Software. James Parker (Galois). Video, Slides
10. Succinct Zero-Knowledge Batch Proofs for Set Accumulators. Hyunok Oh (Hanyang University and Zkrypto). Slides
11. 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
12. Curve Trees: Practical and Transparent Zero-Knowledge Accumulators. Simon Holmgaard Kamp (Aarhus University). Slides
13. Zero-Knowledge Machine Learning. Jason Morton (ZKonduit / 0xPARC). Video, Slides
14. 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

1. Keynote: The Roaring Twenties: Recent Advances in Zero-Knowledge Proofs. Advances in Zero-Knowledge Proofs. Mary Maller (Ethereum Foundation). Video, Slides
2. Discussion: Standardizing Sigma Protocols. Michele Orrù (UC Berkeley). Video, Slides
3. Invited Talk: From NAND to Verifiable TETRIS. Omer Shlomovits (Ingonyama). Video, Slides
4. Building Functional Commitments: the benefits of implementing and optimizing at the polynomial level. Andrija Novakovic (Geometry). Video, Slides
5. ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs. Raul-Martin Rebane (Cybernetica AS). Video, Slides
6. A Zero-Knowledge circuit for the Lurk language. Eduardo Morais (Protocol Labs). Video, Slides
7. zirgen: MLIR based compiler for zk-STARK circuit generation. Frank Laub (RISC Zero). Video, Slides
8. 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

1. Pushing the Limits of Zero Knowledge Applications. Joshua Baron, DARPA. Video
2. Leo: A Programming Language for Formally Verified, ZK Applications. Howard Wu; Collin Chin. Video, Slides
3. Sigma Protocols. Michele Orrú. Video, Slides

2021-Apr-20

1. An Algebraic Framework for Universal and Updatable zkSNARKs. Arantxa Zapico. Video, Slides
2. Rinocchio: SNARKs for Ring Arithmetic. Anca Nitulescu. Video, Slides
3. SNARKs from the sum-check protocol. Justin Thaler. Video, Slides
4. Proofs of proofs: incremental verifiability from recursion and accumulation. Nick Spooner, Boston University. Video

2021-Apr-22

1. Distributed Zero-Knowledge Proofs and Applications to Secure Computation. Elette Boyle, IDC Herzliya. Video, Slides
2. The Challenges and Best Practices of Deploying Zero-Knowledge Proofs. Izaak Meckler, Jordi Baylina, Zac Williamson, Daira Hopwood, Pratyush Mishra. Video

2021-Apr-26

1. ZkpComRef 2021. Daniel Benarroch, QEDIT; Luís Brandão, NIST/Strativia; Eran Tromer, Columbia & TAU. Video, Slides
2. An Introduction to SNARK Development with arkworks. Pratyush Mishra, arkworks. Video
3. [Spartan] High-Speed zkSNARKs without Trusted Setup. Srinath Setty, Microsoft Research. Video, Slides

2021-Apr-27

1. Scalable Zero-Knowledge Protocols From Vector-OLE. Peter Scholl, Aarhus University. Video, Slides
2. Inner Product Arguments. Mary Maller, Etheruem Foundation. Video, Slides
3. Recent progress in MPC-in-the-Head protocols. Emmanuela Orsini, KU Leuven. Video, Slides
4. Framework for Snarky Ceremonies. Mikhail Volkhov. Video, Slides
5. Formal security analysis of MPC-in-the-head zero-knowledge protocols. Nikolaj Sidorenco, Aarhus University. Video, Slides

2021-Apr-29

1. Commit-and-Prove Zero-Knowledge Proof Systems and Extensions. Jiwon Lee, Hanyang University. Video, Slides
2. Verification Dilemmas, Law, and the Promise of Zero-Knowledge Proofs. Shafi Goldwasser, UC Berkeley. Video
3. SNARKPack: Practical Groth16 Aggregation. Anca Nitulescu, Protocol Labs; Nicolas Gailly, Protocol Labs. Video, Slides
4. 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

1. Toward Criteria for Standardization of Multi-Party Threshold Schemes for Cryptographic Primitives. Luís Brandão (NIST/Strativia). Video, Slides
2. Standardizing Fully Homomorphic Encryption. Kim Laine (Microsoft Research). Video
3. Update and vision of the ZKProof standardization effort. Yael Kalai (Microsoft, MIT). Video, Slides
4. Integrating Legal and Technical Reasoning for Privacy Analysis. Alexandra Wood (Harvard University). Video
5. Privacy Pass: Standardizing Anonymous Authorization for the Internet. Alex Davidson (Cloudflare). Video, Slides
6. Firefox Origin Telemetry with Prio. Anthony Miyaguchi (Mozilla). Video, Slides
7. Deploying PET for Data Collaboration at Scale. Jonathan Rouach (QEDIT). Video, Slides
8. Towards a Path for Adoption of Advanced Cryptographic Primitives. Sergey Gorbunov (University of Waterloo). Video
9. Privacy Preserving Technology in Practice. Payman Mohassel and Subodh Iyengar (Facebook). Video
10. 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

1. Distributed Auditing Proofs of Liabilities. Kostas Chalkias. Video
2. Zero-knowledge to the rescue. Moti Yung. Video

   2020-Apr-23

3. Lifting Transformations for Simulation Extractable Subversion and Updatable SNARKs. Behzad Abdolmaleki. Video
4. Commit-and-Prove Zero-Knowledge Proof Systems. Matteo Campanelli, IMDEA Software. Video

   2020-Apr-27

5. Semaphore Zero-Knowledge Signaling on Ethereum. Koh Wei Jie, Ethereum Foundation - Applied ZKP. Video
6. Gage MPC – Going beyond the Residual Function Non-Interactive MPC Lower Bound. Tal Rabin, Algorand Foundation. Video

   2020-Apr-30

7. AirAssembly: A low level language for encoding Algebraic Intermediate Representation (AIR) of computations. Bobbin Threadbare, STARKS. Video, Slides
8. Formalising Sigma-Protocols and Commitment Schemes using CryptHOL. David Butler, The Alan Turing Institute. Video, Slides
9. Lightning Talks. Various speakers. Video

   2020-May-04

10. Zero Knowledge Proofs for Constructing Protocols. Jan Camenisch, DFNITY. Video, Slides
11. Plumo: Towards Scalable, Interoperable Blockchains Using Ultra Light Validation Systems. Michael Strake; Psi Vesely. Video, Slides

    2020-May-07

12. The Simulation Paradigm and Deniable Communications. Rosario Gennaro, CUNY. Video, Slides
13. Ranged Polynomial Protocols. Ariel Gabizon, Aztec. Video

    2020-May-11

14. Diogenes Lightweight Scalable RSA Modulus Generation with a Dishonest Majority. Carmit Hazay, Ligero. Video, Slides
15. SAVER: Snark-friendly Additively-homomorphic and Verifiable Encryption-decryption with Rerandomization. Jiwon Lee, Hanyang University. Video, Slides

    2020-May-14

16. Hardware Accelerated Proofs. Erdinc Ozturk, Sabanci University. Video, Slides
17. A Benchmarking Framework for (Zero-Knowledge) Proof Systems. Daniel Benarroch, QEDIT; Justin Thaler, Goergetown University. Video, Slides

    2020-May-18

18. Towards Version 1.0 of the ZKProof Community Reference. Daniel Benarroch, QEDIT; Luís Brandão (NIST); Eran Tromer (Columbia & TAU). Video, Slides
19. zkInterface: Zero-Knowledge Interoperability. Aurélien Nicolas, Eran Tromer. Video, Slides

    2020-May-21

20. 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
21. Secure and Private Distributed Ledgers ZK - Saviour and Saved. Markulf Kohlweiss, University of Edinburgh. Video
22. Combining Advanced Cryptography in Enterprise Products Showcasing QEDIT for Excel. Jonathan Rouach, QEDIT. Video
23. 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

1. Building a Trust Ecosystem for Adoption of ZKP. Jonathan Rouach, QEDIT. Video,Slides
2. Practical Privacy Preserving Proofs of Solvency. Kostas Chalkias, Calibra. Video, Slides
3. Corda Business Case. Katarzyna Streich, R3. Video, Slides
4. Implementing ZKPs for Income Statements. Pepijn Overbeeke, Deloitte. Video, Slides
5. Zero Knowledge Transaction Validation in Corda. Alexey Koren, ING. Video,Slides
6. 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
7. The Emerging Role of ZKP in the Privacy Stack for Production Business Networks. Peter Broadhurst, Kaleido. Video, Slides
8. Scalable Privacy. Daira Hopwood, Electric Coin Company. Video,Slides
9. Lelantus-MW, the Symbiosis. Vladislav Gelfer, Beam. Video, Slides

2019-Oct-29

1. Reference Document & Benchmarking Standards. Daniel Benarroch, QEDIT; LuÍs Brandão, NIST. Video, Slides
2. Zero-Knowledge Proofs in the Wild. Anna Kaplan, TU Munich. Video, Slides
3. zkInterface: a Tool for Zero-Knowledge Interoperability. Aurelien Nicolas, QEDIT. Video, Slides
4. Leveraging ZKPs to Design Privacy Preserving State Transitions on Ethereum. Antoine Rondelet, Clearmatics. Video, Slides
5. LegoSNARK: Composing ZKPs Simply and Efficiently. Matteo Campanelli, IMDEA Software. Video
6. Verifiable MPC. Berry Schoenmakers, TU Eindhoven. Video, Slides
7. Using ZKPs for Minting NFTs: the Need for zkSNARK-Optimized Primitives. Lucas Vogelsang, Centrifuge. Video, Slides
8. STARKs in an Eggshell. Anais Querol, QEDIT/IMDEA. Video, Slides
9. 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

1. A perspective on standardization of advanced cryptography at NIST. Luís Brandão (NIST). Video, Slides
2. HomomorphicEncryption.org - a community effort. Kristin Lauter (Microsoft). Video
3. Towards Standardizing Zero Knowledge. Ran Canetti (Boston University and Tel Aviv University). Video
4. Advanced Cryptography on the Way to Practice. Mariana Raykova (Google). Video
5. BLS signatures, hashing to curves, and more: dispatches from the IETF. Riad S. Wahby (Stanford). Video
6. Lessons about standardization. Samuel Ranellucci (Unbound Tech). Video
7. Computer-aided Verification and Software Synthesis for Secure Multi-Party Computation Protocols. Karim Eldefrawy (SRI). Video
8. 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

1. ZKP for audits of Unsolicited Consumer Communication. Hitarshi Buch and Joshua Satten, Wipro. Video
2. Applications of Zero Knowledge Proofs in the Banking Industry. Eduardo Moraes, ING. Video
3. Bringing ZKP to Traditional Industries, Physical World Use-cases. Shiri Lemel, QEDIT. Video
4. Privacy Pass a Lightweight Zero Knowledge Protocol Designed for the Web. Nick Sullivan, Cloudflare. Video
5. Tooling Infrastructure for Zero-Knowledge Proofs. Henry de Valence, Zcash Foundation. Video
6. R1CS and smart contracts with Bulletproofs. Cathie Yun, Interstellar. Video, Slides
7. Fragile Nonce Selection and ZKPs as a Solution. Andrew Poelstra, Blockstream. Video
8. Notes from the SNARKonomicon Techniques for Writing SNARK Programs. Izaak Mekler, O(1) Labs. Video
9. Zero Knowledge Proofs and Self-Sovereign Identity. Jordi Baylina, Iden3. Video
10. zk-SHARKs - Combining Succinct Verification and Public Coin Setup. Madars Virza, MIT. Video, Slides
11. LegoSNARK Modular Design and Composition of Succinct Zero-Knowledge Proofs. Dario Fiore, IMDEA. Video
12. Sonic zkSNARKs from Linear-Size Universal and Updatable SRS. Sean Bowe, Electric Coin Company. Video
13. DIZK a Distributed Zero Knowledge Proof System. Howard Wu, Berkeley & Dekrypt Kapital. Video
14. Enterprise Features for Confidential Asset Transfer. Ori Wallenstein, QEDIT. Video, Slides
15. Zether Towards Privacy in a Smart Contract World. Benedikt Bunz, Stanford. Video
16. Succinct Proofs on Ethereum. Barry Whitehat, Ethereum Foundation. Video
17. Aurora, Transparent Succinct Arguments for R1CS. Nick Spooner and Dev Ojha, UC Berkeley. Video

2019-Apr-11

1. Public Accountability vs. Secret Laws Can They Coexist. Shafi Goldwasser. Video
2. Efficient Zero-Knowledge Protocols The Modular Approach. Yuval Ishai, Technion. Video
3. Privacy-enhancing Cryptography at NIST. Rene Peralta, NIST. Video, Slides
4. ZKProof Proceedings Review & Process. Daniel Benarroch, QEDIT; Luís Brandão, NIST; Eran Tromer, Columbia & TAU.
5. Zero Knowledge in the Enterprise. Panelists: Carlos Kuchkovsky (BBVA); Yael Kalai (Microsoft Research); Mike Hearn (R3); Jonathan Levi (HACERA). Moderator: Joanathan Rouach (QEDIT). Video
6. Bilinear Pairings based Zero-Knowledge Proofs. Jens Groth, DFINITY. Video
7. MPC-in-the-Head based Zero-Knowledge Proofs. Amit Sahai, UCLA. Video
8. Proposals (1 and 2): Interoperability of Zero Knowledge Systems Slides

2019-Apr-12

1. GKR based Zero-Knowledge Proofs. Yael Kalai, Microsoft Research. Video
2. IOP based Zero-Knowledge Proofs. Alessandro Chiesa, UC Berkeley, Zcash, Starkware. Video
3. Discrete Log based Zero-Knowledge Proofs. Dan Boneh, Stanford. Video
4. Proposal (3): Standardizing Commit-and-Prove ZK Slides
5. From Public-Key Cryptography to PKI Reflections on Standardizing the RSA Algorithm. Burt Kaliski, Verisign. Video, Slides
6. Zero Knowledge Ideal Functionality. Muthu Venkitasubramaniam, Ligero & University of Rochester. Video
7. 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

1. Standardizing Zero Knowledge Proofs. Ran Canetti, BU and TAU. Video
2. Privacy requirements in DLTs ZKP vs. SGX. Konstantinos Chalkias, R3. Video
3. A conceptual model for Identity. Jason Law, Evernym. Video
4. Hyperledger Fabric and Zero Knowledge. Angelo De Caro and Maria Dubovitskaya, IBM Research. Video
5. An Introduction to the Core Open Standards for SSI: DIDs, DKMS, DID Auth, and Verifiable Credentials. Nathan George, Sovrin Foundation. Video
6. Non-Interactive Zero-Knowledge Proofs for Composite Statements. Shashank Agrawal, Visa Research. Video
7. A New Foundation for Inter-Business Trust. Anuj Das Gupta, Stratumn. Video
8. Zcash Foundation. Josh Cincinnati, Zcash Foundation. Video
9. Zero Knowledge Proofs in the Industry. Andrew Poelstra, Blockstream. Video
10. Proofs for all, data for no one. Jonathan Rouach, QED-it. Video
11. Zcash Sapling. Sean Bowe, Zcash. Video
12. Zero Knowledge: The trusted party (ideal functionality) interface. Ran Canetti. Video

---