Remove snarky

o1-labs · Oct 23, 2023 · abd91ea · abd91ea
1 parent fcb5f9e
commit abd91ea
Show file tree

Hide file tree

Showing 9 changed files with 0 additions and 607 deletions.
diff --git a/book/src/SUMMARY.md b/book/src/SUMMARY.md
@@ -58,17 +58,6 @@
     - [Permutation](./kimchi/permut.md)
     - [Lookup](./kimchi/lookup.md)
 
-# Snarky
-
-- [Overview](./snarky/overview.md)
-- [API](./snarky/api.md)
-- [snarky wrapper](./snarky/snarky-wrapper.md)
-- [Kimchi backend](./snarky/kimchi-backend.md)
-- [Vars](./snarky/vars.md)
-- [Booleans](./snarky/booleans.md)
-- [Circuit generation](./snarky/circuit-generation.md)
-- [Witness generation](./snarky/witness-generation.md)
-
 # Pickles & Inductive Proof Systems
 
 - [Overview](./fundamentals/zkbook_ips.md)

diff --git a/book/src/snarky/api.md b/book/src/snarky/api.md
diff --git a/book/src/snarky/booleans.md b/book/src/snarky/booleans.md
diff --git a/book/src/snarky/circuit-generation.md b/book/src/snarky/circuit-generation.md
diff --git a/book/src/snarky/kimchi-backend.md b/book/src/snarky/kimchi-backend.md
diff --git a/book/src/snarky/overview.md b/book/src/snarky/overview.md