N_CONSTRAINTS to u32

HerodotusDev · Jan 16, 2024 · cd9b9bc · cd9b9bc
1 parent 1b5a402
commit cd9b9bc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/src/air/constants.cairo b/src/air/constants.cairo
@@ -19,7 +19,7 @@ const LAYOUT_CODE: felt252 = 0x726563757273697665;
 const LOG_CPU_COMPONENT_HEIGHT: felt252 = 4;
 const MASK_SIZE: u32 = 133;
 const MEMORY_STEP: felt252 = 2;
-const N_CONSTRAINTS: felt252 = 93;
+const N_CONSTRAINTS: u32 = 93;
 const N_DYNAMIC_PARAMS: felt252 = 0;
 const NUM_COLUMNS_FIRST: u32 = 7;
 const NUM_COLUMNS_SECOND: u32 = 3;

diff --git a/src/stark/stark_commit.cairo b/src/stark/stark_commit.cairo
@@ -28,8 +28,7 @@ fn stark_commit(
     );
 
     let composition_alpha = channel.random_felt_to_prover();
-    let traces_coefficients = powers_array(1, composition_alpha, N_CONSTRAINTS.try_into().unwrap(),)
-        .span();
+    let traces_coefficients = powers_array(1, composition_alpha, N_CONSTRAINTS).span();
 
     let composition_commitment = table_commit(
         ref channel, *unsent_commitment.composition, *config.composition,