![](https://i.imgur.com/WeIvTiX.png =150x) **#4 - Home Edition** # 4th Workshop - Ultimate List of Links Here you can find all the links associated with the sessions and discussions of the [**4th ZKProof Workshop - Home Edition**](https://zkproof.org/events/workshop4). Please refer back to this page to view the updated links for the different discussions by entering the URL https://zkproof.org/workshop4-links Checkout the [Charter, Code of Conduct and IP Policy](https://docs.zkproof.org/general) -------------------------------------------- :::info ## Permanent Links **SCHEDULE:** https://zkproof.org/events/workshop4/#schedule **HACKMD NOTES:** https://hackmd.io/@workshop4 ### Zoom Room - *Permalink:* https://zkproof.org/workshop4-zoom - *Meeting ID:* 932 8613 3088 - *Password:* 723044 [Join Zoom Meeting](https://us06web.zoom.us/j/93286133088?pwd=Y3RTdmhCb0ZFOWtGakFpOThZVjdoZz09) One tap mobile +12532158782,,93286133088#,,,,*723044# US (Tacoma) +13017158592,,93286133088#,,,,*723044# US (Washington DC) Find your local number: https://us06web.zoom.us/u/kb0k2eDSS ### Discussions - *Guidelines:* https://docs.google.com/document/d/1wxTXqWPUFz5ZCQhnXz21nGxmmaM1BtLiwyNc69Hd_FE - *Telegram group:* t.me/joinchat/D2rM5hCAvT2tN4Tyw2WMZQ ### Other Content - *Miro whiteboard:* https://zkproof.org/workshop4-board - Password: zkproof4miro - *Session recordings:* TBD - *Feedback form:* TBD > ::: ---- # Day 6 - Thursday, April 29th ### Keynote **Title:** **Speaker:** Shafi Goldwasser - *Slides* - TBD - *Recording* - TBD ### Proposal **Title:** Commit-and-Prove Zero-Knowledge Proof Systems and Extensions **Speakers:** Jiwon Lee - *Paper PDF:* https://docs.zkproof.org/pages/standards/accepted-workshop4/proposal-commit.pdf - *Discussion notes:* https://hackmd.io/@workshop4/commit - *Slides:* TBD - *Miro whiteboard frame*: https://miro.com/app/board/o9J_lJQRFxQ=/?moveToWidget=3074457357481295789&cot=14 ### Proposal **Title:** Practical Groth16 Aggregation **Speakers:** Anca Nitulescu & Nicolas Gailly - *Paper PDF:* https://docs.zkproof.org/pages/standards/accepted-workshop4/proposal-aggregation.pdf - *Discussion notes:* https://hackmd.io/@workshop4/aggregation - *Slides:** TBD - *Miro whiteboard frame*: https://miro.com/app/board/o9J_lJQRFxQ=/?moveToWidget=3074457357481865708&cot=14 ---- # Day 5 - Tuesday, April 27th ### Invited Talks **Title:** Scalable Zero-Knowledge Protocols From Vector-OLE **Speaker:** Peter Scholl - *Slides* - TBD - *Recording* - TBD **Title:** Inner Product Arguments **Speaker:** Mary Maller - *Slides* - TBD - *Recording* - TBD **Title:** Recent progress in MPC-in-the-Head protocols **Speaker:** Emmanuela Orsini - *Slides* - TBD - *Recording* - TBD ### Proposal **Title:** Framework for Snarky Ceremonies **Speakers:** - *Paper PDF:* https://docs.zkproof.org/pages/standards/accepted-workshop4/proposal-cermonies.pdf - *Discussion notes:* https://hackmd.io/@workshop4/ceremonies - *Slides:* TBD - *Miro whiteboard frame*: https://miro.com/app/board/o9J_lJQRFxQ=/?moveToWidget=3074457357481295789&cot=14 ### Proposal **Title:** Formal security analysis of MPC-in-the-headzero-knowledge protocols **Speakers:** Nikolaj Sidorenco - *Paper PDF:* https://docs.zkproof.org/pages/standards/accepted-workshop4/sok-formal.pdf - *Discussion notes:* https://hackmd.io/@workshop4/sok-formal - *Slides:** TBD - *Miro whiteboard frame*: https://miro.com/app/board/o9J_lJQRFxQ=/?moveToWidget=3074457357481865708&cot=14 ---- # Day 4 - Monday, April 26th ## Invited Talk **Title:** High-Speed zkSNARKs without Trusted Setup **Speaker:** Srinath Setty * *Slides:* TBD * *Recording:* TBD ## Writathon: ZKProof Community Reference (ZkpComRef) 2021 **Editors & Presenters:** Luís Brandão, Eran Tromer and Daniel Benarroch **PDF:** https://docs.zkproof.org/pages/reference/reference.pdf ### Breakout Sessions _Disclaimer Doc:_ https://hackmd.io/@workshop4/zcr-disclaimer 1. ZCR: Deployment Case Studies - [Collaboration document](https://hackmd.io/@workshop4/zcr-deployment) 3. ZCR: Diagrams and Illustrations - [Collaboration document](https://hackmd.io/@workshop4/zcr-diagrams) - [Miro board](https://miro.com/app/board/o9J_lJQRFxQ=/?moveToWidget=3074457357801908784&cot=14) - Password: zkproof4miro 4. ZCR: Applications - [Collaboration document](https://hackmd.io/@workshop4/zcr-applications) 6. ZCR: Concrete Schemes - [Collaboration document](https://hackmd.io/@workshop4/zcr-schemes) 8. ZCR: Interfaces, Formats and Interoperability - [Collaboration document](https://hackmd.io/@workshop4/zcr-interfaces) 9. ZCR: SNARK-Friendly Primitives - [Collaboration document](https://hackmd.io/@workshop4/zcr-primitives) ## ZK Tutorial: **Presenters:** Pratyush Mishra * **Tutorial Link:** https://github.com/arkworks-rs/r1cs-tutorial/ * **Telegram Group:** https://t.me/joinchat/4HzYWAYHVfpiODZh ### Breakout Sessions 1. Tutorial: Main Room 2. Turotial: one-on-one # Day 3 - Thursday, April 22nd ### Keynote **Title:** Distributed Zero-Knowledge Proofs and Applications to Secure Computation **Speaker:** Elette Boyle - *Slides* - TBD - *Recording* - TBD ### Panel Discussion **Title:** The Challenges and Best Practices of Deploying Zero-Knowledge Proofs **Panelists:** Pratyush Mishra (UC Berkeley), Jordi Baylina (Hermez Protocol), Zachary Williamson (Aztec Protocol), Daira Hopwood (Electric Coin Company), Izaak Meckler (O(1) Labs) **Moderator:** Georgios Konstantopoulos (Paradigm) - *Recording* - TBD ---- # Day 2 - Tuesday, April 20th ### Invited Talks **Title:** SNARKs from the sum-check protocol **Speaker:** Justin Thaler - *Slides* - TBD - *Recording* - TBD **Title:** Proofs of proofs: incremental verifiability from recursion and accumulation **Speaker:** Nick Spooner - *Slides* - TBD - *Recording* - TBD ### Proposal **Title:** An Algebraic Framework for Universal and Updatable zkSNARKs **Speakers:** Arantxa Zapico - *Paper PDF:* https://docs.zkproof.org/pages/standards/accepted-workshop4/proposal-algebraic.pdf - *Discussion notes:* https://hackmd.io/@workshop4/algebraic - *Slides:* TBD - *Miro whiteboard frame*: https://miro.com/app/board/o9J_lJQRFxQ=/?moveToWidget=3074457357481295789&cot=14 ### Proposal **Title:** Rinocchio: SNARKs for Ring Arithmetic **Speakers:** Anca Nitulescu - *Paper PDF:* https://docs.zkproof.org/pages/standards/accepted-workshop4/proposal-rinocchio.pdf - *Discussion notes:* https://hackmd.io/@workshop4/rinocchio - *Slides:** TBD - *Miro whiteboard frame*: https://miro.com/app/board/o9J_lJQRFxQ=/?moveToWidget=3074457357481865708&cot=14 ---- # Day 1 - Monday, April 19th ### Keynote **Title:** Pushing the Limits of Zero Knowledge Applications **Speaker:** Joshua Baron - *Slides* - TBD - *Recording* - TBD ### Proposal **Title:** Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications **Speakers:** Howard Wu & Collin Chin - *Paper PDF:* https://docs.zkproof.org/pages/standards/accepted-workshop4/proposal-leo.pdf - *Discussion notes:* https://hackmd.io/@workshop4/leo - *Slides:* TBD - *Miro whiteboard frame*: https://miro.com/app/board/o9J_lJQRFxQ=/?moveToWidget=3074457357481295789&cot=14 ### Proposal **Title:** Σ-protocols **Speakers:** Michele Orrù - *Paper PDF:* https://docs.zkproof.org/pages/standards/accepted-workshop4/proposal-sigma.pdf - *Discussion notes:* https://hackmd.io/@workshop4/sigma - *Slides:** TBD - *Miro whiteboard frame*: https://miro.com/app/board/o9J_lJQRFxQ=/?moveToWidget=3074457357481865708&cot=14 ----
Last changed by  
 
4th ZKProof Workshop
The notes for the 4th ZKProof Workshop - 2021
1931

Read more

ZkpComRef: Diagrams and Illustrations

![](https://i.imgur.com/WeIvTiX.png =150x) Workshop #4 -- Home Edition Please start by reading the editorial disclaimer to ensure proper expectations about the process. Collaboration Instructions Context. This page was prepared for a breakout session of the ZKProof 4th workshop. The page can be concurrently/collaboratively edited. Goal. Collect suggestions/sketches for visual material (diagrams, illustrations and other figures) to add to the ZkpComRef. The suggestions can include: Embeding sketch/draft diagrams, illustrations or other figures.

4/20/2022
ZkpComRef: Concrete Schemes

![](https://i.imgur.com/WeIvTiX.png =150x) Workshop #4 -- Home Edition Please start by reading the editorial disclaimer to ensure proper expectations about the process. Goal: Collect short descriptions of numerous concrete ZKP schemes (i.e., protocols), conveying their relation to a possible IT proof system type (PCP, Linear PCP, IOP, ...) (and sub-type), cryptographic compilers, and efficiency. Note on future integration: The ZkpComRef will likely not incorporate all these descriptions. However, these descriptions will be tentatively useful when creating a table or diagram with many references to concrete schemes, differentiating them across various parameters (e.g., IT system type, efficiency type, ...). Existing material for comparison:

7/13/2021
Proposal: Practical Groth16 Aggregation

![](https://i.imgur.com/WeIvTiX.png =150x) #4 Home Edition Moderator: Daniel Benarroch & Eran Tromer Presenters: Anca Nitulescu and Nicolas Gailly Authors: Nicolas Gailly Mary Maller Anca Nitulescu

4/29/2021
Proposal: Commit-and-Prove Zero-Knowledge Proof Systems and Extensions

![](https://i.imgur.com/WeIvTiX.png =150x) #4 Home Edition Moderator: Daira Hopwood Presenters: Jiwon Lee Authors: Daniel Benarroch Matteo Campanelli Dario Fiore

4/29/2021
Read more from 4th ZKProof Workshop
Published on HackMD