// Copyright 2024 Ulvetanna 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.
//!
//! This is the V2 implementation of sumcheck. The legacy implementation is in the
//! [`crate::protocols::abstract_sumcheck`], [`crate::protocols::sumcheck`], and
//! [`crate::protocols::zerocheck`] modules.

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

pub use common::*;
pub use error::*;
pub use oracles::*;
pub use prove::batch_prove;
pub use verify::batch_verify;
pub use zerocheck::{reduce_to_sumchecks, verify_sumcheck_outputs, ZerocheckClaim};