Struct IsLtArraySubAir

pub struct IsLtArraySubAir<const NUM: usize> {
    pub lt: IsLtSubAir,
}

This SubAir constrains the boolean equal to 1 iff x < y (lexicographic comparison) assuming that all elements of both arrays x, y each have at most max_bits bits.

The constraints will constrain a selector for the first index where x[i] != y[i] and then use IsLtSubAir on x[i], y[i].

The expected max constraint degree of eval is deg(count) + max(1, deg(x), deg(y))

Fields

lt: IsLtSubAir

Implementations

impl<const NUM: usize> IsLtArraySubAir<NUM>

pub fn new(bus: VariableRangeCheckerBus, max_bits: usize) -> Self

pub fn when_transition(self) -> IsLtArrayWhenTransitionAir<NUM>

pub fn max_bits(&self) -> usize

pub fn range_max_bits(&self) -> usize

Trait Implementations

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

fn clone(&self) -> IsLtArraySubAir<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 IsLtArraySubAir<NUM>

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

Formats the value using the given formatter.

impl<AB: InteractionBuilder, const NUM: usize> SubAir<AB> for IsLtArraySubAir<NUM>

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

Type to define the context, typically in terms of AB::Expr that are needed to define the SubAir’s constraints.

fn eval<'a>( &'a self, builder: &'a mut AB, (io, aux): (IsLtArrayIo<AB::Expr, NUM>, IsLtArrayAuxColsRef<'a, AB::Var>), )

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

impl<F: PrimeField32, const NUM: usize> TraceSubRowGenerator<F> for IsLtArraySubAir<NUM>

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

(range_checker, x, y)

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

(aux, out)

fn generate_subrow<'a>( &'a self, (range_checker, x, y): (&'a VariableRangeCheckerChip, &'a [F], &'a [F]), (aux, out): (IsLtArrayAuxColsMut<'a, F>, &'a mut F), )

Only use this when count != 0.

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