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

book: Add a placeholder page for explaining the IPA

Browse source 
For now, it directs readers to the existing comparision page, which
describes Halo 2's IPA relative to another work.
This commit is contained in:
Jack Grigg 2021-02-11 19:41:00 +00:00
parent 6da0adb4e1
commit 7b7346c462
2 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
book/src/SUMMARY.md
View file

@ -19,6 +19,7 @@
- [Circuit commitments](design/proving-system/circuit-commitments.md)
- [Vanishing argument](design/proving-system/vanishing.md)
- [Multipoint opening argument](design/proving-system/multipoint-opening.md)
- [Inner product argument](design/proving-system/inner-product.md)
- [Comparison to other work](design/proving-system/comparison.md)
- [Implementation](design/implementation.md)
- [Gadgets](design/gadgets.md)

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

@ -0,0 +1,11 @@
# Inner product argument
Halo 2 uses a polynomial commitment scheme for which we can create polynomial commitment
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.
>
> [BCMS20]: https://eprint.iacr.org/2020/499