Struct IsEqArraySubAir

pub struct IsEqArraySubAir<const NUM: usize>;

Trait Implementations

impl<const NUM: usize> Clone for IsEqArraySubAir<NUM>

fn clone(&self) -> IsEqArraySubAir<NUM>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<const NUM: usize> Debug for IsEqArraySubAir<NUM>

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

Formats the value using the given formatter.

impl<AB: AirBuilder, const NUM: usize> SubAir<AB> for IsEqArraySubAir<NUM>

type AirContext<'a> = (IsEqArrayIo<<AB as AirBuilder>::Expr, NUM>, [<AB as AirBuilder>::Var; NUM]) where AB::Expr: 'a, AB::Var: 'a, AB: 'a

(io, diff_inv_marker)

fn eval<'a>( &'a self, builder: &'a mut AB, (io, diff_inv_marker): (IsEqArrayIo<AB::Expr, NUM>, [AB::Var; NUM]), )

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

Constrain that out == (x == y) when condition != 0

impl<F: Field, const NUM: usize> TraceSubRowGenerator<F> for IsEqArraySubAir<NUM>

type TraceContext<'a> = (&'a [F; NUM], &'a [F; NUM])

(x, y)

type ColsMut<'a> = (&'a mut [F; NUM], &'a mut F)

(diff_inv_marker, out)

fn generate_subrow<'a>( &'a self, (x, y): (&'a [F; NUM], &'a [F; NUM]), (diff_inv_marker, out): (&'a mut [F; NUM], &'a mut F), )

impl<const NUM: usize> Copy for IsEqArraySubAir<NUM>