openvm_stark_backend/verifier/
error.rs

1use thiserror::Error;
2
3#[derive(Debug, Error, PartialEq, Eq)]
4pub enum VerificationError {
5    #[error("all `air_id`s must be different")]
6    DuplicateAirs,
7    #[error("invalid proof shape")]
8    InvalidProofShape,
9    /// An error occurred while verifying the claimed openings.
10    #[error("invalid opening argument: {0}")]
11    InvalidOpeningArgument(String),
12    /// Out-of-domain evaluation mismatch, i.e. `constraints(zeta)` did not match
13    /// `quotient(zeta) Z_H(zeta)`.
14    #[error("out-of-domain evaluation mismatch")]
15    OodEvaluationMismatch,
16    #[error("challenge phase error")]
17    ChallengePhaseError,
18    #[error("invalid DEEP proof of work witness")]
19    InvalidDeepPowWitness,
20}