Enum snarkvm_r1cs::errors::synthesis::SynthesisError [−][src]
pub enum SynthesisError { AssignmentMissing, DivisionByZero, Unsatisfiable, PolynomialDegreeTooLarge, UnexpectedIdentity, IoError(Error), MalformedVerifyingKey, UnconstrainedVariable, }
Expand description
This is an error that could occur during circuit synthesis contexts, such as CRS generation, proving or verification.
Variants
During synthesis, we lacked knowledge of a variable assignment.
During synthesis, we divided by zero.
During synthesis, we constructed an unsatisfiable constraint system.
During synthesis, our polynomials ended up being too high of degree
During proof generation, we encountered an identity in the CRS
IoError(Error)
During proof generation, we encountered an I/O error with the CRS
During verification, our verifying key was malformed.
During CRS generation, we observed an unconstrained auxiliary variable
Trait Implementations
impl Debug for SynthesisError
[src]
impl Debug for SynthesisError
[src]impl Display for SynthesisError
[src]
impl Display for SynthesisError
[src]impl Error for SynthesisError
[src]
impl Error for SynthesisError
[src]fn description(&self) -> &str
[src]
fn description(&self) -> &str
[src]use the Display impl or to_string()
fn source(&self) -> Option<&(dyn Error + 'static)>
1.30.0[src]
fn source(&self) -> Option<&(dyn Error + 'static)>
1.30.0[src]The lower-level source of this error, if any. Read more
impl From<Error> for SynthesisError
[src]
impl From<Error> for SynthesisError
[src]fn from(e: Error) -> SynthesisError
[src]
fn from(e: Error) -> SynthesisError
[src]Performs the conversion.
Auto Trait Implementations
impl !RefUnwindSafe for SynthesisError
impl Send for SynthesisError
impl Sync for SynthesisError
impl Unpin for SynthesisError
impl !UnwindSafe for SynthesisError
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>,