Chore: adding test utils crate

chips/tests/integration_test.rs

@@ -1,3 +1,8 @@
+use std::{iter, sync::Arc};
+
+use rand::{rngs::StdRng, SeedableRng};
+
+use afs_chips::range;
 use afs_stark_backend::{
     keygen::MultiStarkKeygenBuilder,
     prover::{trace::TraceCommitmentBuilder, types::ProverRap, MultiTraceStarkProver},
@@ -8,14 +13,8 @@ use p3_matrix::dense::DenseMatrix;
 use p3_maybe_rayon::prelude::IntoParallelRefIterator;
 use p3_uni_stark::StarkGenericConfig;
 
-use std::{iter, sync::Arc};
-
-use afs_chips::range;
-mod list;
-
 mod config;
-
-use rand::{rngs::StdRng, SeedableRng};
+mod list;
 
 #[test]
 fn test_list_range_checker() {

chips/tests/list/mod.rs

@@ -33,7 +33,7 @@ impl<const MAX: u32> ListChip<MAX> {
         self.bus_index
     }
 
-    pub fn vals(&self) -> &Vec<u32> {
+    pub fn vals(&self) -> &[u32] {
         &self.vals
     }
 }

stark-backend/Cargo.toml

@@ -27,6 +27,7 @@ derivative = "2.2.0"
 rand = "0.8.5"
 tracing-subscriber = { version = "0.3.17", features = ["std", "env-filter"] }
 tracing-forest = { version = "0.1.6", features = ["ansi", "smallvec"] }
+afs-test-utils = { path = "../test-utils"}
 
 p3-dft = { workspace = true }
 p3-merkle-tree = { workspace = true }

stark-backend/tests/cached_lookup/mod.rs

@@ -10,12 +10,13 @@ use p3_field::AbstractField;
 use p3_matrix::dense::RowMajorMatrix;
 use p3_util::log2_ceil_usize;
 
-use crate::{config, interaction::dummy_interaction_air::DummyInteractionAir};
+use crate::config;
+use afs_test_utils::interaction::dummy_interaction_air::DummyInteractionAir;
 
 type Val = BabyBear;
 
 // Lookup table is cached, everything else (including counts) is committed together
-fn prove_and_verify_indexless_lookups(
+pub fn prove_and_verify_indexless_lookups(
     sender: Vec<(u32, Vec<u32>)>,
     receiver: Vec<(u32, Vec<u32>)>,
 ) -> Result<(), VerificationError> {
@@ -108,6 +109,7 @@ fn prove_and_verify_indexless_lookups(
     )
 }
 
+/// tests for cached_lookup
 #[test]
 fn test_interaction_cached_trace_happy_path() {
     // count fields

stark-backend/tests/integration_test.rs

@@ -1,35 +1,22 @@
 #![feature(trait_upcasting)]
 #![allow(incomplete_features)]
 
-use afs_stark_backend::keygen::types::SymbolicRap;
 use afs_stark_backend::keygen::MultiStarkKeygenBuilder;
 use afs_stark_backend::prover::trace::TraceCommitmentBuilder;
-use afs_stark_backend::prover::types::ProverRap;
 use afs_stark_backend::prover::MultiTraceStarkProver;
-use afs_stark_backend::verifier::types::VerifierRap;
 use afs_stark_backend::verifier::MultiTraceStarkVerifier;
+/// Test utils
+use afs_test_utils::{config, utils};
 use p3_baby_bear::BabyBear;
 use p3_field::AbstractField;
 use p3_uni_stark::StarkGenericConfig;
 
 mod cached_lookup;
-mod config;
 mod fib_air;
 mod fib_selector_air;
 mod fib_triples_air;
 pub mod interaction;
 mod partitioned_sum_air;
-/// Test utils
-mod utils;
-
-trait ProverVerifierRap<SC: StarkGenericConfig>:
-    ProverRap<SC> + VerifierRap<SC> + SymbolicRap<SC>
-{
-}
-impl<SC: StarkGenericConfig, RAP: ProverRap<SC> + VerifierRap<SC> + SymbolicRap<SC>>
-    ProverVerifierRap<SC> for RAP
-{
-}
 
 #[test]
 fn test_single_fib_stark() {