Enum halo2_frontend::plonk::error::Error

pub enum Error {
    Synthesis,
    BoundsFailure,
    NotEnoughRowsAvailable {
        current_k: u32,
    },
    NotEnoughColumnsForConstants,
    ColumnNotInPermutation(Column<Any>),
    TableError(TableError),
    AssignError(AssignError),
    Other(String),
}

This is an error that could occur during circuit synthesis.

NOTE: AssignError is introduced to provide more debugging info
to developers when assigning witnesses to circuit cells.
Hence, they are used for [MockProver] and [WitnessCollection].
The [keygen] process use the [NotEnoughRowsAvailable], since it is just enough.

Variants

Synthesis

This is an error that can occur during synthesis of the circuit, for example, when the witness is not present.

BoundsFailure

Out of bounds index passed to a backend

NotEnoughRowsAvailable

k is too small for the given circuit.

Fields

current_k: u32

The current value of k being used.

NotEnoughColumnsForConstants

Circuit synthesis requires global constants, but circuit configuration did not call ConstraintSystem::enable_constant on fixed columns with sufficient space.

ColumnNotInPermutation(Column<Any>)

The instance sets up a copy constraint involving a column that has not been included in the permutation.

TableError(TableError)

An error relating to a lookup table.

AssignError(AssignError)

An error relating to a circuit assignment.

Other(String)

Generic error not covered by previous cases

Implementations

impl Error

pub fn not_enough_rows_available(current_k: u32) -> Self

Constructs an Error::NotEnoughRowsAvailable.

Trait Implementations

impl Debug for Error

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

Formats the value using the given formatter.

impl Display for Error

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

Formats the value using the given formatter.