Programming in Zero Knowledge Workshop

Programming in Zero Knowledge workshop

This workshop will be given:
   Day 3: Sunday, 24-July-2022, 1:00pm - 3:00pm, Workshop A (D'Angelo 309)

NOTE: You do NOT need to register to take this workshop -- please show up early to ensure a seat at Workshop A (D'Angelo 309).

Abstract

Zero-knowledge proofs are primitives for proving the integrity of arbitrary computation over confidential information. They are used in applications like private digital cash and anonymous voting. In this workshop, we will understand the theory behind zero-knowledge proving systems, and try our hand at writing a few circuits. We will also brainstorm ideas for more private applications we could build.

Presenter(s)

Ying Tong

Full Description

full description text goes here

Registration -- NOT required

You do not need to register in advance to take this workshop -- just show up early to ensure a seat.:

Required Software

any required software goes here

What Participants Should Bring to the Workshop (if anything)

any optional or required stuff to bring go here

Links

Slides and code at: https://github.com/therealyingtong/halo2-hope