Fix compilation errors

src/air/layouts/recursive.cairo

@@ -22,6 +22,7 @@ use cairo_verifier::{
     },
     common::{math::{Felt252Div, Felt252PartialOrd, pow}, asserts::assert_range_u128}
 };
+use starknet::ContractAddress;
 
 impl RecursiveAIRCompositionImpl of AIRComposition<InteractionElements, PublicInput> {
     fn eval_composition_polynomial(
@@ -31,7 +32,8 @@ impl RecursiveAIRCompositionImpl of AIRComposition<InteractionElements, PublicIn
         constraint_coefficients: Span<felt252>,
         point: felt252,
         trace_domain_size: felt252,
-        trace_generator: felt252
+        trace_generator: felt252,
+        contract_address_1: ContractAddress,
     ) -> felt252 {
         let memory_z = interaction_elements.memory_multi_column_perm_perm_interaction_elm;
         let memory_alpha = interaction_elements.memory_multi_column_perm_hash_interaction_elm0;
@@ -104,6 +106,7 @@ impl RecursiveAIROodsImpl of AIROods {
         point: felt252,
         oods_point: felt252,
         trace_generator: felt252,
+        contract_address_2: ContractAddress,
     ) -> felt252 {
         eval_oods_polynomial_inner(
             column_values, oods_values, constraint_coefficients, point, oods_point, trace_generator,

src/benches/fri/verify.cairo

@@ -1,11 +1,12 @@
-use cairo_verifier::{fri::fri::fri_verify, tests::stone_proof_fibonacci_keccak};
+use cairo_verifier::{fri::fri::fri_verify_initial, tests::stone_proof_fibonacci_keccak};
 
 fn bench_fri_verify() {
     let queries = stone_proof_fibonacci_keccak::queries::get().span();
     let commitment = stone_proof_fibonacci_keccak::fri::commitment::get();
     let decommitment = stone_proof_fibonacci_keccak::fri::decommitment::get();
-    let witness = stone_proof_fibonacci_keccak::fri::witness::get();
+    let _witness = stone_proof_fibonacci_keccak::fri::witness::get();
 
-    fri_verify(queries, commitment, decommitment, witness)
+    fri_verify_initial(queries, commitment, decommitment);
+    // TODO: add next steps
 }
 

src/benches/stark/commit.cairo

@@ -13,5 +13,5 @@ fn bench_stark_commit() {
     let config = stone_proof_fibonacci_keccak::stark::config::get();
     let stark_domains = stone_proof_fibonacci_keccak::stark::domains::get();
 
-    stark_commit(ref channel, @public_input, @unsent_commitment, @config, @stark_domains);
+    stark_commit(ref channel, @public_input, @unsent_commitment, @config, @stark_domains, 0.try_into().unwrap());
 }

src/benches/stark/stark_proof_verify.cairo

@@ -10,5 +10,5 @@ fn bench_stark_proof_verify() {
         witness: stone_proof_fibonacci_keccak::stark::witness::get(),
     };
 
-    stark_proof.verify(security_bits);
+    stark_proof.verify_initial(security_bits, 0.try_into().unwrap(), 0.try_into().unwrap());
 }

src/benches/stark/verify.cairo

@@ -11,6 +11,6 @@ fn bench_stark_verify() {
     let stark_domains = stone_proof_fibonacci_keccak::stark::domains::get();
 
     stark_verify(
-        NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND, queries, commitment, witness, stark_domains,
-    )
+        NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND, queries, commitment, witness, stark_domains, 0.try_into().unwrap()
+    );
 }

src/fri/tests/test_fri_verify.cairo

@@ -1,5 +1,5 @@
 use cairo_verifier::{
-    fri::fri::fri_verify, tests::{stone_proof_fibonacci, stone_proof_fibonacci_keccak}
+    fri::fri::fri_verify_initial, tests::{stone_proof_fibonacci, stone_proof_fibonacci_keccak}
 };
 
 // === BLAKE2S BEGIN ===
@@ -9,9 +9,9 @@ use cairo_verifier::{
 //     let queries = stone_proof_fibonacci::queries::get().span();
 //     let commitment = stone_proof_fibonacci::fri::commitment::get();
 //     let decommitment = stone_proof_fibonacci::fri::decommitment::get();
-//     let witness = stone_proof_fibonacci::fri::witness::get();
+//     let _witness = stone_proof_fibonacci::fri::witness::get();
 
-//     fri_verify(queries, commitment, decommitment, witness)
+//     fri_verify_initial(queries, commitment, decommitment)
 // }
 // === BLAKE2S END ===
 
@@ -22,9 +22,10 @@ fn test_fri_verify() {
     let queries = stone_proof_fibonacci_keccak::queries::get().span();
     let commitment = stone_proof_fibonacci_keccak::fri::commitment::get();
     let decommitment = stone_proof_fibonacci_keccak::fri::decommitment::get();
-    let witness = stone_proof_fibonacci_keccak::fri::witness::get();
+    let _witness = stone_proof_fibonacci_keccak::fri::witness::get();
 
-    fri_verify(queries, commitment, decommitment, witness)
+    fri_verify_initial(queries, commitment, decommitment);
+    // TODO: next steps
 }
 // === KECCAK END ===
 

src/oods.cairo

@@ -167,7 +167,8 @@ mod tests {
             constraint_coefficients.span(),
             0x47148421d376a8ca07af1e4c89890bf29c90272f63b16103646397d907281a8,
             0x40000,
-            0x4768803ef85256034f67453635f87997ff61841e411ee63ce7b0a8b9745a046
+            0x4768803ef85256034f67453635f87997ff61841e411ee63ce7b0a8b9745a046,
+            0.try_into().unwrap()
         );
     }
 }

src/stark/tests/test_stark_commit.cairo

@@ -46,7 +46,7 @@ fn test_stark_commit() {
 
     assert(
         stark_commit(
-            ref channel, @public_input, @unsent_commitment, @config, @stark_domains
+            ref channel, @public_input, @unsent_commitment, @config, @stark_domains, 0.try_into().unwrap()
         ) == stone_proof_fibonacci_keccak::stark::commitment::get(),
         'Invalid value'
     );

src/stark/tests/test_stark_proof_verify.cairo

@@ -16,7 +16,7 @@ use cairo_verifier::{
 //         witness: stone_proof_fibonacci::stark::witness::get(),
 //     };
 // 
-//     stark_proof.verify(security_bits);
+//     stark_proof.verify_initial(security_bits);
 // }
 // === BLAKE2S END ===
 
@@ -33,7 +33,8 @@ fn test_stark_proof_fibonacci_verify() {
         witness: stone_proof_fibonacci_keccak::stark::witness::get(),
     };
 
-    stark_proof.verify(security_bits);
+    stark_proof.verify_initial(security_bits, 0.try_into().unwrap(), 0.try_into().unwrap());
+    // TODO: next steps
 }
 // === KECCAK END ===
 

src/stark/tests/test_stark_verify.cairo

@@ -29,8 +29,9 @@ fn test_stark_verify() {
     let stark_domains = stone_proof_fibonacci_keccak::stark::domains::get();
 
     stark_verify(
-        NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND, queries, commitment, witness, stark_domains,
-    )
+        NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND, queries, commitment, witness, stark_domains, 0.try_into().unwrap()
+    );
+    // TODO: next steps
 }
 // === KECCAK END ===