From 4aceada21a2fef46928fc4ed7accdc994a52fbbe Mon Sep 17 00:00:00 2001 From: Jack Grigg Date: Wed, 10 Feb 2021 13:06:22 +0000 Subject: [PATCH] book: Re-order "Proving system" sub-sections --- book/src/SUMMARY.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/book/src/SUMMARY.md b/book/src/SUMMARY.md index e6eb615..ecfd665 100644 --- a/book/src/SUMMARY.md +++ b/book/src/SUMMARY.md @@ -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)