Enum ProverError 

pub enum ProverError {
    WitnessGeneration(String),
    ProofGeneration(String),
    ProofVerification(String),
    InvalidInput(String),
    Io(Error),
    Serialization(Error),
    CircuitNotFound(String),
    CommandFailed(String),
    InsufficientBalance {
        have: u128,
        need: u128,
    },
    InvalidMerkleProof,
    CircuitNotCompiled,
}

Errors that can occur during proof generation

Variants

WitnessGeneration(String)

Witness generation failed

ProofGeneration(String)

Proof generation failed

ProofVerification(String)

Proof verification failed

InvalidInput(String)

Invalid input provided

Io(Error)

IO error

Serialization(Error)

Serialization error

CircuitNotFound(String)

Circuit not found

CommandFailed(String)

Command execution failed

InsufficientBalance

Insufficient balance

Fields

have: u128

need: u128

InvalidMerkleProof

Invalid Merkle proof

CircuitNotCompiled

Circuit compilation required

Trait Implementations

impl Debug for ProverError

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

Formats the value using the given formatter.

impl Display for ProverError

fn fmt(&self, __formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Error for ProverError

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.

impl From<Error> for ProverError

fn from(source: Error) -> Self

Converts to this type from the input type.

impl From<Error> for ProverError

fn from(source: Error) -> Self

Converts to this type from the input type.