From cd9b9bc84a41299442d9f5254f24f9b53c900157 Mon Sep 17 00:00:00 2001 From: Neo Date: Tue, 16 Jan 2024 12:11:00 +0000 Subject: [PATCH] N_CONSTRAINTS to u32 --- src/air/constants.cairo | 2 +- src/stark/stark_commit.cairo | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/src/air/constants.cairo b/src/air/constants.cairo index f74e85cbf..c59b88035 100644 --- 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 index de2482fd7..db8526d2e 100644 --- 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,