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: Move lookup argument design page to have consistent URI

Browse source
This commit is contained in:
Jack Grigg 2021-02-12 15:15:05 +00:00
parent 7820083c0d
commit 576796037a
3 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/SUMMARY.md
View file

@ -14,7 +14,7 @@
- [Tips and tricks](user/tips-and-tricks.md)
- [Design](design.md)
- [Proving system](design/proving-system.md)
- [Lookup argument](design/proving-system/lookup-argument.md)
- [Lookup argument](design/proving-system/lookup.md)
- [Permutation argument](design/proving-system/permutation.md)
- [Circuit commitments](design/proving-system/circuit-commitments.md)
- [Vanishing argument](design/proving-system/vanishing.md)

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

@ -41,7 +41,7 @@ follows:
$$S_\text{compressed}(X) = \theta^{m-1} S_0(X) + \theta^{m-2} S_1(X) + \dots + \theta S_{m-2}(X) + S_{m-1}(X)$$
- The prover then permutes $A_\text{compressed}(X)$ and $S_\text{compressed}(X)$ according
to the [rules of the lookup argument](lookup-argument.md), obtaining $A'(X)$ and $S'(X)$.
to the [rules of the lookup argument](lookup.md), obtaining $A'(X)$ and $S'(X)$.
Finally, the prover creates blinding commitments for all of the lookups

0
book/src/design/proving-system/lookup-argument.md → book/src/design/proving-system/lookup.md
View file