Enum Error 

pub enum Error {
    ArithError(Error),
    CommitmentError(Error),
    SynthesisError(SynthesisError),
    Unsupported(String),
    DomainCreationFailure,
    IndivisibleByVanishingPoly,
    UnsatisfiedRelation(String),
    InvalidPublicParameters(String),
}

Error enumerates possible errors during folding scheme operations.

Variants

ArithError(Error)

Error::ArithError indicates an error from the underlying constraint system.

CommitmentError(Error)

Error::CommitmentError indicates an error from the underlying commitment scheme.

SynthesisError(SynthesisError)

Error::SynthesisError indicates an error during constraint synthesis.

Unsupported(String)

Error::Unsupported indicates that a certain use case is not supported.

DomainCreationFailure

Error::DomainCreationFailure indicates a failure in creating evaluation domains.

IndivisibleByVanishingPoly

Error::IndivisibleByVanishingPoly indicates that a polynomial is not divisible by the vanishing polynomial of a certain domain.

UnsatisfiedRelation(String)

Error::UnsatisfiedRelation indicates that a certain relation is not satisfied.

InvalidPublicParameters(String)

Error::InvalidPublicParameters indicates that the provided public parameters are invalid.

Trait Implementations

impl Debug for Error

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

Formats the value using the given formatter.

impl Display for Error

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

Formats the value using the given formatter.

impl Error for Error

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 Error

fn from(source: ArithError) -> Self

Converts to this type from the input type.

impl From<Error> for Error

fn from(source: CommitmentError) -> Self

Converts to this type from the input type.

impl From<SynthesisError> for Error

fn from(source: SynthesisError) -> Self

Converts to this type from the input type.