fmt&clippy

iosis-tech · Dec 18, 2024 · e2d6170 · e2d6170
1 parent 0605deb
commit e2d6170
Show file tree

Hide file tree

Showing 7 changed files with 30 additions and 18 deletions.
diff --git a/crates/air/src/layout/dex/autogenerated/autogenerated_oods.rs b/crates/air/src/layout/dex/autogenerated/autogenerated_oods.rs
@@ -727,12 +727,14 @@ pub fn eval_oods_polynomial_inner<Layout: StaticLayoutTrait + LayoutTrait>(
     // Sum the OODS boundary constraints on the composition polynomials.
     let oods_point_to_deg = oods_point.pow_felt(&(Layout::CONSTRAINT_DEGREE.into()));
 
-    let value = (column_values[Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize]
+    let value = (column_values
+        [Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize]
         - oods_values[200])
         .field_div(&felt_nonzero!(point - oods_point_to_deg));
     let total_sum = total_sum + constraint_coefficients[200] * value;
 
-    let value = (column_values[Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize + 1]
+    let value = (column_values
+        [Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize + 1]
         - oods_values[201])
         .field_div(&felt_nonzero!(point - oods_point_to_deg));
 

diff --git a/crates/air/src/layout/dynamic/autogenerated/autogenerated_oods.rs b/crates/air/src/layout/dynamic/autogenerated/autogenerated_oods.rs
@@ -1289,13 +1289,13 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow1325 = trace_generator.pow_felt(&(ecdsa_signature0_add_results_slope_offset));
     let pow1326 = trace_generator.pow_felt(&(ecdsa_signature0_exponentiate_key_x_diff_inv_offset));
     let pow1327 = trace_generator.pow_felt(&(ecdsa_signature0_exponentiate_key_slope_offset));
-    let pow1328 = trace_generator
-        .pow_felt(&(ecdsa_signature0_exponentiate_key_partial_sum_y_offset));
+    let pow1328 =
+        trace_generator.pow_felt(&(ecdsa_signature0_exponentiate_key_partial_sum_y_offset));
     let pow1329 = pow1032 * pow1328; // pow(trace_generator, (safe_div(ecdsa_builtin_row_ratio, 512)) + ecdsa__signature0__exponentiate_key__partial_sum__y_offset).
     let pow1330 = pow1030 * pow1328; // pow(trace_generator, (safe_div((safe_mult(255, ecdsa_builtin_row_ratio)), 512)) + ecdsa__signature0__exponentiate_key__partial_sum__y_offset).
     let pow1331 = pow1031 * pow1329; // pow(trace_generator, (safe_div(ecdsa_builtin_row_ratio, 2)) + (safe_div((safe_mult(255, ecdsa_builtin_row_ratio)), 512)) + ecdsa__signature0__exponentiate_key__partial_sum__y_offset).
-    let pow1332 = trace_generator
-        .pow_felt(&(ecdsa_signature0_exponentiate_key_partial_sum_x_offset));
+    let pow1332 =
+        trace_generator.pow_felt(&(ecdsa_signature0_exponentiate_key_partial_sum_x_offset));
     let pow1333 = pow1032 * pow1332; // pow(trace_generator, (safe_div(ecdsa_builtin_row_ratio, 512)) + ecdsa__signature0__exponentiate_key__partial_sum__x_offset).
     let pow1334 = pow1030 * pow1332; // pow(trace_generator, (safe_div((safe_mult(255, ecdsa_builtin_row_ratio)), 512)) + ecdsa__signature0__exponentiate_key__partial_sum__x_offset).
     let pow1335 = pow1031 * pow1333; // pow(trace_generator, (safe_div(ecdsa_builtin_row_ratio, 2)) + (safe_div((safe_mult(255, ecdsa_builtin_row_ratio)), 512)) + ecdsa__signature0__exponentiate_key__partial_sum__x_offset).
@@ -3626,7 +3626,7 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let total_sum = total_sum + constraint_coefficients[318] * value;
 
     let value = (column_values
-        [dynamic_params.keccak_keccak_parse_to_diluted_final_reshaped_input_column as usize as usize]
+        [dynamic_params.keccak_keccak_parse_to_diluted_final_reshaped_input_column as usize]
         - oods_values[319])
         .field_div(&felt_nonzero!(point - pow1242 * oods_point));
     let total_sum = total_sum + constraint_coefficients[319] * value;
@@ -3638,7 +3638,7 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let total_sum = total_sum + constraint_coefficients[320] * value;
 
     let value = (column_values
-        [dynamic_params.keccak_keccak_parse_to_diluted_final_reshaped_input_column as usize as usize]
+        [dynamic_params.keccak_keccak_parse_to_diluted_final_reshaped_input_column as usize]
         - oods_values[321])
         .field_div(&felt_nonzero!(point - pow1250 * oods_point));
     let total_sum = total_sum + constraint_coefficients[321] * value;

diff --git a/crates/air/src/layout/recursive/autogenerated/autogenerated_oods.rs b/crates/air/src/layout/recursive/autogenerated/autogenerated_oods.rs
@@ -505,12 +505,14 @@ pub fn eval_oods_polynomial_inner<Layout: StaticLayoutTrait + LayoutTrait>(
     // Sum the OODS boundary constraints on the composition polynomials.
     let oods_point_to_deg = oods_point.pow_felt(&(Layout::CONSTRAINT_DEGREE.into()));
 
-    let value = (column_values[Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize]
+    let value = (column_values
+        [Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize]
         - oods_values[133])
         .field_div(&felt_nonzero!(point - oods_point_to_deg));
     let total_sum = total_sum + constraint_coefficients[133] * value;
 
-    let value = (column_values[Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize + 1]
+    let value = (column_values
+        [Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize + 1]
         - oods_values[134])
         .field_div(&felt_nonzero!(point - oods_point_to_deg));
 

diff --git a/crates/air/src/layout/recursive_with_poseidon/autogenerated/autogenerated_oods.rs b/crates/air/src/layout/recursive_with_poseidon/autogenerated/autogenerated_oods.rs
@@ -742,12 +742,14 @@ pub fn eval_oods_polynomial_inner<Layout: StaticLayoutTrait + LayoutTrait>(
     // Sum the OODS boundary constraints on the composition polynomials.
     let oods_point_to_deg = oods_point.pow_felt(&(Layout::CONSTRAINT_DEGREE.into()));
 
-    let value = (column_values[Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize]
+    let value = (column_values
+        [Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize]
         - oods_values[192])
         .field_div(&felt_nonzero!(point - oods_point_to_deg));
     let total_sum = total_sum + constraint_coefficients[192] * value;
 
-    let value = (column_values[Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize + 1]
+    let value = (column_values
+        [Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize + 1]
         - oods_values[193])
         .field_div(&felt_nonzero!(point - oods_point_to_deg));
 

diff --git a/crates/air/src/layout/small/autogenerated/autogenerated_oods.rs b/crates/air/src/layout/small/autogenerated/autogenerated_oods.rs
@@ -733,12 +733,14 @@ pub fn eval_oods_polynomial_inner<Layout: StaticLayoutTrait + LayoutTrait>(
     // Sum the OODS boundary constraints on the composition polynomials.
     let oods_point_to_deg = oods_point.pow_felt(&(Layout::CONSTRAINT_DEGREE.into()));
 
-    let value = (column_values[Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize]
+    let value = (column_values
+        [Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize]
         - oods_values[201])
         .field_div(&felt_nonzero!(point - oods_point_to_deg));
     let total_sum = total_sum + constraint_coefficients[201] * value;
 
-    let value = (column_values[Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize + 1]
+    let value = (column_values
+        [Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize + 1]
         - oods_values[202])
         .field_div(&felt_nonzero!(point - oods_point_to_deg));
 

diff --git a/crates/air/src/layout/starknet/autogenerated/autogenerated_oods.rs b/crates/air/src/layout/starknet/autogenerated/autogenerated_oods.rs
@@ -1040,12 +1040,14 @@ pub fn eval_oods_polynomial_inner<Layout: StaticLayoutTrait + LayoutTrait>(
     // Sum the OODS boundary constraints on the composition polynomials.
     let oods_point_to_deg = oods_point.pow_felt(&(Layout::CONSTRAINT_DEGREE.into()));
 
-    let value = (column_values[Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize]
+    let value = (column_values
+        [Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize]
         - oods_values[271])
         .field_div(&felt_nonzero!(point - oods_point_to_deg));
     let total_sum = total_sum + constraint_coefficients[271] * value;
 
-    let value = (column_values[Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize + 1]
+    let value = (column_values
+        [Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize + 1]
         - oods_values[272])
         .field_div(&felt_nonzero!(point - oods_point_to_deg));
 

diff --git a/crates/air/src/layout/starknet_with_keccak/autogenerated/autogenerated_oods.rs b/crates/air/src/layout/starknet_with_keccak/autogenerated/autogenerated_oods.rs
@@ -3014,12 +3014,14 @@ pub fn eval_oods_polynomial_inner<Layout: StaticLayoutTrait + LayoutTrait>(
     // Sum the OODS boundary constraints on the composition polynomials.
     let oods_point_to_deg = oods_point.pow_felt(&(Layout::CONSTRAINT_DEGREE.into()));
 
-    let value = (column_values[Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize]
+    let value = (column_values
+        [Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize]
         - oods_values[734])
         .field_div(&felt_nonzero!(point - oods_point_to_deg));
     let total_sum = total_sum + constraint_coefficients[734] * value;
 
-    let value = (column_values[Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize + 1]
+    let value = (column_values
+        [Layout::NUM_COLUMNS_FIRST as usize + Layout::NUM_COLUMNS_SECOND as usize + 1]
         - oods_values[735])
         .field_div(&felt_nonzero!(point - oods_point_to_deg));