Enum snarkvm_wasm::Error[][src]

pub enum Error {
Show variants MissingPolynomial { label: String, }, MissingEvaluation { label: String, }, MissingLHS { label: String, }, MissingRng, DegreeIsZero, TooManyCoefficients { num_coefficients: usize, num_powers: usize, }, HidingBoundIsZero, HidingBoundToolarge { hiding_poly_degree: usize, num_powers: usize, }, TrimmingDegreeTooLarge, EmptyDegreeBounds, EquationHasDegreeBounds(String), UnsupportedDegreeBound(usize), IncorrectDegreeBound { poly_degree: usize, degree_bound: usize, supported_degree: usize, label: String, }, IncorrectInputLength(String), MalformedCommitment(String),
}
Expand description

The error type for PolynomialCommitment.

Variants

MissingPolynomial

The query set contains a label for a polynomial that was not provided as input to the PC::open.

Show fields

Fields of MissingPolynomial

label: String

The label of the missing polynomial.

MissingEvaluation

Evaluations does not contain an evaluation for the polynomial labelled label at a particular query.

Show fields

Fields of MissingEvaluation

label: String

The label of the missing polynomial.

MissingLHS

The LHS of the equation is empty.

Show fields

Fields of MissingLHS

label: String

The label of the equation.

MissingRng

The provided polynomial was meant to be hiding, but rng was None.

DegreeIsZero

The degree provided in setup was too small; degree 0 polynomials are not supported.

TooManyCoefficients

The degree of the polynomial passed to commit or open was too large.

Show fields

Fields of TooManyCoefficients

num_coefficients: usize

The number of coefficients in the polynomial.

num_powers: usize

The maximum number of powers provided in Powers.

HidingBoundIsZero

The hiding bound was not None, but the hiding bound was zero.

HidingBoundToolarge

The hiding bound was too large for the given Powers.

Show fields

Fields of HidingBoundToolarge

hiding_poly_degree: usize

The hiding bound

num_powers: usize

The number of powers.

TrimmingDegreeTooLarge

The degree provided to trim was too large.

EmptyDegreeBounds

The provided enforced_degree_bounds was Some<&[]>.

EquationHasDegreeBounds(String)

The provided equation contained multiple polynomials, of which least one had a strict degree bound.

UnsupportedDegreeBound(usize)

The required degree bound is not supported by ck/vk

IncorrectDegreeBound

The degree bound for the index-th polynomial passed to commit, open or check was incorrect, that is, degree_bound >= poly_degree or degree_bound <= max_degree.

Show fields

Fields of IncorrectDegreeBound

poly_degree: usize

Degree of the polynomial.

degree_bound: usize

Degree bound.

supported_degree: usize

Maximum supported degree.

label: String

Index of the offending polynomial.

IncorrectInputLength(String)

The inputs to commit, open or verify had incorrect lengths.

MalformedCommitment(String)

The commitment was generated incorrectly, tampered with, or doesn’t support the polynomial.

Trait Implementations

Formats the value using the given formatter. Read more

Formats the value using the given formatter. Read more

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

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

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

👎 Deprecated since 1.42.0:

use the Display impl or to_string()

👎 Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Converts self into T using Into<T>. Read more

Causes self to use its Binary implementation when Debug-formatted.

Causes self to use its Display implementation when Debug-formatted. Read more

Causes self to use its LowerExp implementation when Debug-formatted. Read more

Causes self to use its LowerHex implementation when Debug-formatted. Read more

Causes self to use its Octal implementation when Debug-formatted.

Causes self to use its Pointer implementation when Debug-formatted. Read more

Causes self to use its UpperExp implementation when Debug-formatted. Read more

Causes self to use its UpperHex implementation when Debug-formatted. Read more

Performs the conversion.

Performs the conversion.

Pipes by value. This is generally the method you want to use. Read more

Borrows self and passes that borrow into the pipe function. Read more

Mutably borrows self and passes that borrow into the pipe function. Read more

Borrows self, then passes self.borrow() into the pipe function. Read more

Mutably borrows self, then passes self.borrow_mut() into the pipe function. Read more

Borrows self, then passes self.as_ref() into the pipe function.

Mutably borrows self, then passes self.as_mut() into the pipe function. Read more

Borrows self, then passes self.deref() into the pipe function.

Mutably borrows self, then passes self.deref_mut() into the pipe function. Read more

The alignment of pointer.

The type for initializers.

Initializes a with the given initializer. Read more

Dereferences the given pointer. Read more

Mutably dereferences the given pointer. Read more

Drops the object pointed to by the given pointer. Read more

Should always be Self

Immutable access to a value. Read more

Mutable access to a value. Read more

Immutable access to the Borrow<B> of a value. Read more

Mutable access to the BorrowMut<B> of a value. Read more

Immutable access to the AsRef<R> view of a value. Read more

Mutable access to the AsMut<R> view of a value. Read more

Immutable access to the Deref::Target of a value. Read more

Mutable access to the Deref::Target of a value. Read more

Calls .tap() only in debug builds, and is erased in release builds.

Calls .tap_mut() only in debug builds, and is erased in release builds. Read more

Calls .tap_borrow() only in debug builds, and is erased in release builds. Read more

Calls .tap_borrow_mut() only in debug builds, and is erased in release builds. Read more

Calls .tap_ref() only in debug builds, and is erased in release builds. Read more

Calls .tap_ref_mut() only in debug builds, and is erased in release builds. Read more

Calls .tap_deref() only in debug builds, and is erased in release builds. Read more

Calls .tap_deref_mut() only in debug builds, and is erased in release builds. Read more

Converts the given value to a String. Read more

Attempts to convert self into T using TryInto<T>. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.