Enum 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,
    },
    Permutation {
        column: Column,
        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

§gate: Gate

The index of the active gate.

§region: Region

The region in which this cell should be assigned.

§gate_offset: usize

The offset (relative to the start of the region) at which the active gate queries this cell.

§column: Column<Any>

The column in which this cell should be assigned.

§offset: isize

The offset (relative to the start of the region) at which this cell should be assigned. This may be negative (for example, if a selector enables a gate at offset 0, but the gate uses Rotation::prev()).

§

InstanceCellNotAssigned

An instance cell used in an active gate was not assigned to.

Fields

§gate: Gate

The index of the active gate.

§region: Region

The region in which this gate was activated.

§gate_offset: usize

The offset (relative to the start of the region) at which the active gate queries this cell.

§column: Column<Instance>

The column in which this cell should be assigned.

§row: usize

The absolute row at which this cell should be assigned.

§

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

§name: String

The name of the lookup that is not satisfied.

§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.

§

Permutation

A permutation did not preserve the original value of a cell.

Fields

§column: Column

The column in which this permutation is not satisfied.

§location: FailureLocation

The location at which the permutation is not satisfied.

Enum VerifyFailureCopy item path

Variants§

CellNotAssigned

Fields

InstanceCellNotAssigned

Fields

ConstraintNotSatisfied

Fields

ConstraintPoisoned

Fields

Lookup

Fields

Permutation

Fields

Trait Implementations§

impl Debug for VerifyFailure

fn fmt(&self, f: &mut Formatter<'_>) -> Result

impl Display for VerifyFailure

fn fmt(&self, f: &mut Formatter<'_>) -> Result

impl PartialEq for VerifyFailure

fn eq(&self, other: &VerifyFailure) -> bool

fn ne(&self, other: &Rhs) -> bool

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§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> Conv for T

fn conv<T>(self) -> Twhere Self: Into<T>,

impl<T> FmtForward for T

fn fmt_binary(self) -> FmtBinary<Self>where Self: Binary,

fn fmt_display(self) -> FmtDisplay<Self>where Self: Display,

fn fmt_lower_exp(self) -> FmtLowerExp<Self>where Self: LowerExp,

fn fmt_lower_hex(self) -> FmtLowerHex<Self>where Self: LowerHex,

fn fmt_octal(self) -> FmtOctal<Self>where Self: Octal,

fn fmt_pointer(self) -> FmtPointer<Self>where Self: Pointer,

fn fmt_upper_exp(self) -> FmtUpperExp<Self>where Self: UpperExp,

fn fmt_upper_hex(self) -> FmtUpperHex<Self>where Self: UpperHex,

fn fmt_list(self) -> FmtList<Self>where &'a Self: for<'a> IntoIterator,

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<T> Pipe for Twhere T: ?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_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere R: 'a,

fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> Rwhere Self: Borrow<B>, B: 'a + ?Sized, R: 'a,

fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> Rwhere Self: BorrowMut<B>, B: 'a + ?Sized, R: 'a,

fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> Rwhere Self: AsRef<U>, U: 'a + ?Sized, R: 'a,

fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> Rwhere Self: AsMut<U>, U: 'a + ?Sized, R: 'a,

fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> Rwhere Self: Deref<Target = T>, T: 'a + ?Sized, R: 'a,

fn pipe_deref_mut<'a, T, R>( &'a mut self, func: impl FnOnce(&'a mut T) -> R, ) -> Rwhere Self: DerefMut<Target = T> + Deref, T: 'a + ?Sized, R: 'a,

impl<T> Pointable for T

const ALIGN: usize = _

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

impl<T> Tap for T

Enum VerifyFailure

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn conv<T>(self) -> T
where Self: Into<T>,

fn fmt_binary(self) -> FmtBinary<Self>
where Self: Binary,

fn fmt_display(self) -> FmtDisplay<Self>
where Self: Display,

fn fmt_lower_exp(self) -> FmtLowerExp<Self>
where Self: LowerExp,

fn fmt_lower_hex(self) -> FmtLowerHex<Self>
where Self: LowerHex,

fn fmt_octal(self) -> FmtOctal<Self>
where Self: Octal,

fn fmt_pointer(self) -> FmtPointer<Self>
where Self: Pointer,

fn fmt_upper_exp(self) -> FmtUpperExp<Self>
where Self: UpperExp,

fn fmt_upper_hex(self) -> FmtUpperHex<Self>
where Self: UpperHex,

fn fmt_list(self) -> FmtList<Self>
where &'a Self: for<'a> IntoIterator,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T> Pipe for T
where T: ?Sized,

fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> R
where Self: Sized,

fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> R
where R: 'a,

fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> R
where R: 'a,

fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
where Self: Borrow<B>, B: 'a + ?Sized, R: 'a,

fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
where Self: BorrowMut<B>, B: 'a + ?Sized, R: 'a,

fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
where Self: AsRef<U>, U: 'a + ?Sized, R: 'a,

fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
where Self: AsMut<U>, U: 'a + ?Sized, R: 'a,

fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
where Self: Deref<Target = T>, T: 'a + ?Sized, R: 'a,

fn pipe_deref_mut<'a, T, R>( &'a mut self, func: impl FnOnce(&'a mut T) -> R, ) -> R
where Self: DerefMut<Target = T> + Deref, T: 'a + ?Sized, R: 'a,

fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
where Self: Borrow<B>, B: ?Sized,

fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
where Self: BorrowMut<B>, B: ?Sized,

fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
where Self: AsRef<R>, R: ?Sized,

fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
where Self: AsMut<R>, R: ?Sized,

fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
where Self: Deref<Target = T>, T: ?Sized,

fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
where Self: DerefMut<Target = T> + Deref, T: ?Sized,

fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
where Self: Borrow<B>, B: ?Sized,

fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
where Self: BorrowMut<B>, B: ?Sized,

fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
where Self: AsRef<R>, R: ?Sized,

fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
where Self: AsMut<R>, R: ?Sized,

fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
where Self: Deref<Target = T>, T: ?Sized,

fn tap_deref_mut_dbg<T>(self, func: impl FnOnce(&mut T)) -> Self
where Self: DerefMut<Target = T> + Deref, T: ?Sized,

impl<T> ToString for T
where T: Display + ?Sized,

fn try_conv<T>(self) -> Result<T, Self::Error>
where Self: TryInto<T>,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,