pub enum PlonkError {
Show 15 variants
IndexTooLarge,
DomainCreationError,
IndexError,
DivisionError,
SnarkError(SnarkError),
PCSError(PCSError),
CircuitError(CircuitError),
IoError(Error),
SerializationError(SerializationError),
WrongProof,
RescueError(RescueError),
InvalidParameters(String),
NonNativeFieldOverflow,
IteratorOutOfRange,
PublicInputsDoNotMatch,
}
Expand description
A enum
specifying the possible failure modes of the Plonk.
Variants§
IndexTooLarge
The index is too large for the universal public parameters
DomainCreationError
Failed to create domain
IndexError
Failed to get array value by index
DivisionError
Divided by zero field element
SnarkError(SnarkError)
An error in the Plonk SNARK logic: {0}
PCSError(PCSError)
An error in the underlying polynomial commitment: {0}
CircuitError(CircuitError)
An error in the Plonk circuit: {0}
IoError(Error)
An error during IO: {0}
SerializationError(SerializationError)
An error during (de)serialization
WrongProof
Plonk proof verification failed due to wrong proof
RescueError(RescueError)
Rescue Error
InvalidParameters(String)
Invalid parameters
NonNativeFieldOverflow
Non-native field overflow
IteratorOutOfRange
Iterator out of range
PublicInputsDoNotMatch
Public inputs for partial verification circuit do not match
Trait Implementations§
Source§impl Debug for PlonkError
impl Debug for PlonkError
Source§impl Display for PlonkError
impl Display for PlonkError
Source§impl Error for PlonkError
impl Error for PlonkError
1.30.0 · 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<CircuitError> for PlonkError
impl From<CircuitError> for PlonkError
Source§impl From<Error> for PlonkError
impl From<Error> for PlonkError
Source§impl From<PCSError> for PlonkError
impl From<PCSError> for PlonkError
Source§impl From<PlonkError> for CircuitError
impl From<PlonkError> for CircuitError
Source§fn from(e: PlonkError) -> Self
fn from(e: PlonkError) -> Self
Converts to this type from the input type.
Source§impl From<RescueError> for PlonkError
impl From<RescueError> for PlonkError
Source§impl From<SerializationError> for PlonkError
impl From<SerializationError> for PlonkError
Source§impl From<SnarkError> for PlonkError
impl From<SnarkError> for PlonkError
Source§fn from(e: SnarkError) -> Self
fn from(e: SnarkError) -> Self
Converts to this type from the input type.
Auto Trait Implementations§
impl Freeze for PlonkError
impl !RefUnwindSafe for PlonkError
impl Send for PlonkError
impl Sync for PlonkError
impl Unpin for PlonkError
impl !UnwindSafe for PlonkError
Blanket Implementations§
§impl<T> AsErrorSource for Twhere
T: Error + 'static,
impl<T> AsErrorSource for Twhere
T: Error + 'static,
§fn as_error_source(&self) -> &(dyn Error + 'static)
fn as_error_source(&self) -> &(dyn Error + 'static)
For maximum effectiveness, this needs to be called as a method
to benefit from Rust’s automatic dereferencing of method
receivers.
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
§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait>
(where Trait: Downcast
) to Box<dyn Any>
. Box<dyn Any>
can
then be further downcast
into Box<ConcreteType>
where ConcreteType
implements Trait
.§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait>
(where Trait: Downcast
) to Rc<Any>
. Rc<Any>
can then be
further downcast
into Rc<ConcreteType>
where ConcreteType
implements Trait
.§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &Any
’s vtable from &Trait
’s.§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &mut Any
’s vtable from &mut Trait
’s.§impl<T> DowncastSync for T
impl<T> DowncastSync for T
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more