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

Address @str4d's review comment about advice and instance columns being treated almost identically. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2021-02-15 15:08:29 +00:00
parent 760d69bd2c
commit c769dd0fa6
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/design/proving-system/circuit-commitments.md
View File

@ -9,9 +9,9 @@ the $i$th fixed column. Without loss of generality, we'll similarly define $A_{i
represent the advice and instance assignments.
> We separate fixed columns here because they are provided by the verifier, whereas the
> advice columns are provided by the prover. The instance columns are agreed between both
> parties. In practice, the commitments to instance and fixed columns are computed by
> both the prover and verifier, and only the advice commitments are stored in the proof.
> advice and instance columns are provided by the prover. In practice, the commitments to
> instance and fixed columns are computed by both the prover and verifier, and only the
> advice commitments are stored in the proof.
To commit to these assignments, we construct Lagrange polynomials of degree $n - 1$ for
each column, over an evaluation domain of size $n$ (where $\omega$ is the $n$th primitive