pub enum SynthesisError {
MissingCS,
AssignmentMissing,
DivisionByZero,
Unsatisfiable,
PolynomialDegreeTooLarge,
UnexpectedIdentity,
MalformedVerifyingKey,
UnconstrainedVariable,
}
Expand description
This is an error that could occur during circuit synthesis contexts, such as CRS generation, proving or verification.
Variants§
MissingCS
During synthesis, we tried to allocate a variable when
ConstraintSystemRef
was None
.
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
MalformedVerifyingKey
During verification, our verifying key was malformed.
UnconstrainedVariable
During CRS generation, we observed an unconstrained auxiliary variable
Trait Implementations§
Source§impl Clone for SynthesisError
impl Clone for SynthesisError
Source§fn clone(&self) -> SynthesisError
fn clone(&self) -> SynthesisError
Returns a copy of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl Debug for SynthesisError
impl Debug for SynthesisError
Source§impl Display for SynthesisError
impl Display for SynthesisError
Source§impl PartialEq for SynthesisError
impl PartialEq for SynthesisError
impl Copy for SynthesisError
impl Eq for SynthesisError
impl StructuralPartialEq for SynthesisError
Auto Trait Implementations§
impl Freeze for SynthesisError
impl RefUnwindSafe for SynthesisError
impl Send for SynthesisError
impl Sync for SynthesisError
impl Unpin for SynthesisError
impl UnwindSafe for SynthesisError
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)