Programming in Zero Knowledge Workshop: Difference between revisions
Created page with "= Programming in Zero Knowledge workshop = This workshop will be given:<br> Day 3: Sunday, 24-July-2022, 1:00pm - 3:00pm, Workshop A (D'Angelo 309)<br> <br>..." |
|||
| (7 intermediate revisions by 2 users not shown) | |||
| Line 9: | Line 9: | ||
== Abstract == | == 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) == | == Presenter(s) == | ||
Ying Tong (Electric Coin Company) | |||
== Full Description == | |||
This workshop goes over: | |||
- introduction to zero-knowledge proofs: theory and use-cases | |||
- an overview of the Halo 2 proof system front-end (PLONKish arithmetisation) | |||
- live-coding a Fibonacci circuit using the `halo2` library | |||
== Registration -- NOT required == | == Registration -- NOT required == | ||
| Line 25: | Line 29: | ||
== Required Software == | == Required Software == | ||
any required | Install Rust: https://www.rust-lang.org/tools/install | ||
== What Participants Should Bring to the Workshop (if anything) == | |||
any optional or required stuff to bring go here | |||
== Links == | == Links == | ||
Slides and code at: https://github.com/therealyingtong/halo2-hope | |||
Latest revision as of 19:35, 24 July 2022
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 (Electric Coin Company)
Full Description
This workshop goes over:
- introduction to zero-knowledge proofs: theory and use-cases
- an overview of the Halo 2 proof system front-end (PLONKish arithmetisation)
- live-coding a Fibonacci circuit using the `halo2` library
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
Install Rust: https://www.rust-lang.org/tools/install
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
