book: Re-order "Proving system" sub-sections

This commit is contained in:
Jack Grigg 2021-02-10 13:06:22 +00:00
parent 7ac44e8d53
commit 4aceada21a
1 changed files with 2 additions and 2 deletions

View File

@ -14,9 +14,9 @@
- [Tips and tricks](user/tips-and-tricks.md)
- [Design](design.md)
- [Proving system](design/proving-system.md)
- [Multipoint opening argument](design/proving-system/multipoint-opening.md)
- [Permutation argument](design/proving-system/permutation.md)
- [Lookup argument](design/proving-system/lookup-argument.md)
- [Permutation argument](design/proving-system/permutation.md)
- [Multipoint opening argument](design/proving-system/multipoint-opening.md)
- [Comparison to other work](design/proving-system/comparison.md)
- [Implementation](design/implementation.md)
- [Gadgets](design/gadgets.md)