Enum kimchi::snarky::constraint_system::BasicSnarkyConstraint

pub enum BasicSnarkyConstraint<Var> {
    Boolean(Var),
    Equal(Var, Var),
    Square(Var, Var),
    R1CS(Var, Var, Var),
}

Variants

Boolean(Var)

Equal(Var, Var)

Square(Var, Var)

R1CS(Var, Var, Var)

Implementations

impl<F> BasicSnarkyConstraint<FieldVar<F>>where F: PrimeField,

pub fn check_constraint( &self, env: &impl WitnessGeneration<F> ) -> Result<(), Box<SnarkyRuntimeError>>

Trait Implementations

impl<Var: Debug> Debug for BasicSnarkyConstraint<Var>

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

Formats the value using the given formatter.