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

// Copyright 2024 Ulvetanna Inc.

use crate::{
	polynomial::Error as PolynomialError,
	protocols::{
		abstract_sumcheck::Error as AbstractSumcheckError, gkr_sumcheck::Error as GkrSumcheckError,
	},
};

#[derive(Debug, thiserror::Error)]
pub enum Error {
	#[error("prover has mismatch between claim and witness")]
	ProverClaimWitnessMismatch,
	#[error("circuit evals and claim disagree on final product")]
	MismatchBetweenCircuitEvalsAndClaim,
	#[error("advice circuit evals has incorrect structure")]
	InvalidCircuitEvals,
	#[error("number of batch layer proofs does not match maximum claim n_vars")]
	MismatchedClaimsAndProofs,
	#[error("witneses and claims have mismatched lengths")]
	MismatchedWitnessClaimLength,
	#[error("empty claims array")]
	EmptyClaimsArray,
	#[error("too many rounds")]
	TooManyRounds,
	#[error("finalize called prematurely")]
	PrematureFinalize,
	#[error("all layer claims in a batch should be for the same layer")]
	MismatchedEvalPointLength,
	#[error("proof has invalid zero-one eval advice")]
	InvalidZeroOneEvalAdvice,
	#[error("the output layer cannot be split into halves")]
	CannotSplitOutputLayerIntoHalves,
	#[error("the inputted layer index was too high")]
	InvalidLayerIndex,
	#[error("polynomial error: {0}")]
	Polynomial(#[from] PolynomialError),
	#[error("abstract sumcheck failure: {0}")]
	AbstractSumcheck(#[from] AbstractSumcheckError),
	#[error("gkr sumcheck failure: {0}")]
	GkrSumcheckError(#[from] GkrSumcheckError),
	#[error("verification error: {0}")]
	Verification(#[from] VerificationError),
}

#[derive(Debug, thiserror::Error)]
pub enum VerificationError {
	#[error("number of zero evals in batch proof does not match number of claims")]
	MismatchedZeroEvals,
	#[error("number of one evals in batch proof does not match number of claims")]
	MismatchedOneEvals,
}