Enum VerifierError 

pub enum VerifierError {
    InvalidProofStructure(String),
    PublicInputMismatch(String),
    FriVerificationFailed(String),
    ConstraintCheckFailed(String),
    DeserializationError(String),
    InvalidPolicyHash {
        expected: String,
        actual: String,
    },
    VerificationFailed(String),
    PolicyMismatch {
        expected: String,
        actual: String,
    },
    LimitMismatch {
        expected: u64,
        actual: u64,
    },
    InvalidHexFormat {
        field: String,
        reason: String,
    },
    UnsupportedProofVersion {
        version: u32,
        supported: u32,
    },
    WitnessCommitmentMismatch,
    PayloadAmountBindingRequired(String),
    ProofTooLarge {
        size: usize,
        max_size: usize,
    },
}

Errors that can occur during proof verification

Variants

InvalidProofStructure(String)

Invalid proof structure

PublicInputMismatch(String)

Public input mismatch

FriVerificationFailed(String)

FRI verification failed

ConstraintCheckFailed(String)

Constraint check failed

DeserializationError(String)

Deserialization error

InvalidPolicyHash

Invalid policy hash

Fields

expected: String

actual: String

VerificationFailed(String)

Proof verification failed

PolicyMismatch

Policy ID mismatch between proof and expected policy

Fields

expected: String

actual: String

LimitMismatch

Limit value mismatch between proof and expected policy

Fields

expected: u64

actual: u64

InvalidHexFormat

Invalid hex format in public inputs

Fields

field: String

reason: String

UnsupportedProofVersion

Unsupported proof version

Fields

version: u32

supported: u32

WitnessCommitmentMismatch

Witness commitment mismatch

PayloadAmountBindingRequired(String)

Strict verification requires a payload-derived amount binding artifact.

ProofTooLarge

Proof is too large

Fields

size: usize

max_size: usize

Implementations

impl VerifierError

pub fn invalid_structure<S: Into<String>>(msg: S) -> Self

Create an invalid proof structure error

pub fn verification_failed<S: Into<String>>(msg: S) -> Self

Create a verification failed error

pub fn policy_mismatch(expected: &str, actual: &str) -> Self

Create a policy mismatch error

pub fn limit_mismatch(expected: u64, actual: u64) -> Self

Create a limit mismatch error

pub fn invalid_hex(field: &str, reason: &str) -> Self

Create an invalid hex format error

pub fn unsupported_version(version: u32) -> Self

Create an unsupported proof version error

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, __formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Error for VerifierError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.