diff --git a/starky2/src/all_starks.rs b/starky2/src/all_stark.rs similarity index 97% rename from starky2/src/all_starks.rs rename to starky2/src/all_stark.rs index b8514568..c8b7fa76 100644 --- a/starky2/src/all_starks.rs +++ b/starky2/src/all_stark.rs @@ -8,7 +8,7 @@ use crate::constraint_consumer::{ConstraintConsumer, RecursiveConstraintConsumer use crate::stark::Stark; use crate::vars::{StarkEvaluationTargets, StarkEvaluationVars}; -pub struct AllStarks, const D: usize> { +pub struct AllStark, const D: usize> { pub cpu: CpuStark, pub keccak: KeccakStark, } diff --git a/starky2/src/cross_table_lookups.rs b/starky2/src/cross_table_lookups.rs index 090ab15c..d49cf1b9 100644 --- a/starky2/src/cross_table_lookups.rs +++ b/starky2/src/cross_table_lookups.rs @@ -8,7 +8,7 @@ use plonky2::plonk::config::GenericConfig; use plonky2::plonk::plonk_common::reduce_with_powers; use plonky2::util::reducing::ReducingFactor; -use crate::all_starks::Table; +use crate::all_stark::Table; use crate::config::StarkConfig; use crate::constraint_consumer::ConstraintConsumer; use crate::permutation::PermutationChallenge; diff --git a/starky2/src/lib.rs b/starky2/src/lib.rs index ab452240..52d7a6c1 100644 --- a/starky2/src/lib.rs +++ b/starky2/src/lib.rs @@ -8,7 +8,7 @@ pub mod constraint_consumer; pub mod cross_table_lookups; mod get_challenges; // pub mod mock_stark; -pub mod all_starks; +pub mod all_stark; pub mod permutation; pub mod proof; pub mod prover; diff --git a/starky2/src/prover.rs b/starky2/src/prover.rs index afc0bfb2..4b2ad23c 100644 --- a/starky2/src/prover.rs +++ b/starky2/src/prover.rs @@ -18,7 +18,7 @@ use plonky2::util::transpose; use plonky2_util::{log2_ceil, log2_strict}; use rayon::prelude::*; -use crate::all_starks::{AllStarks, Table}; +use crate::all_stark::{AllStark, Table}; use crate::config::StarkConfig; use crate::constraint_consumer::ConstraintConsumer; use crate::cross_table_lookups::{ @@ -34,7 +34,7 @@ use crate::vanishing_poly::eval_vanishing_poly; use crate::vars::StarkEvaluationVars; pub fn prove( - all_starks: AllStarks, + all_starks: AllStark, config: &StarkConfig, trace_poly_values: Vec>>, cross_table_lookups: Vec,