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

Apply some suggestions from code review 

Co-authored-by: str4d <thestr4d@gmail.com>
This commit is contained in:
Daira Hopwood 2021-01-30 02:49:40 +00:00 committed by GitHub
parent cda768aa00
commit 7a5915ab09
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
book/src/background/curves.md
View File

@ -2,7 +2,7 @@
Elliptic curves constructed over finite fields are another important cryptographic tool. Elliptic curves constructed over finite fields are another important cryptographic tool.
We use elliptic curves because they provide a cryptographic [group](fields.md#Inverses_and_groups), We use elliptic curves because they provide a cryptographic [group](fields.md#Groups),
i.e. a group in which the [discrete logarithm problem](fields#) is hard. i.e. a group in which the [discrete logarithm problem](fields#) is hard.
There are several ways to define the curve equation, but for our purposes, let There are several ways to define the curve equation, but for our purposes, let
@ -34,7 +34,7 @@ known as the discrete log of $H$ with respect to $G$, is considered computationa
infeasible with classical computers. This is called the elliptic curve discrete log infeasible with classical computers. This is called the elliptic curve discrete log
assumption. assumption.
If an elliptic curve group $\mathbb{G}$ has prime order $q$ (like the ones used in Halo), If an elliptic curve group $\mathbb{G}$ has prime order $q$ (like the ones used in Halo 2),
then it is a finite cyclic group. Recall from the section on [groups](fields.md#Groups) then it is a finite cyclic group. Recall from the section on [groups](fields.md#Groups)
that this implies it is isomorphic to $\mathbb{Z}/q\mathbb{Z}$, or equivalently, to the that this implies it is isomorphic to $\mathbb{Z}/q\mathbb{Z}$, or equivalently, to the
scalar field $\mathbb{F}_q$. Each possible generator $G$ fixes the isomorphism; then scalar field $\mathbb{F}_q$. Each possible generator $G$ fixes the isomorphism; then