Represents an error during the proving or verifying of a constraint system.
XXX: should this be separate from a
Occurs when there are insufficient generators for the proof.
This error occurs when the proof encoding is malformed.
Occurs when verification of an
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.
Occurs when a gadget receives an inconsistent input.
Fields of GadgetError
The description of the reasons for the error.
fn compat(self) -> Compat<Self>
impl From<ProofError> for R1CSError[src]
impl StructuralEq for R1CSError[src]
impl StructuralPartialEq for R1CSError[src]
Auto Trait Implementations
impl RefUnwindSafe for R1CSError
impl UnwindSafe for R1CSError
fn as_fail(&self) -> &(dyn Fail + 'static)
fn cast(self) -> U
fn from_bits(t: T) -> T
fn from_cast(t: T) -> T
fn into_bits(self) -> U
type Output = T
Should always be
type Owned = T
The resulting type after obtaining ownership.
fn clone_into(&self, target: &mut T)[src]
The type returned in the event of a conversion error.