Enum dusk_plonk::prelude::plonk_errors::ProofErrors

[−] Show declaration

pub enum ProofErrors {
    ProofVerificationError,
    CircuitAlreadyPreprocessed,
}

[−] Expand description

Defines all of the possible ProofError types that we could have when we are working with the proof_system module.

Variants

ProofVerificationError

[−] Expand description

This error occurs when the verification of a Proof fails.

CircuitAlreadyPreprocessed

[−] Expand description

This error occurrs when the Prover structure already contains a preprocessed circuit inside, but you call preprocess again.

Trait Implementations

impl Debug for ProofErrors[+]

[+] Show hidden undocumented items

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

Formats the value using the given formatter.

impl Display for ProofErrors[+]

[+] Show hidden undocumented items

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

Formats the value using the given formatter.

impl Fail for ProofErrors[+]

[+] Show hidden undocumented items

fn name(&self) -> Option<&str>[−]

Returns the "name" of the error.

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

Returns a reference to the underlying cause of this failure, if it is an error that wraps other errors.

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

Returns a reference to the Backtrace carried by this failure, if it carries one.

fn context<D>(self, context: D) -> Context<D> where
    D: Display + Send + Sync + 'static, [−]

Provides context for this failure.

fn compat(self) -> Compat<Self>[−]

Wraps this failure in a compatibility wrapper that implements std::error::Error.