binius_core/protocols/gkr_gpa/gpa_sumcheck/
error.rs1use crate::protocols::sumcheck::Error as SumcheckError;
4
5#[allow(clippy::enum_variant_names)]
6#[derive(Debug, thiserror::Error)]
7pub enum Error {
8 #[error(
9 "composition polynomial has an incorrect number of variables, expected {expected_n_vars}"
10 )]
11 InvalidComposition { expected_n_vars: usize },
12 #[error("GPA round challenges number does not equal number of variables")]
13 IncorrectGPARoundChallengesLength,
14 #[error("The vector of multilinear advices does not match the number of composite claims")]
15 IncorrectFirstLayerAdviceLength,
16 #[error("sumcheck error: {0}")]
17 SumcheckError(#[from] SumcheckError),
18 #[error("math error: {0}")]
19 MathError(#[from] binius_math::Error),
20}