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)]);