From fb411b12e875775066cae701eeb45ae3a3486f7d Mon Sep 17 00:00:00 2001
From: Jack Grigg <jack@electriccoin.co>
Date: Mon, 11 Jan 2021 21:07:45 +0000
Subject: [PATCH] book: Reorganize design subsections

---
 book/src/SUMMARY.md                                       | 8 +++++---
 book/src/design/implementation.md                         | 1 +
 book/src/design/proving-system.md                         | 1 +
 book/src/design/{ => proving-system}/lookup-argument.md   | 0
 .../src/design/{ => proving-system}/multipoint-opening.md | 0
 book/src/design/{ => proving-system}/permutation.md       | 0
 6 files changed, 7 insertions(+), 3 deletions(-)
 create mode 100644 book/src/design/implementation.md
 create mode 100644 book/src/design/proving-system.md
 rename book/src/design/{ => proving-system}/lookup-argument.md (100%)
 rename book/src/design/{ => proving-system}/multipoint-opening.md (100%)
 rename book/src/design/{ => proving-system}/permutation.md (100%)

diff --git a/book/src/SUMMARY.md b/book/src/SUMMARY.md
index a720c8a..56d8b0c 100644
--- a/book/src/SUMMARY.md
+++ b/book/src/SUMMARY.md
@@ -13,9 +13,11 @@
   - [Gadgets](user/gadgets.md)
   - [Tips and tricks](user/tips-and-tricks.md)
 - [Design](design.md)
-  - [Multipoint opening argument](design/multipoint-opening.md)
-  - [Permutation argument](design/permutation.md)
-  - [Lookup argument](design/lookup-argument.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)
+  - [Implementation](design/implementation.md)
   - [Gadgets](design/gadgets.md)
     - [SHA-256](design/gadgets/sha256.md)
       - [16-bit table chip](design/gadgets/sha256/table16.md)
diff --git a/book/src/design/implementation.md b/book/src/design/implementation.md
new file mode 100644
index 0000000..d2557ff
--- /dev/null
+++ b/book/src/design/implementation.md
@@ -0,0 +1 @@
+# Implementation
diff --git a/book/src/design/proving-system.md b/book/src/design/proving-system.md
new file mode 100644
index 0000000..adad839
--- /dev/null
+++ b/book/src/design/proving-system.md
@@ -0,0 +1 @@
+# Proving system
diff --git a/book/src/design/lookup-argument.md b/book/src/design/proving-system/lookup-argument.md
similarity index 100%
rename from book/src/design/lookup-argument.md
rename to book/src/design/proving-system/lookup-argument.md
diff --git a/book/src/design/multipoint-opening.md b/book/src/design/proving-system/multipoint-opening.md
similarity index 100%
rename from book/src/design/multipoint-opening.md
rename to book/src/design/proving-system/multipoint-opening.md
diff --git a/book/src/design/permutation.md b/book/src/design/proving-system/permutation.md
similarity index 100%
rename from book/src/design/permutation.md
rename to book/src/design/proving-system/permutation.md