About Binary District
We're building a community of researchers and developers to foster learning and innovation - find out more online:
Website
Twitter
YouTube
Telegram
Subscribe to our newsletter

Zero-Knowledge Proofs Workshop

Zero Knowledge Proofs are among the most fascinating concepts in cryptography today, enabling global privacy-preserving currencies like ZCash. But how many of us can actually write a prover and verifier?

This 5-day workshop and hackathon, run alongside O(1) Labs and the Zokrates Team, will be focused on helping you to write zero knowledge applications.

Leading experts will provide a thorough exploration of the underlying theory and guide you through hands-on workshops on their development. We'll focus on the two prominent languages, Snarky and Zokrates, with instructors providing hands-on experience on how to write basic programs in the respective language. This will culminate in a 2-day hackathon, where you will split into teams to build zero knowledge applications.

The workshop is free to attend and it will run in Moorgate, London from the 17th - 21st June. Lunch and refreshments will also be provided.

Agenda:
Monday Morning: Overview of Zero Knowledge Proofs (Presentation)
Monday Afternoon: Intro to Snarky and Zokrates, split into groups for tutorials
Tuesday Morning: Talks on ZKP and QAP from Jens Groth and Mary Maller
Tuesday Afternoon: Jens Groth on QAP...then Hacking!
Wednesday Morning: Izaak Meckler on SNARK and FFP
Wednesday Afternoon: Talk by Mary Maller...then More Hacking
Thursday Morning: Hacking
Thursday Afternoon: Panel discussion on ZKPs...The Hack Continues
Friday Morning: Hacking Project Presentations, prizes and debrief

Instructors:
- Izaak Meckler, 0(1) Labs (Snarky)
- Jacob Eberhardt, TU Berlin (Zokrates)
- Matthew Ryan, 0(1) Labs
- Thibaut Schaeffer, Zokrates
- Mary Maller, Research Associate at University College London
- Jens Groth, Principal Researcher at Dfinity
- Ariel Gabizon, Researcher at Protocol Labs

Partners:
Primalbase
IBM
BP
Electric Coin Co
Qedit
Ethereum
r3

Prerequisites for Attendance
- You will need a genuine interest in building Zero Knowledge Proofs
- You will need a strong programming background - OCaml is not easy to learn in a day!
- Be prepared to attend the whole week uninterrupted

This workshop has limited capacity and is very hands-on. In order to ensure attendees gain the full benefit of this experience and as many as possible can attend, we will be evaluating applications. We will respond to all applicants as soon as possible.

We are also seeking potential teaching assistants willing to help out with the hands-on workshop experience. If this sounds like you, or anyone you know, please get in touch!

We look forward to seeing you there!