chore: increase byte lookup channes (#876)

succinctlabs · Jun 3, 2024 · 4a525e9 · 4a525e9
1 parent 60c1b83
commit 4a525e9
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 1 deletion.
diff --git a/core/src/bytes/mod.rs b/core/src/bytes/mod.rs
@@ -24,7 +24,7 @@ use crate::bytes::trace::NUM_ROWS;
 pub const NUM_BYTE_OPS: usize = 9;
 
 /// The number of different byte lookup channels.
-pub const NUM_BYTE_LOOKUP_CHANNELS: u32 = 4;
+pub const NUM_BYTE_LOOKUP_CHANNELS: u32 = 16;
 
 /// A chip for computing byte operations.
 ///

diff --git a/core/src/stark/chip.rs b/core/src/stark/chip.rs
@@ -65,6 +65,20 @@ where
         air.eval(&mut builder);
         let (sends, receives) = builder.interactions();
 
+        let nb_byte_sends = sends
+            .iter()
+            .filter(|s| s.kind == InteractionKind::Byte)
+            .count();
+        let nb_byte_receives = receives
+            .iter()
+            .filter(|r| r.kind == InteractionKind::Byte)
+            .count();
+        tracing::debug!(
+            "chip {} has {} byte interactions",
+            air.name(),
+            nb_byte_sends + nb_byte_receives
+        );
+
         let mut max_constraint_degree =
             get_max_constraint_degree(&air, air.preprocessed_width(), PROOF_MAX_NUM_PVS);