pub enum CircuitError {
Show 14 variants
DomainCreationError,
VarIndexOutOfBound(usize, usize),
PubInputLenMismatch(usize, usize),
GateCheckFailure(usize, String),
ParameterError(String),
UnfinalizedCircuit,
ModifyFinalizedCircuit,
WrongPlonkType,
LookupUnsupported,
IndexError,
FieldAlgebraError(String),
UnsupportedCurve,
InternalError(String),
NotSupported(String),
}
Expand description
A enum
specifying the possible failure modes of the circuit.
Variants§
DomainCreationError
Failed to create domain
VarIndexOutOfBound(usize, usize)
Variable index {0} is larger than the bound {1}.
PubInputLenMismatch(usize, usize)
Public input length {0} doesn’t match num_inputs = {1}.
GateCheckFailure(usize, String)
The {0}-th gate failed: {1}
ParameterError(String)
Invalid parameters: {0}
UnfinalizedCircuit
The circuit is not finalized before doing arithmetization
ModifyFinalizedCircuit
Attempt to modify the finalized circuit
WrongPlonkType
The circuit has wrong Plonk type
LookupUnsupported
The circuit does not support lookup
IndexError
Failed to get array value by index
FieldAlgebraError(String)
Algebra over field failed: {0}
UnsupportedCurve
Unexpected field for elliptic curve operation, currently only support Bn254, BLS12-381/377 scalar field
InternalError(String)
‼ ️Internal error! Please report to Crypto Team immediately!\n\Message: {0}
NotSupported(String)
Feature not supported: {0}
Trait Implementations§
Source§impl Debug for CircuitError
impl Debug for CircuitError
Source§impl Display for CircuitError
impl Display for CircuitError
Source§impl Error for CircuitError
impl Error for CircuitError
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()
Auto Trait Implementations§
impl Freeze for CircuitError
impl RefUnwindSafe for CircuitError
impl Send for CircuitError
impl Sync for CircuitError
impl Unpin for CircuitError
impl UnwindSafe for CircuitError
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