This commit is contained in:
wborgeaud 2022-05-06 17:36:32 +02:00
parent 44b9237c08
commit 79dc28c7e1
4 changed files with 3 additions and 3 deletions

View File

@ -5,7 +5,7 @@
pub mod config;
pub mod constraint_consumer;
pub mod cross_table_lookups;
pub mod cross_table_lookup;
mod get_challenges;
// pub mod mock_stark;
pub mod all_stark;

View File

@ -21,7 +21,7 @@ use rayon::prelude::*;
use crate::all_stark::{AllStark, Table};
use crate::config::StarkConfig;
use crate::constraint_consumer::ConstraintConsumer;
use crate::cross_table_lookups::{
use crate::cross_table_lookup::{
cross_table_lookup_zs, CTLCheckVars, CrossTableLookup, LookupData,
};
use crate::permutation::{

View File

@ -6,7 +6,7 @@ use plonky2::plonk::config::GenericConfig;
use crate::config::StarkConfig;
use crate::constraint_consumer::{ConstraintConsumer, RecursiveConstraintConsumer};
use crate::cross_table_lookups::{eval_cross_table_lookup_checks, CTLCheckVars};
use crate::cross_table_lookup::{eval_cross_table_lookup_checks, CTLCheckVars};
use crate::permutation::{
eval_permutation_checks, eval_permutation_checks_recursively, PermutationCheckDataTarget,
PermutationCheckVars,