openvm_stark_backend/verifier/
error.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
use thiserror::Error;

#[derive(Debug, Error, PartialEq, Eq)]
pub enum VerificationError {
    #[error("invalid proof shape")]
    InvalidProofShape,
    /// An error occurred while verifying the claimed openings.
    #[error("invalid opening argument: {0}")]
    InvalidOpeningArgument(String),
    /// Out-of-domain evaluation mismatch, i.e. `constraints(zeta)` did not match
    /// `quotient(zeta) Z_H(zeta)`.
    #[error("out-of-domain evaluation mismatch")]
    OodEvaluationMismatch,
    #[error("challenge phase error")]
    ChallengePhaseError,
}