p3-sumcheck 0.8.0

Sumcheck protocol engine (product polynomials, SVO, HVZK masks)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

//! Generic-degree sumcheck driver.

mod error;
mod proof;
mod prover;
pub(crate) mod transcript;
mod util;

pub use error::GenericDegreeError;
pub use proof::GenericDegreeProof;
pub use prover::RoundProver;
pub use transcript::{GenericDegreeShape, ProverTranscript, VerifierTranscript};
pub use util::RoundPolyInterpolator;