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

book: Evaluation points are elements of fields, not groups 

Polynomials require both addition and multiplication, which fields have, whereas a group only specifies a single operation.
This commit is contained in:
str4d 2021-02-17 06:46:28 +13:00 committed by GitHub
parent ba9917e35c
commit e1a3cc5e9e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
book/src/background/polynomials.md
View File

@ -14,7 +14,7 @@ the formal indeterminate $X$ with some concrete value $x$, which we denote by $A
> The word "point" here stems from the geometrical usage of polynomials in the form
> $y = A(x)$, where $(x, y)$ is the coordinate of a point in two-dimensional space.
> However, the polynomials we deal with are almost always constrained to equal zero, and
> $x$ will be an [element of some group](fields.md#groups). This should not be confused
> $x$ will be an [element of some field](fields.md). This should not be confused
> with points on an [elliptic curve](curves.md), which we also make use of, but never in
> the context of polynomial evaluation.