Enum winter_verifier::VerifierError

pub enum VerifierError {
    InconsistentBaseField,
    UnsupportedFieldExtension(usize),
    ProofDeserializationError(String),
    RandomCoinError,
    InconsistentOodConstraintEvaluations,
    TraceQueryDoesNotMatchCommitment,
    ConstraintQueryDoesNotMatchCommitment,
    QuerySeedProofOfWorkVerificationFailed,
    FriVerificationFailed(VerifierError),
}

Represents an error returned by the verifier during an execution of the protocol.

Variants

InconsistentBaseField

This error occurs when base field read by a verifier from a proof does not match the base field of AIR with which the verifier was instantiated.

UnsupportedFieldExtension(usize)

This error occurs when the base field in which the proof was generated does not support field extension of degree specified by the proof.

ProofDeserializationError(String)

This error occurs when a verifier cannot deserialize the specified proof.

RandomCoinError

This error occurs when a verifier fails to draw a random value from a random coin within a specified number of tries.

InconsistentOodConstraintEvaluations

This error occurs when constraints evaluated over out-of-domain trace rows do not match evaluations of the constraint composition polynomial at the out-of-domain point.

TraceQueryDoesNotMatchCommitment

This error occurs when Merkle authentication paths of trace queries do not resolve to the execution trace commitment included in the proof.

ConstraintQueryDoesNotMatchCommitment

This error occurs when Merkle authentication paths of constraint evaluation queries do not resolve to the constraint evaluation commitment included in the proof.

QuerySeedProofOfWorkVerificationFailed

This error occurs when the proof-of-work nonce hashed with the current state of the public coin resolves to a value which does not meet the proof-of-work threshold specified by the

FriVerificationFailed(VerifierError)

This error occurs when the DEEP composition polynomial evaluations derived from trace and constraint evaluation queries do not represent a polynomial of the degree expected by the verifier.

Trait Implementations

impl Debug for VerifierError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for VerifierError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq<VerifierError> for VerifierError

fn eq(&self, other: &VerifierError) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for VerifierError

impl StructuralEq for VerifierError

impl StructuralPartialEq for VerifierError