lilium-sumcheck 0.1.0

generic Sumcheck implementation for Lilium
Documentation 
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
28

//! A linear sumcheck prover

pub(crate) mod barycentric_eval;
pub(crate) mod degree;
pub mod eq;
pub mod eval_check;
pub mod eval_impls;
pub mod folding;
pub(crate) mod message;
pub mod polynomials;
pub mod sumcheck;
pub mod symbolic;
mod tests;
pub mod utils;
pub mod zerocheck;

pub use tests::prove_and_verify;
pub use tests::TestSponge;

#[derive(Debug, Clone)]
pub enum SumcheckError {
    /// A message had an incorrect degree
    MessageDegree,
    /// The sum of both halves defers from the claimed sum
    RoundSum,
    // Transcript error
    TranscriptError(transcript::Error),
}