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

book: Small changes from review

Browse source 
Co-authored-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
str4d 2021-02-13 03:43:35 +13:00 committed by GitHub
parent 59010c4674
commit 0a2fb4781d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -8,7 +8,7 @@ The Halo 2 proving system can be broken down into five stages:
- Equality constraint permutations.
- Products for each lookup argument.
2. Construct the vanishing argument to constrain all circuit relations to zero:
- Custom gates.
- Standard and custom gates.
- Lookup argument rules.
- Equality constraint permutation rules.
3. Evaluate the above polynomials at all necessary points:

2
book/src/design/proving-system/inner-product.md
View file

@ -6,6 +6,6 @@ opening proofs, based around the Inner Product Argument.
> TODO: Explain Halo 2's variant of the IPA.
>
> It is very similar to $\text{PC}_\text{DL}.\text{Open}$ from Appendix A.2 of [BCMS20].
> See [this comparision](comparison.md#bcms20-appendix-a2) for details.
> See [this comparison](comparison.md#bcms20-appendix-a2) for details.
>
> [BCMS20]: https://eprint.iacr.org/2020/499