Enum halo2_proofs::dev::VerifyFailure
source · pub enum VerifyFailure {
CellNotAssigned {
gate: Gate,
region: Region,
gate_offset: usize,
column: Column<Any>,
offset: isize,
},
InstanceCellNotAssigned {
gate: Gate,
region: Region,
gate_offset: usize,
column: Column<Instance>,
row: usize,
},
ConstraintNotSatisfied {
constraint: Constraint,
location: FailureLocation,
cell_values: Vec<(VirtualCell, String)>,
},
ConstraintPoisoned {
constraint: Constraint,
},
Lookup {
name: String,
lookup_index: usize,
location: FailureLocation,
},
Shuffle {
name: String,
shuffle_index: usize,
location: FailureLocation,
},
Permutation {
column: ColumnMid,
location: FailureLocation,
},
}
Expand description
The reasons why a particular circuit is not satisfied.
Variants§
CellNotAssigned
A cell used in an active gate was not assigned to.
Fields
InstanceCellNotAssigned
An instance cell used in an active gate was not assigned to.
Fields
ConstraintNotSatisfied
A constraint was not satisfied for a particular row.
Fields
constraint: Constraint
The polynomial constraint that is not satisfied.
location: FailureLocation
The location at which this constraint is not satisfied.
FailureLocation::OutsideRegion
is usually caused by a constraint that does
not contain a selector, and as a result is active on every row.
cell_values: Vec<(VirtualCell, String)>
The values of the virtual cells used by this constraint.
ConstraintPoisoned
A constraint was active on an unusable row, and is likely missing a selector.
Fields
constraint: Constraint
The polynomial constraint that is not satisfied.
Lookup
A lookup input did not exist in its corresponding table.
Fields
lookup_index: usize
The index of the lookup that is not satisfied. These indices are assigned in
the order in which ConstraintSystem::lookup
is called during
Circuit::configure
.
location: FailureLocation
The location at which the lookup is not satisfied.
FailureLocation::InRegion
is most common, and may be due to the intentional
use of a lookup (if its inputs are conditional on a complex selector), or an
unintentional lookup constraint that overlaps the region (indicating that the
lookup’s inputs should be made conditional).
FailureLocation::OutsideRegion
is uncommon, and could mean that:
- The input expressions do not correctly constrain a default value that exists in the table when the lookup is not being used.
- The input expressions use a column queried at a non-zero
Rotation
, and the lookup is active on a row adjacent to an unrelated region.
Shuffle
A shuffle input did not exist in its corresponding map.
Fields
shuffle_index: usize
The index of the lookup that is not satisfied. These indices are assigned in
the order in which ConstraintSystem::lookup
is called during
Circuit::configure
.
location: FailureLocation
The location at which the lookup is not satisfied.
FailureLocation::InRegion
is most common, and may be due to the intentional
use of a lookup (if its inputs are conditional on a complex selector), or an
unintentional lookup constraint that overlaps the region (indicating that the
lookup’s inputs should be made conditional).
FailureLocation::OutsideRegion
is uncommon, and could mean that:
- The input expressions do not correctly constrain a default value that exists in the table when the lookup is not being used.
- The input expressions use a column queried at a non-zero
Rotation
, and the lookup is active on a row adjacent to an unrelated region.
Permutation
A permutation did not preserve the original value of a cell.
Fields
location: FailureLocation
The location at which the permutation is not satisfied.
Implementations§
source§impl VerifyFailure
impl VerifyFailure
sourcepub fn emit<F>(&self, prover: &MockProver<F>)where
F: Field,
pub fn emit<F>(&self, prover: &MockProver<F>)where
F: Field,
Emits this failure in pretty-printed format to stderr.
Trait Implementations§
source§impl Clone for VerifyFailure
impl Clone for VerifyFailure
source§fn clone(&self) -> VerifyFailure
fn clone(&self) -> VerifyFailure
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl Debug for VerifyFailure
impl Debug for VerifyFailure
source§impl Display for VerifyFailure
impl Display for VerifyFailure
source§impl PartialEq for VerifyFailure
impl PartialEq for VerifyFailure
source§fn eq(&self, other: &VerifyFailure) -> bool
fn eq(&self, other: &VerifyFailure) -> bool
self
and other
values to be equal, and is used
by ==
.impl Eq for VerifyFailure
impl StructuralPartialEq for VerifyFailure
Auto Trait Implementations§
impl Freeze for VerifyFailure
impl RefUnwindSafe for VerifyFailure
impl Send for VerifyFailure
impl Sync for VerifyFailure
impl Unpin for VerifyFailure
impl UnwindSafe for VerifyFailure
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
§impl<T> Conv for T
impl<T> Conv for T
§impl<T> FmtForward for T
impl<T> FmtForward for T
§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
self
to use its Binary
implementation when Debug
-formatted.§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
self
to use its Display
implementation when
Debug
-formatted.§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
self
to use its LowerExp
implementation when
Debug
-formatted.§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
self
to use its LowerHex
implementation when
Debug
-formatted.§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
self
to use its Octal
implementation when Debug
-formatted.§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
self
to use its Pointer
implementation when
Debug
-formatted.§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
self
to use its UpperExp
implementation when
Debug
-formatted.§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
self
to use its UpperHex
implementation when
Debug
-formatted.§fn fmt_list(self) -> FmtList<Self>where
&'a Self: for<'a> IntoIterator,
fn fmt_list(self) -> FmtList<Self>where
&'a Self: for<'a> IntoIterator,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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>
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>
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§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
self
and passes that borrow into the pipe function. Read more§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
self
and passes that borrow into the pipe function. Read more§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R ) -> R
§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
self
, then passes self.as_ref()
into the pipe function.§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
self
, then passes self.as_mut()
into the pipe
function.§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
self
, then passes self.deref()
into the pipe function.§impl<T> Pointable for T
impl<T> Pointable for T
§impl<T> Tap for T
impl<T> Tap for T
§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Borrow<B>
of a value. Read more§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
BorrowMut<B>
of a value. Read more§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
AsRef<R>
view of a value. Read more§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
AsMut<R>
view of a value. Read more§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Deref::Target
of a value. Read more§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Deref::Target
of a value. Read more§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
.tap()
only in debug builds, and is erased in release builds.§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
.tap_mut()
only in debug builds, and is erased in release
builds.§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
.tap_borrow()
only in debug builds, and is erased in release
builds.§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
.tap_borrow_mut()
only in debug builds, and is erased in release
builds.§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
.tap_ref()
only in debug builds, and is erased in release
builds.§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
.tap_ref_mut()
only in debug builds, and is erased in release
builds.§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
.tap_deref()
only in debug builds, and is erased in release
builds.