From c769dd0fa6701613efa51cae25014aa4ae92a5e9 Mon Sep 17 00:00:00 2001 From: Daira Hopwood Date: Mon, 15 Feb 2021 15:08:29 +0000 Subject: [PATCH] Address @str4d's review comment about advice and instance columns being treated almost identically. Signed-off-by: Daira Hopwood --- book/src/design/proving-system/circuit-commitments.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/book/src/design/proving-system/circuit-commitments.md b/book/src/design/proving-system/circuit-commitments.md index ba3b55e2..17233c84 100644 --- a/book/src/design/proving-system/circuit-commitments.md +++ b/book/src/design/proving-system/circuit-commitments.md @@ -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