pub enum ProverError {
WitnessL2NormViolated {
norm_squared: Zq,
allowed: Zq,
},
ProjectionError {
index: usize,
expected: Zq,
computed: Zq,
},
CommitError(CommitError),
DecompositionError(DecompositionError),
}
Variants§
WitnessL2NormViolated
Indicates that the L2 norm (squared) of the witness exceeded the allowed threshold.
ProjectionError
CommitError(CommitError)
DecompositionError(DecompositionError)
Trait Implementations§
Source§impl Debug for ProverError
impl Debug for ProverError
Source§impl Display for ProverError
impl Display for ProverError
Source§impl Error for ProverError
impl Error for ProverError
Source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
Returns the lower-level source of this error, if any. Read more
1.0.0 · Source§fn description(&self) -> &str
fn description(&self) -> &str
👎Deprecated since 1.42.0: use the Display impl or to_string()
Source§impl From<CommitError> for ProverError
impl From<CommitError> for ProverError
Source§fn from(source: CommitError) -> Self
fn from(source: CommitError) -> Self
Converts to this type from the input type.
Source§impl From<DecompositionError> for ProverError
impl From<DecompositionError> for ProverError
Source§fn from(source: DecompositionError) -> Self
fn from(source: DecompositionError) -> Self
Converts to this type from the input type.
Auto Trait Implementations§
impl Freeze for ProverError
impl RefUnwindSafe for ProverError
impl Send for ProverError
impl Sync for ProverError
impl Unpin for ProverError
impl UnwindSafe for ProverError
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