fri_config_validate fixes

src/fri/fri_config.cairo

@@ -2,6 +2,7 @@ use core::option::OptionTrait;
 use core::array::SpanTrait;
 use core::traits::Into;
 use cairo_verifier::structs::table_commitment_config::TableCommitmentConfig;
+use cairo_verifier::structs::vector_commitment_config::VectorCommitmentConfig;
 
 const MAX_LAST_LAYER_LOG_DEGREE_BOUND: u32 = 15;
 const MAX_FRI_LAYERS: u32 = 15;
@@ -33,27 +34,39 @@ fn fri_config_validate(
     assert(*(config.fri_step_sizes[0]) == 0, '');
 
     let len: u32 = config.n_layers.try_into().unwrap();
-    let mut i = 0_u32;
+    let mut i: u32 = 1;
     let mut sum_of_step_sizes: felt252 = 0;
     let mut log_input_size = config.log_input_size;
     loop {
         if i == len { break; }
+
         let fri_step: felt252 = *(config.fri_step_sizes.at(i));
-        assert(1_u32 <= fri_step.try_into().unwrap(), '');
-        assert(fri_step.try_into().unwrap() <= MAX_FRI_STEP + 1, '');
-        assert((*(config.inner_layers.at(i))).columns == fri_step * fri_step, '');
+        let table_commitment = *(config.inner_layers.at(i));
+
+        let fri_step_u32: u32 = fri_step.try_into().unwrap();
+        assert(1_u32 <= fri_step_u32, '');
+        assert(fri_step_u32 <= MAX_FRI_STEP + 1, '');
+        assert(table_commitment.columns == fri_step * fri_step, '');
+
         i += 1;
         log_input_size -= fri_step;
         sum_of_step_sizes += fri_step;
-        // validate_vector_commitment(
-        //     config=layers[0].vector,
-        //     expected_height=log_input_size,
-        //     n_verifier_friendly_commitment_layers=n_verifier_friendly_commitment_layers,
-        // );
-    };
 
+        validate_vector_commitment(
+            table_commitment.vector,
+            log_input_size,
+            n_verifier_friendly_commitment_layers,
+        );
+    };
 
     let log_expected_input_degree = sum_of_step_sizes + config.log_last_layer_degree_bound;
     assert(log_expected_input_degree + log_n_cosets == config.log_input_size, '');
     log_expected_input_degree
-}
+}
+
+// ghost functions
+fn validate_vector_commitment(
+    config: VectorCommitmentConfig,
+    expected_height: felt252,
+    n_verifier_friendly_commitment_layers: felt252,
+) {}