Try   HackMD

Image Not Showing Possible Reasons
  • The image file may be corrupted
  • The server hosting the image is unavailable
  • The image path is incorrect
  • The image format is not supported
Learn More →
#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.

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

SCHEDULE: https://zkproof.org/events/workshop4/#schedule
HACKMD NOTES: https://hackmd.io/@workshop4

Zoom Room

Join Zoom Meeting

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

Other Content

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

Proposal

Title: Practical Groth16 Aggregation
Speakers: Anca Nitulescu & Nicolas Gailly

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:

Proposal

Title: Formal security analysis of MPC-in-the-headzero-knowledge protocols
Speakers: Nikolaj Sidorenco

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
  2. ZCR: Diagrams and Illustrations
  3. ZCR: Applications
  4. ZCR: Concrete Schemes
  5. ZCR: Interfaces, Formats and Interoperability
  6. ZCR: SNARK-Friendly Primitives

ZK Tutorial:

Presenters: Pratyush Mishra

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

Proposal

Title: Rinocchio: SNARKs for Ring Arithmetic
Speakers: Anca Nitulescu

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

Proposal

Title: Σ-protocols
Speakers: Michele Orrù

Last changed by 
 
4th ZKProof Workshop
The notes for the 4th ZKProof Workshop - 2021
3
1
2078

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.

Apr 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:

Jul 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

Apr 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

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