Struct IsZeroSubAir

pub struct IsZeroSubAir;

An Air that constraints that checks if a number equals 0

Trait Implementations

impl Clone for IsZeroSubAir

fn clone(&self) -> IsZeroSubAir

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<AB: AirBuilder> SubAir<AB> for IsZeroSubAir

type AirContext<'a> = (IsZeroIo<<AB as AirBuilder>::Expr>, <AB as AirBuilder>::Var) where AB::Expr: 'a, AB::Var: 'a, AB: 'a

(io, inv)

fn eval<'a>( &'a self, builder: &'a mut AB, (io, inv): (IsZeroIo<AB::Expr>, AB::Var), )

where AB::Var: 'a, AB::Expr: 'a,

impl<F: Field> TraceSubRowGenerator<F> for IsZeroSubAir

type TraceContext<'a> = F

x

type ColsMut<'a> = (&'a mut F, &'a mut F)

(inv, out)

fn generate_subrow<'a>(&'a self, x: F, (inv, out): (&'a mut F, &'a mut F))

impl Copy for IsZeroSubAir