fixes

HerodotusDev · Aug 28, 2024 · 70dc8ae · 70dc8ae
1 parent d9dab7d
commit 70dc8ae
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/src/air/layouts/dynamic/traces.cairo b/src/air/layouts/dynamic/traces.cairo
@@ -74,14 +74,17 @@ impl TracesConfigImpl of TracesConfigTrait {
         log_eval_domain_size: felt252,
         n_verifier_friendly_commitment_layers: felt252,
     ) {
+        let mut dynamic_params_span = public_input.dynamic_params.span();
+        let dynamic_params = Serde::<DynamicParams>::deserialize(ref dynamic_params_span).unwrap();
+
         assert_in_range(*self.original.n_columns, 1, MAX_N_COLUMNS + 1);
         assert_in_range(*self.interaction.n_columns, 1, MAX_N_COLUMNS + 1);
         assert(
-            *self.original.n_columns == (*dynamic_params.num_columns_first).into(),
+            *self.original.n_columns == dynamic_params.num_columns_first.into(),
             'Wrong number of columns'
         );
         assert(
-            *self.interaction.n_columns == (*dynamic_params.num_columns_second).into(),
+            *self.interaction.n_columns == dynamic_params.num_columns_second.into(),
             'Wrong number of columns'
         );
 

diff --git a/src/oods.cairo b/src/oods.cairo
@@ -46,7 +46,7 @@ use cairo_verifier::{
     // air::layouts::dynamic::{
     // AIRComposition, AIROods, DynamicAIRCompositionImpl,
     // DynamicAIROodsImpl, global_values::InteractionElements,
-    // public_input::PublicInput, traces::TracesDecommitment, constants::{CONSTRAINT_DEGREE, NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND, DynamicParams},
+    // public_input::PublicInput, traces::TracesDecommitment, constants::{CONSTRAINT_DEGREE, DynamicParams},
     // },
     // === DYNAMIC END ===
     table_commitment::table_commitment::TableDecommitment