https://wiki.hope.net/api.php?action=feedcontributions&feedformat=atom&user=TherealyingtongHOPE Wiki - User contributions [en]2026-04-26T16:20:14ZUser contributionsMediaWiki 1.43.3https://wiki.hope.net/index.php?title=Programming_in_Zero_Knowledge_Workshop&diff=1673Programming in Zero Knowledge Workshop2022-07-24T19:35:19Z<p>Therealyingtong: /* Presenter(s) */</p>
<hr />
<div>= Programming in Zero Knowledge workshop =<br />
<br />
This workshop will be given:<br><br />
&nbsp;&nbsp;&nbsp;Day 3: Sunday, 24-July-2022, 1:00pm - 3:00pm, Workshop A (D'Angelo 309)<br><br />
<br><br />
<span style="color:orange">'''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).'''<br><br />
<br><br />
<br />
<br />
== Abstract ==<br />
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.<br />
<br />
<br />
== Presenter(s) ==<br />
Ying Tong (Electric Coin Company)<br />
<br />
== Full Description ==<br />
This workshop goes over:<br />
<br />
- introduction to zero-knowledge proofs: theory and use-cases<br />
<br />
- an overview of the Halo 2 proof system front-end (PLONKish arithmetisation)<br />
<br />
- live-coding a Fibonacci circuit using the `halo2` library<br />
<br />
== Registration -- NOT required == <br />
<span style="color:orange">'''You do not need to register in advance to take this workshop -- just show up early to ensure a seat.''':</span><br><br />
<br />
<br />
== Required Software ==<br />
Install Rust: https://www.rust-lang.org/tools/install<br />
<br />
== What Participants Should Bring to the Workshop (if anything) ==<br />
any optional or required stuff to bring go here<br />
<br />
<br />
== Links ==<br />
Slides and code at: https://github.com/therealyingtong/halo2-hope</div>Therealyingtonghttps://wiki.hope.net/index.php?title=Programming_in_Zero_Knowledge_Workshop&diff=1672Programming in Zero Knowledge Workshop2022-07-24T19:33:28Z<p>Therealyingtong: /* Required Software */</p>
<hr />
<div>= Programming in Zero Knowledge workshop =<br />
<br />
This workshop will be given:<br><br />
&nbsp;&nbsp;&nbsp;Day 3: Sunday, 24-July-2022, 1:00pm - 3:00pm, Workshop A (D'Angelo 309)<br><br />
<br><br />
<span style="color:orange">'''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).'''<br><br />
<br><br />
<br />
<br />
== Abstract ==<br />
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.<br />
<br />
<br />
== Presenter(s) ==<br />
Ying Tong<br />
<br />
<br />
== Full Description ==<br />
This workshop goes over:<br />
<br />
- introduction to zero-knowledge proofs: theory and use-cases<br />
<br />
- an overview of the Halo 2 proof system front-end (PLONKish arithmetisation)<br />
<br />
- live-coding a Fibonacci circuit using the `halo2` library<br />
<br />
== Registration -- NOT required == <br />
<span style="color:orange">'''You do not need to register in advance to take this workshop -- just show up early to ensure a seat.''':</span><br><br />
<br />
<br />
== Required Software ==<br />
Install Rust: https://www.rust-lang.org/tools/install<br />
<br />
== What Participants Should Bring to the Workshop (if anything) ==<br />
any optional or required stuff to bring go here<br />
<br />
<br />
== Links ==<br />
Slides and code at: https://github.com/therealyingtong/halo2-hope</div>Therealyingtonghttps://wiki.hope.net/index.php?title=Programming_in_Zero_Knowledge_Workshop&diff=1671Programming in Zero Knowledge Workshop2022-07-24T19:32:45Z<p>Therealyingtong: /* Full Description */</p>
<hr />
<div>= Programming in Zero Knowledge workshop =<br />
<br />
This workshop will be given:<br><br />
&nbsp;&nbsp;&nbsp;Day 3: Sunday, 24-July-2022, 1:00pm - 3:00pm, Workshop A (D'Angelo 309)<br><br />
<br><br />
<span style="color:orange">'''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).'''<br><br />
<br><br />
<br />
<br />
== Abstract ==<br />
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.<br />
<br />
<br />
== Presenter(s) ==<br />
Ying Tong<br />
<br />
<br />
== Full Description ==<br />
This workshop goes over:<br />
<br />
- introduction to zero-knowledge proofs: theory and use-cases<br />
<br />
- an overview of the Halo 2 proof system front-end (PLONKish arithmetisation)<br />
<br />
- live-coding a Fibonacci circuit using the `halo2` library<br />
<br />
== Registration -- NOT required == <br />
<span style="color:orange">'''You do not need to register in advance to take this workshop -- just show up early to ensure a seat.''':</span><br><br />
<br />
<br />
== Required Software ==<br />
any required software goes here<br />
<br />
<br />
== What Participants Should Bring to the Workshop (if anything) ==<br />
any optional or required stuff to bring go here<br />
<br />
<br />
== Links ==<br />
Slides and code at: https://github.com/therealyingtong/halo2-hope</div>Therealyingtonghttps://wiki.hope.net/index.php?title=Programming_in_Zero_Knowledge_Workshop&diff=1670Programming in Zero Knowledge Workshop2022-07-24T19:32:18Z<p>Therealyingtong: /* Full Description */</p>
<hr />
<div>= Programming in Zero Knowledge workshop =<br />
<br />
This workshop will be given:<br><br />
&nbsp;&nbsp;&nbsp;Day 3: Sunday, 24-July-2022, 1:00pm - 3:00pm, Workshop A (D'Angelo 309)<br><br />
<br><br />
<span style="color:orange">'''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).'''<br><br />
<br><br />
<br />
<br />
== Abstract ==<br />
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.<br />
<br />
<br />
== Presenter(s) ==<br />
Ying Tong<br />
<br />
<br />
== Full Description ==<br />
This workshop goes over:<br />
- introduction to zero-knowledge proofs: theory and use-cases<br />
- an overview of the Halo 2 proof system front-end (PLONKish arithmetisation)<br />
- live-coding a Fibonacci circuit using the `halo2` library<br />
<br />
== Registration -- NOT required == <br />
<span style="color:orange">'''You do not need to register in advance to take this workshop -- just show up early to ensure a seat.''':</span><br><br />
<br />
<br />
== Required Software ==<br />
any required software goes here<br />
<br />
<br />
== What Participants Should Bring to the Workshop (if anything) ==<br />
any optional or required stuff to bring go here<br />
<br />
<br />
== Links ==<br />
Slides and code at: https://github.com/therealyingtong/halo2-hope</div>Therealyingtonghttps://wiki.hope.net/index.php?title=Programming_in_Zero_Knowledge_Workshop&diff=1669Programming in Zero Knowledge Workshop2022-07-24T19:29:56Z<p>Therealyingtong: Add slides and code</p>
<hr />
<div>= Programming in Zero Knowledge workshop =<br />
<br />
This workshop will be given:<br><br />
&nbsp;&nbsp;&nbsp;Day 3: Sunday, 24-July-2022, 1:00pm - 3:00pm, Workshop A (D'Angelo 309)<br><br />
<br><br />
<span style="color:orange">'''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).'''<br><br />
<br><br />
<br />
<br />
== Abstract ==<br />
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.<br />
<br />
<br />
== Presenter(s) ==<br />
Ying Tong<br />
<br />
<br />
== Full Description ==<br />
full description text goes here<br />
<br />
<br />
== Registration -- NOT required == <br />
<span style="color:orange">'''You do not need to register in advance to take this workshop -- just show up early to ensure a seat.''':</span><br><br />
<br />
<br />
== Required Software ==<br />
any required software goes here<br />
<br />
<br />
== What Participants Should Bring to the Workshop (if anything) ==<br />
any optional or required stuff to bring go here<br />
<br />
<br />
== Links ==<br />
Slides and code at: https://github.com/therealyingtong/halo2-hope</div>Therealyingtong