Enum zkp::ProofError

[−] Show declaration

pub enum ProofError {
    VerificationFailure,
    BatchSizeMismatch,
}

[−] Expand description

An error during proving or verification, such as a verification failure.

Variants

VerificationFailure

[−] Expand description

Something is wrong with the proof, causing a verification failure.

BatchSizeMismatch

[−] Expand description

Occurs during batch verification if the batch parameters are mis-sized.

Trait Implementations

impl Debug for ProofError[+]

[+] Show hidden undocumented items

fn fmt(&self, f: &mut Formatter) -> Result[−]

Formats the value using the given formatter.

impl Display for ProofError[+]

[+] Show hidden undocumented items

fn fmt(&self, __formatter: &mut Formatter) -> Result[−]

Formats the value using the given formatter.

impl Error for ProofError[+]

[+] Show hidden undocumented items

fn description(&self) -> &str[−]

This method is soft-deprecated.

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

Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

The lower-level cause of this error, if any.

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

The lower-level source of this error, if any.

fn type_id(&self, Internal) -> TypeId where
    Self: 'static, [−]

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

this is memory-unsafe to override in user code

Gets the TypeId of self.

fn backtrace(&self) -> Option<&Backtrace>[−]

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

Returns a stack backtrace, if available, of where this error occurred.