saymrwulf/pasta_curves-source
1
0
Fork 0
mirror of https://github.com/saymrwulf/pasta_curves-source.git synced 2026-09-06 20:20:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

book: Tweak wording for proving system stage 1 commitments

Browse source
This commit is contained in:
Jack Grigg 2021-02-12 15:18:12 +00:00
parent 576796037a
commit 67b6d197aa
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
book/src/design/proving-system.md
View file

@ -4,9 +4,8 @@ The Halo 2 proving system can be broken down into five stages:
1. Commit to polynomials encoding the main components of the circuit: 1. Commit to polynomials encoding the main components of the circuit:
- Cell assignments. - Cell assignments.
- Permuted values for each lookup argument. - Permuted values and products for each lookup argument.
- Equality constraint permutations. - Equality constraint permutations.
- Products for each lookup argument.
2. Construct the vanishing argument to constrain all circuit relations to zero: 2. Construct the vanishing argument to constrain all circuit relations to zero:
- Standard and custom gates. - Standard and custom gates.
- Lookup argument rules. - Lookup argument rules.