feat: add log size of Memory interaction trace

kkrt-labs · Dec 3, 2024 · 3df8445 · 3df8445
1 parent 4d57150
commit 3df8445
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/crates/brainfuck_prover/src/components/memory/component.rs b/crates/brainfuck_prover/src/components/memory/component.rs
@@ -187,7 +187,7 @@ mod tests {
 
         // Generate interaction trace
         let (interaction_trace, interaction_claim) =
-            interaction_trace_evaluation(&main_trace, &memory_lookup_elements);
+            interaction_trace_evaluation(&main_trace, &memory_lookup_elements).unwrap();
 
         // Create the trace evaluation TreeVec
         let trace = TreeVec::new(vec![preprocessed_trace, main_trace, interaction_trace]);

diff --git a/crates/brainfuck_prover/src/components/mod.rs b/crates/brainfuck_prover/src/components/mod.rs
@@ -5,7 +5,7 @@ use processor::table::ProcessorColumn;
 use stwo_prover::core::{
     backend::simd::SimdBackend,
     channel::Channel,
-    fields::m31::BaseField,
+    fields::{m31::BaseField, secure_column::SECURE_EXTENSION_DEGREE},
     pcs::TreeVec,
     poly::{circle::CircleEvaluation, BitReversedOrder},
     ColumnVec,
@@ -75,7 +75,7 @@ impl<T: TraceColumn> Claim<T> {
         // TODO: Add the preprocessed and interaction trace correct sizes
         let preprocessed_trace_log_sizes: Vec<u32> = vec![self.log_size];
         let trace_log_sizes = vec![self.log_size; T::count()];
-        let interaction_trace_log_sizes: Vec<u32> = vec![];
+        let interaction_trace_log_sizes: Vec<u32> = vec![self.log_size; SECURE_EXTENSION_DEGREE];
         TreeVec::new(vec![
             preprocessed_trace_log_sizes,
             trace_log_sizes,