Enum tari_bulletproofs::r1cs::R1CSError

pub enum R1CSError {
    InvalidGeneratorsLength,
    FormatError,
    VerificationError,
    MissingAssignment,
    GadgetError {
        description: String,
    },
}

Represents an error during the proving or verifying of a constraint system.

XXX: should this be separate from a ProofError?

Variants

InvalidGeneratorsLength

Occurs when there are insufficient generators for the proof.

FormatError

This error occurs when the proof encoding is malformed.

VerificationError

Occurs when verification of an R1CSProof fails.

MissingAssignment

Occurs when trying to use a missing variable assignment. Used by gadgets that build the constraint system to signal that a variable assignment is not provided when the prover needs it.

GadgetError

Occurs when a gadget receives an inconsistent input.

Fields of GadgetError

description: String

The description of the reasons for the error.

Trait Implementations

impl Clone for R1CSError

fn clone(&self) -> R1CSError

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for R1CSError

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

Formats the value using the given formatter.

impl Display for R1CSError

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

Formats the value using the given formatter.

impl Error for R1CSError

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

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

fn backtrace(&self) -> Option<&Backtrace>

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

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

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

impl From<ProofError> for R1CSError

fn from(e: ProofError) -> R1CSError

Performs the conversion.

impl PartialEq<R1CSError> for R1CSError

fn eq(&self, other: &R1CSError) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &R1CSError) -> bool

This method tests for !=.

impl Eq for R1CSError

impl StructuralEq for R1CSError

impl StructuralPartialEq for R1CSError