mirror of https://github.com/zcash/halo2.git
"Copy constraints" -> "equality constraints". (There were no other uses of this terminology.)
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
parent
2f34318510
commit
25616616e3
|
@ -30,9 +30,9 @@ $a(X), X \in \mathcal{H}.$ To recover the coefficient form, we can use
|
||||||
[Lagrange interpolation](polynomials.md#lagrange-interpolation), such that
|
[Lagrange interpolation](polynomials.md#lagrange-interpolation), such that
|
||||||
$a(\omega^i) = a_i.$
|
$a(\omega^i) = a_i.$
|
||||||
|
|
||||||
## Copy constraints
|
## Equality constraints
|
||||||
- Define permutation between a set of columns, e.g. $\sigma(a, b, c)$
|
- Define permutation between a set of columns, e.g. $\sigma(a, b, c)$
|
||||||
- Copy specific cells between these columns, e.g. $b_1 = c_0$
|
- Assert equalities between specific cells in these columns, e.g. $b_1 = c_0$
|
||||||
- Construct permuted columns which should evaluate to same value as original columns
|
- Construct permuted columns which should evaluate to same value as original columns
|
||||||
|
|
||||||
## Permutation grand product
|
## Permutation grand product
|
||||||
|
|
Loading…
Reference in New Issue