![](https://i.imgur.com/WeIvTiX.png =150x) **Home Edition** # 3rd Workshop - Ultimate List of Links Here you can find all the links associated with the sessions and discussions of the [**3rd ZKProof Workshop - Home Edition**](https://zkproof.org/events/workshop3). Please refer back to this page to view the updated links for the different discussions by entering the URL https://zkproof.org/workshop3-links Checkout the [Charter, Code of Conduct and IP Policy](https://docs.zkproof.org/general) -------------------------------------------- :::info ## FINAL DAY EVENT: Thursday, May 21st We have an awesome schedule, make sure to join through the webinar. **Webinar zoom:** zkproof.org/workshop3-finalday --- ![](https://i.imgur.com/CRUqzCD.png) ::: ## Permanent Links **Zoom room** - https://zkproof.org/workshop3-zoom *Meeting ID:* 937-4142-4825 *Password:* 94281563 *Dial-in Info*: +1 646 558 8656 US (New York) Find your local number: https://zoom.us/u/ayz0paH1O **Discussion guidelines** - https://docs.google.com/document/d/1wxTXqWPUFz5ZCQhnXz21nGxmmaM1BtLiwyNc69Hd_FE/edit?usp=sharing **Miro whiteboard** - https://zkproof.org/workshop3-board **Telegram group** - t.me/joinchat/D2rM5hCAvT2tN4Tyw2WMZQ **Singature book** - https://zkproof.org/workshop3-signatures **Session recordings** - https://www.youtube.com/playlist?list=PLOEty2U8Y69XuIbGzSPzOR38lHUyf_v-y **Feedback form** - https://docs.google.com/forms/d/e/1FAIpQLSeIdmCCvPhWWuky_6_StJIq3ZzzqG4KNuDRYhmn-Rf9XUd1IQ/viewform?usp=sf_link ---- ## Session 9: Monday, May 18th *Session Chairs and Moderators:* Benedikt Buenz and Izaak Meckler ### Proposal *Title:* zkInterface, a Tool for Zero Knowledge Interoperability *Speakers:* Aurelien Nicolas and Eran Tromer **Paper PDF** - https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-zkinterface.pdf **Discussion Notes** - https://hackmd.io/@HtwXZr-PTFCniCs7fWFSmQ/ryoXg2BYL **Working Group** - https://community.zkproof.org/g/WG_ZKINTERFACE **Slides** - https://community.zkproof.org/t/3rd-workshop-slides-and-notes/458/7 ### ZKProof Community Reference *Editors:* Daniel Benarroch, Luis Brandao and Eran Tromer **Document PDF** - https://docs.zkproof.org/pages/reference/reference.pdf **Process** - https://docs.zkproof.org/reference **Survey** - https://forms.gle/XxZ7JpHVBrisWXQY7 --- ## Session 8: Thursday, May 14th *Session Chairs and Moderators:* Jens Groth and Abhi Shelat ### SoK *Title:* SoK - Hardware Accelerated Modular Multiplication for ZKProofs *Speaker:* Erdinc Ozturk and Justin Drake **Paper PDF** - https://docs.zkproof.org/pages/standards/accepted-workshop3/sok-hardware_acceleration.pdf **Discussion Notes** - https://hackmd.io/@HtwXZr-PTFCniCs7fWFSmQ/B1-oyhHFI **Working Group** - https://community.zkproof.org/g/SOK_WG_HARDWARE **Slides** - https://community.zkproof.org/t/3rd-workshop-slides-and-notes/458/6 ### Proposal *Title:* A Benchmarking Framework for (Zero-Knowledge) Proof Systems *Speakers:* Daniel Benarroch and Justin Thaler **Paper PDF** - https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-benchmarking.pdf **Discussion Notes** - https://hackmd.io/@HtwXZr-PTFCniCs7fWFSmQ/Skt613BYI **Working Group** - https://community.zkproof.org/g/WG_BENCHMARK **Slides** - https://community.zkproof.org/t/3rd-workshop-slides-and-notes/458/6 --- ## Session 7: Monday, May 11th *Session Chairs and Moderators:* Carmit Hazay and Hugo Krawczyk ## Keynote *Title:* Diogenes: Lightweight Scalable RSA Modulus Generation with a Dishonest Majority *Speaker:* Carmit Hazay **Slides** - https://community.zkproof.org/t/3rd-workshop-slides-and-notes/458/5 ### Proposal *Title:* SAVER: Snark-friendly, Additively-homomorphic, and Verifiable Encryption and decryption with Rerandomization *Speakers:* Jiwon Lee **Paper PDF** - https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-saver.pdf **Discussion Notes** - https://hackmd.io/@HtwXZr-PTFCniCs7fWFSmQ/Skqn13SKU **Working Group** - https://community.zkproof.org/g/WG_SAVER **Slides** - https://community.zkproof.org/t/3rd-workshop-slides-and-notes/458/5 ### Breakout Rooms 1. ZKP-friendly primitives (with the speaker) zkproof.org/workshop3-zoom1 Notes: https://hackmd.io/@HtwXZr-PTFCniCs7fWFSmQ/SJnIPkw5I 2. Formats and interoperability zkproof.org/workshop3-zoom2 Notes: https://hackmd.io/@HtwXZr-PTFCniCs7fWFSmQ/BykdvkwqL 3. What's next for the working groups? zkproof.org/workshop3-zoom3 Notes: https://hackmd.io/@HtwXZr-PTFCniCs7fWFSmQ/HyjvDkvcL 4. Informal networking Stay in the main room zkproof.org/workshop3-zoom --- ## Session 6: Thursday, May 7th *Session Chairs and Moderators:* Daira Hopwood and Riad S. Wahby ### Keynote *Title:* The Simulation Paradigm and Deniable Communications *Speaker:* Rosario Gennaro **Slides** - https://community.zkproof.org/t/3rd-workshop-slides-and-notes/458/4 ### Proposal *Title:* The Turbo-PLONK program syntax for specifying SNARK programs *Speakers:* Ariel Gabizon **Paper PDF** - https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-turbo_plonk.pdf **Discussion Notes** - https://hackmd.io/@HtwXZr-PTFCniCs7fWFSmQ/SyxKkhStL **Working Group** - https://community.zkproof.org/g/WG_PLONK **Slides** - https://community.zkproof.org/t/3rd-workshop-slides-and-notes/458/4 ---- ## Session 5: Monday, May 4th *Session Chairs and Moderators:* Dario Fiore and Yupeng Zhang ### Keynote *Title:* Zero-Knowledge Proofs for Constructing Protocols *Speaker:* Jan Camenisch **Slides** - https://community.zkproof.org/t/3rd-workshop-slides-and-notes/458/3 ### Proposal *Title:* Plumo: Towards Scalable Interoperable Blockchains Using UltraLight Validation Systems *Speakers:* Psi Vesely and Michael Straka **Paper PDF** - https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf **Discussion Notes** - https://hackmd.io/@HtwXZr-PTFCniCs7fWFSmQ/HJc9loSYI **Working Group** - https://community.zkproof.org/g/WG_PLUMO **Slides** - https://community.zkproof.org/t/3rd-workshop-slides-and-notes/458/3 ---- ## Session 4: Thursday, April 30th *Session Chairs and Moderators:* Alessandro Chiesa, Yael Kalai and Justin Thaler ### SoK *Title:* SoK - Formalising Σ-Protocols and Commitment Schemes using CryptHOL *Speaker:* David Butler **Paper PDF** - https://docs.zkproof.org/pages/standards/accepted-workshop3/sok-sigma_protocols_crypthol.pdf **Discussion Notes** - https://hackmd.io/Nz1-uFUpRCOVKfk74Eekqw?both **Working Group** - https://community.zkproof.org/g/SOK_WG_LIFTING **Slides** - https://community.zkproof.org/t/3rd-workshop-slides-and-notes/458/2 ### Proposal *Title:* AirAssembly: a low-level language for encoding AIR of computations *Speaker:* Bobbin Threadbare **Paper PDF** - https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-airAssembly.pdf **Discussion Notes** - https://hackmd.io/q4Eahj9PR1iLPF5KX2HVNA?both **Working Group** - https://community.zkproof.org/g/WG_AIRASSEMBLY **Slides** - https://community.zkproof.org/t/3rd-workshop-slides-and-notes/458/2 ---- ## Session 3: Monday, April 27th *Session Chairs and Moderators:* Daniel Benarroch and Muthu Venkitasubraniam ### Keynote *Title:* *Speaker:* Tal Rabin **Slides** - https://community.zkproof.org/t/slides-and-notes-semaphore-zero-knowledge-signaling-on-ethereum/448/2 ### Proposal *Title:* Semaphore: Zero-Knowledge Signaling on Ethereum *Speakers:* Koh Wei Jie and Kobi Gurkan **Paper PDF** - https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-semaphore.pdf **Discussion Notes** - https://hackmd.io/oX3wSRXtT-KyYYj25vx8ng **Working Group** - https://community.zkproof.org/g/WG_SEMAPHORE **Slides** - https://community.zkproof.org/t/slides-and-notes-semaphore-zero-knowledge-signaling-on-ethereum/448 ---- ## Session 2: Thursday, April 23rd *Session Chairs and Moderators:* Yuval Ishai and Mary Maller ### SoK *Title:* Lifting Transformations for Simulation Extractable Subversion and Updatable SNARKs *Speaker:* Behzad Abdolmaleki **Paper PDF** - https://docs.zkproof.org/pages/standards/accepted-workshop3/sok-lifting_transformations_se_snarks.pdf **Discussion Notes** - https://hackmd.io/@HtwXZr-PTFCniCs7fWFSmQ/Sys2vundU **Working Group** - https://community.zkproof.org/g/SOK_WG_LIFTING **Slides** - ### Proposal *Title:* Commit-and-Prove Zero-Knowledge Proof Systems *Speaker:* Matteo Campanelli **Paper PDF** - https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-commit_and_prove.pdf **Discussion Notes** - https://hackmd.io/@HtwXZr-PTFCniCs7fWFSmQ/S1Yyid2_I **Working Group** - https://community.zkproof.org/g/WG_COMMIT_PROVE **Slides:** - ----- ## Session 1: Monday, April 20th *Session Chairs and Moderators:* Mariana Raykova and Eran Tromer ### Keynote: *Title:* *Speaker:* Moti Yung **Slides** - ### Proposal: *Title:* Distributed Auditing Proofs of Liability *Speaker:* Kostas Chalkias **Paper PDF** - https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-dapol.pdf **Discussion Notes** - https://hackmd.io/wTDRz9xUR4SrYSO3HSq9Jg **Working Group** - https://community.zkproof.org/g/WG_DAPOL **Slides** - ------
Last changed by  
 
ZKProof Standards
2657

Read more

:pencil: ZKProof Signature Book

![](https://i.imgur.com/WeIvTiX.png =150x) :+1: A Welcome Note by the ZKProof Organizers We have created an immersive online workshop experience that encompasses as much as possible the ZKProof goals, focusing on productive interactions and high-quality discussions. We believe this format change will make the workshop extremely accessible and will allow even more community members to take an active role in the standardization initiative. Your feedback on the workshop is extremely valuable, and we hope you will take a few moments to share some thoughts and leave comments in the ZKProof Signature Book. Looking forward to a very successful event! :::info INFO

3/19/2022
Discussion notes #4.1: SoK - Formalising Σ-Protocols and Commitment Schemes using CryptHOL

![](https://i.imgur.com/WeIvTiX.png =150x) Home Edition Presenter: David Butler Authors: David Aspinall David Butler Adria Gascon Andreas Lochbilher

12/1/2020
Discussion notes #3: Semaphore: Zero-Knowledge Signaling on Ethereum

![](https://i.imgur.com/WeIvTiX.png =150x) Home Edition Presenters: Kobi Gurkan and Koh Wei Jie Authors: Kobi Gurkan (Ethereum Foundation and cLabs) <> Koh Wei Jie (Ethereum Foundation) <> Barry Whitehat (Independent) <>

6/15/2020
Discussion notes #8.2: A Benchmarking Framework for (Zero-Knowledge) Proof Systems

![](https://i.imgur.com/WeIvTiX.png =150x) Home Edition Presenter: Daniel Benarroch and Justin Thaler Authors: Daniel Benarroch Aurelien Nicolas Justin Thaler Eran Tromer

5/14/2020
Read more from ZKProof Standards
Published on HackMD