[−][src]Enum bellperson::SynthesisError
This is an error that could occur during circuit synthesis contexts, such as CRS generation, proving or verification.
Variants
AssignmentMissing
During synthesis, we lacked knowledge of a variable assignment.
DivisionByZero
During synthesis, we divided by zero.
Unsatisfiable
During synthesis, we constructed an unsatisfiable constraint system.
PolynomialDegreeTooLarge
During synthesis, our polynomials ended up being too high of degree
UnexpectedIdentity
During proof generation, we encountered an identity in the CRS
IoError(Error)
During proof generation, we encountered an I/O error with the CRS
MalformedVerifyingKey
During verification, our verifying key was malformed.
UnconstrainedVariable
During CRS generation, we observed an unconstrained auxillary variable
Trait Implementations
impl From<Error> for SynthesisError
[src]
fn from(e: Error) -> SynthesisError
[src]
impl Debug for SynthesisError
[src]
impl Display for SynthesisError
[src]
impl Error for SynthesisError
[src]
fn description(&self) -> &str
[src]
fn cause(&self) -> Option<&dyn Error>
1.0.0[src]
replaced by Error::source, which can support downcasting
The lower-level cause of this error, if any. Read more
fn source(&self) -> Option<&(dyn Error + 'static)>
1.30.0[src]
The lower-level source of this error, if any. Read more
fn type_id(&self) -> TypeId where
Self: 'static,
1.34.0[src]
Self: 'static,
Gets the TypeId
of self
Auto Trait Implementations
impl Send for SynthesisError
impl Sync for SynthesisError
Blanket Implementations
impl<T> From<T> for T
[src]
impl<T> ToString for T where
T: Display + ?Sized,
[src]
T: Display + ?Sized,
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,