in testing the STARK, use 2^log_2_exp_factor, not 2^(2^log_2_exp_factor)

TritonVM · Apr 25, 2023 · 304a7ea · 304a7ea
1 parent 39d19d3
commit 304a7ea
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/triton-vm/src/shared_tests.rs b/triton-vm/src/shared_tests.rs
@@ -71,7 +71,7 @@ pub fn parse_simulate_prove(
     };
     let log_expansion_factor = 2;
     let security_level = 32;
-    let parameters = StarkParameters::new(security_level, 1 << log_expansion_factor);
+    let parameters = StarkParameters::new(security_level, log_expansion_factor);
     let stark = Stark::new(claim, parameters);
 
     prof_start!(maybe_profiler, "prove");

diff --git a/triton-vm/src/stark.rs b/triton-vm/src/stark.rs
@@ -950,7 +950,7 @@ pub(crate) mod triton_stark_tests {
         };
         let log_expansion_factor = 2;
         let security_level = 32;
-        let parameters = StarkParameters::new(security_level, 1 << log_expansion_factor);
+        let parameters = StarkParameters::new(security_level, log_expansion_factor);
         let stark = Stark::new(claim, parameters);
 
         let mut master_base_table = MasterBaseTable::new(