zec
/
halo2
mirror of https://github.com/zcash/halo2.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

fix issue 765

This commit is contained in:
Thor Kamphefner 2023-07-10 09:11:28 -07:00
parent c05547a70f
commit 4ffc12e350
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
book/src/user/simple-example.md
View File

@ -1,10 +1,10 @@
# A simple example
Let's start with a simple circuit, to introduce you to the common APIs and how they are
used. The circuit will take a public input $c$, and will prove knowledge of two private
inputs $a$ and $b$ such that
used. The circuit will take a public input $c$, and will prove knowledge of three private
inputs $a$, $b$, and a constant $k$ such that
$$a^2 \cdot b^2 = c.$$
$$k \cdot a^2 \cdot b^2 = c$$
## Define instructions