dynamic layout sketch

src/air/layouts.cairo

@@ -16,5 +16,7 @@ mod recursive;
 // === STARKNET_WITH_KECCAK BEGIN ===
 // mod starknet_with_keccak;
 // === STARKNET_WITH_KECCAK END ===
-
+// === DYNAMIC BEGIN ===
+// mod dynamic;
+// === DYNAMIC END ===
 

src/air/layouts/dynamic.cairo

@@ -0,0 +1,45 @@
+mod autogenerated;
+mod constants;
+mod global_values;
+mod public_input;
+mod traces;
+
+use cairo_verifier::{
+    air::{
+        constants::{SHIFT_POINT_X, SHIFT_POINT_Y, StarkCurve}, air::{AIRComposition, AIROods},
+        diluted::get_diluted_product,
+        periodic_columns::{
+            eval_pedersen_x, eval_pedersen_y, eval_ecdsa_x, eval_ecdsa_y,
+            eval_poseidon_poseidon_full_round_key0, eval_poseidon_poseidon_full_round_key1,
+            eval_poseidon_poseidon_full_round_key2, eval_poseidon_poseidon_partial_round_key0,
+            eval_poseidon_poseidon_partial_round_key1
+        },
+        public_input::{PublicInput, get_public_memory_product_ratio}
+    },
+    common::{math::{Felt252Div, Felt252PartialOrd, pow}, asserts::assert_range_u128}
+};
+
+impl StarknetAIRCompositionImpl of AIRComposition<InteractionElements, PublicInput> {
+    fn eval_composition_polynomial(
+        interaction_elements: InteractionElements,
+        public_input: @PublicInput,
+        mask_values: Span<felt252>,
+        constraint_coefficients: Span<felt252>,
+        point: felt252,
+        trace_domain_size: felt252,
+        trace_generator: felt252
+    ) -> felt252 {// TODO REWRITE
+    }
+}
+
+impl StarknetAIROodsImpl of AIROods {
+    fn eval_oods_polynomial(
+        column_values: Span<felt252>,
+        oods_values: Span<felt252>,
+        constraint_coefficients: Span<felt252>,
+        point: felt252,
+        oods_point: felt252,
+        trace_generator: felt252,
+    ) -> felt252 {// TODO REWRITE
+    }
+}

src/air/layouts/dynamic/autogenerated.cairo

@@ -0,0 +1,26 @@
+use cairo_verifier::{
+    air::layouts::dex::{
+        global_values::GlobalValues,
+        constants::{CONSTRAINT_DEGREE, NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND, MASK_SIZE}
+    },
+    common::math::{Felt252Div, pow},
+};
+
+fn eval_composition_polynomial_inner(
+    mut mask_values: Span<felt252>,
+    mut constraint_coefficients: Span<felt252>,
+    point: felt252,
+    trace_generator: felt252,
+    global_values: GlobalValues
+) -> felt252 { // TODO REWRITE
+}
+
+fn eval_oods_polynomial_inner(
+    mut column_values: Span<felt252>,
+    mut oods_values: Span<felt252>,
+    mut constraint_coefficients: Span<felt252>,
+    point: felt252,
+    oods_point: felt252,
+    trace_generator: felt252,
+) -> felt252 { // TODO REWRITE
+}