Merge pull request #1356 from o1-labs/dw/additional-comments-on-combi…

…ne-table-master Additional comment on the table_id_combiner [master]
o1-labs · Nov 30, 2023 · 90438ea · 90438ea
2 parents c674819 + 3e1e834
commit 90438ea
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/kimchi/src/verifier.rs b/kimchi/src/verifier.rs
@@ -1041,6 +1041,9 @@ where
             let joint_combiner = oracles
                 .joint_combiner
                 .expect("joint_combiner should be present if lookups are used");
+            // The table ID is added as the last column of the vector.
+            // Therefore, the exponent for the combiner for the table ID is the
+            // width of the concatenated table, i.e. max_joint_size.
             let table_id_combiner = joint_combiner
                 .1
                 .pow([u64::from(li.lookup_info.max_joint_size)]);