From 3e1e83405f085ec2fa359d67cce4f47455d5d738 Mon Sep 17 00:00:00 2001
From: Danny Willems <be.danny.willems@gmail.com>
Date: Wed, 29 Nov 2023 23:56:57 +0100
Subject: [PATCH] Additional comment on the table_id_combiner

---
 kimchi/src/verifier.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/kimchi/src/verifier.rs b/kimchi/src/verifier.rs
index f831b05cd3..7664c9225f 100644
--- 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)]);