Merge branch 'dw/fix-old-statements' into fourre-tout

o1-labs · Nov 29, 2023 · 769ee6d · 769ee6d
2 parents a4fe8ff + 5a96228
commit 769ee6d
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/book/src/kimchi/lookup.md b/book/src/kimchi/lookup.md
@@ -10,8 +10,7 @@ We integrate $\plookup$ in kimchi with the following differences:
 
 * we snake-ify the sorted table instead of wrapping it around (see later)
 * we allow fixed-ahead-of-time linear combinations of columns of the queries we make
-<!-- This sentence must be changed if we update ../../../kimchi/src/circuits/lookup/tables/mod.rs -->
-* we implemented different tables, like RangeCheck and XOR.
+* we implemented different tables, like RangeCheck and XOR. <!-- This sentence must be changed if we update ../../../kimchi/src/circuits/lookup/tables/mod.rs -->
 * we allow several lookups (or queries) to be performed within the same row
 * zero-knowledgeness is added in a specific way (see later)