Enum kimchi::circuits::constraints::GateError

pub enum GateError {
    DisconnectedWires(Wire, Wire),
    IncorrectPublic(usize),
    Custom {
        row: usize,
        err: String,
    },
}

Represents an error found when verifying a witness with a gate

Variants

DisconnectedWires(Wire, Wire)

Some connected wires have different values

IncorrectPublic(usize)

A public gate was incorrectly connected

Custom

Fields

row: usize

err: String

A specific gate did not verify correctly

Trait Implementations

impl Debug for GateError

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

Formats the value using the given formatter.