layouts fixed

iosis-tech · Jul 17, 2024 · 16fdf6c · 16fdf6c
1 parent 03d496e
commit 16fdf6c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/crates/air/src/layout/dex/autogenerated.rs b/crates/air/src/layout/dex/autogenerated.rs
@@ -1174,7 +1174,7 @@ pub fn eval_composition_polynomial_inner(
     total_sum += constraint_coefficients[142] * value;
 
     // Constraint: ecdsa/signature0/exponentiate_generator/zeros_tail.
-    value = (column20_row14).field_div(&NonZeroFelt::from_felt_unchecked(domain6));
+    value = (column20_row14).field_div(&NonZeroFelt::from_felt_unchecked(domain16));
     total_sum += constraint_coefficients[143] * value;
 
     // Constraint: ecdsa/signature0/exponentiate_generator/add_points/slope.

diff --git a/crates/air/src/layout/small/autogenerated.rs b/crates/air/src/layout/small/autogenerated.rs
@@ -636,7 +636,7 @@ pub fn eval_composition_polynomial_inner(
 
     // Constraint: range_check16/perm/last.
     value = (column23_inter1_row0 - global_values.range_check16_perm_public_memory_prod)
-        .field_div(&NonZeroFelt::from_felt_unchecked(domain2));
+        .field_div(&NonZeroFelt::from_felt_unchecked(domain21));
     total_sum += constraint_coefficients[43] * value;
 
     // Constraint: range_check16/diff_is_bit.
@@ -651,7 +651,7 @@ pub fn eval_composition_polynomial_inner(
 
     // Constraint: range_check16/maximum.
     value = (column2_row0 - global_values.range_check_max)
-        .field_div(&NonZeroFelt::from_felt_unchecked(domain2));
+        .field_div(&NonZeroFelt::from_felt_unchecked(domain21));
     total_sum += constraint_coefficients[46] * value;
 
     // Constraint: pedersen/hash0/ec_subset_sum/bit_unpacking/last_one_is_zero.