Enum winter_verifier::VerifierError

pub enum VerifierError {
    InconsistentBaseField,
    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.

ProofDeserializationError

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

Tuple Fields of ProofDeserializationError

0: String

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

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.

Tuple Fields of FriVerificationFailed

0: VerifierError

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: &VerifierError) -> bool

This method tests for !=.

impl StructuralPartialEq for VerifierError