binius_core/protocols/sumcheck/prove/
mod.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
// Copyright 2024 Irreducible Inc.

mod batch_prove;
mod batch_prove_univariate_zerocheck;
pub(crate) mod common;
mod concrete_prover;
pub mod oracles;
pub mod prover_state;
pub mod regular_sumcheck;
pub mod univariate;
pub mod zerocheck;

pub use batch_prove::{batch_prove, batch_prove_with_start, SumcheckProver};
pub use batch_prove_univariate_zerocheck::{
	batch_prove_zerocheck_univariate_round, UnivariateZerocheckProver,
};
pub use concrete_prover::ConcreteProver;
pub use oracles::{constraint_set_sumcheck_prover, constraint_set_zerocheck_prover};
pub use prover_state::{ProverState, SumcheckInterpolator};
pub use regular_sumcheck::RegularSumcheckProver;
pub use univariate::{reduce_to_skipped_projection, univariatizing_reduction_prover};
pub use zerocheck::{UnivariateZerocheck, ZerocheckProver};