Enum dusk_plonk::prelude::plonk_errors::ProofErrors

pub enum ProofErrors {
    ProofVerificationError,
    CircuitAlreadyPreprocessed,
}

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

Variants

ProofVerificationError

This error occurs when the verification of a Proof fails.

CircuitAlreadyPreprocessed

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

Trait Implementations

impl Debug for ProofErrors

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

Formats the value using the given formatter.

impl Display for ProofErrors

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

Formats the value using the given formatter.

impl Fail for ProofErrors

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.