From 70dc8ae35d1a5985e2834395c75bd553066f304f Mon Sep 17 00:00:00 2001 From: Bartosz Nowak Date: Wed, 28 Aug 2024 19:53:07 +0200 Subject: [PATCH] fixes --- src/air/layouts/dynamic/traces.cairo | 7 +++++-- src/oods.cairo | 2 +- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/src/air/layouts/dynamic/traces.cairo b/src/air/layouts/dynamic/traces.cairo index d93cc7a61..7dee35b65 100644 --- a/src/air/layouts/dynamic/traces.cairo +++ b/src/air/layouts/dynamic/traces.cairo @@ -74,14 +74,17 @@ impl TracesConfigImpl of TracesConfigTrait { log_eval_domain_size: felt252, n_verifier_friendly_commitment_layers: felt252, ) { + let mut dynamic_params_span = public_input.dynamic_params.span(); + let dynamic_params = Serde::::deserialize(ref dynamic_params_span).unwrap(); + assert_in_range(*self.original.n_columns, 1, MAX_N_COLUMNS + 1); assert_in_range(*self.interaction.n_columns, 1, MAX_N_COLUMNS + 1); assert( - *self.original.n_columns == (*dynamic_params.num_columns_first).into(), + *self.original.n_columns == dynamic_params.num_columns_first.into(), 'Wrong number of columns' ); assert( - *self.interaction.n_columns == (*dynamic_params.num_columns_second).into(), + *self.interaction.n_columns == dynamic_params.num_columns_second.into(), 'Wrong number of columns' ); diff --git a/src/oods.cairo b/src/oods.cairo index af4be1322..cd4835cb1 100644 --- a/src/oods.cairo +++ b/src/oods.cairo @@ -46,7 +46,7 @@ use cairo_verifier::{ // air::layouts::dynamic::{ // AIRComposition, AIROods, DynamicAIRCompositionImpl, // DynamicAIROodsImpl, global_values::InteractionElements, - // public_input::PublicInput, traces::TracesDecommitment, constants::{CONSTRAINT_DEGREE, NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND, DynamicParams}, + // public_input::PublicInput, traces::TracesDecommitment, constants::{CONSTRAINT_DEGREE, DynamicParams}, // }, // === DYNAMIC END === table_commitment::table_commitment::TableDecommitment