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
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52

//! Error type for the generic-degree sumcheck verifier.

use thiserror::Error;

/// Errors raised by the generic-degree sumcheck verifier.
#[derive(Debug, Clone, Eq, PartialEq, Error)]
pub enum GenericDegreeError {
    /// Proof contains the wrong number of rounds.
    #[error("sumcheck round count mismatch: expected {expected}, got {actual}")]
    RoundCountMismatch {
        /// Number of rounds the verifier expected.
        expected: usize,
        /// Number of rounds present in the proof.
        actual: usize,
    },
    /// A round polynomial does not contain the expected number of evaluations.
    #[error("sumcheck round {round}: polynomial has {actual} evals, expected {expected}")]
    PolyEvalCountMismatch {
        /// Round index where the mismatch was found.
        round: usize,
        /// Expected number of evaluations per round.
        expected: usize,
        /// Actual number of evaluations.
        actual: usize,
    },
    /// PoW witness count does not match the round count when grinding is enabled.
    #[error("sumcheck pow witness count mismatch: expected {expected}, got {actual}")]
    PowWitnessCountMismatch {
        /// Expected witness count.
        expected: usize,
        /// Actual witness count.
        actual: usize,
    },
    /// Grinding is enabled but a round carries no witness.
    #[error("sumcheck round {round}: missing pow witness")]
    MissingPowWitness {
        /// Round whose witness is absent.
        round: usize,
    },
    /// A PoW witness failed to validate.
    #[error("sumcheck round {round}: invalid pow witness")]
    InvalidPowWitness {
        /// Round in which validation failed.
        round: usize,
    },
    /// Per-variable degree must be at least one to carry any information.
    #[error("sumcheck degree must be at least one, got {degree}")]
    InvalidDegree {
        /// Rejected degree value.
        degree: usize,
    },
}