binius_core/protocols/sumcheck/
mod.rs

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

//! The multivariate sumcheck and zerocheck polynomial protocols.
//!
//! Sumcheck supports an efficient prover algorithm when the virtual polynomial is a multilinear
//! composite, so this module only handles that case, rather than the case of general multivariate
//! polynomials.

mod common;
mod error;
pub mod front_loaded;
mod oracles;
pub mod prove;
#[cfg(test)]
mod tests;
pub mod univariate;
pub mod univariate_zerocheck;
pub mod verify;
pub mod zerocheck;

pub use common::*;
pub use error::*;
pub use oracles::*;
pub use prove::batch_prove;
pub use univariate_zerocheck::batch_verify_zerocheck_univariate_round;
pub use verify::{batch_verify, batch_verify_with_start};
pub use zerocheck::ZerocheckClaim;