Struct IsLtWhenTransitionAir

pub struct IsLtWhenTransitionAir(pub IsLtSubAir);

The same subair as IsLtSubAir except that non-range check constraints are not imposed on the last row. Intended use case is for asserting less than between entries in adjacent rows.

Tuple Fields

0: IsLtSubAir

Trait Implementations

impl Clone for IsLtWhenTransitionAir

fn clone(&self) -> IsLtWhenTransitionAir

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for IsLtWhenTransitionAir

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

Formats the value using the given formatter.

impl<AB: InteractionBuilder> SubAir<AB> for IsLtWhenTransitionAir

fn eval<'a>( &'a self, builder: &'a mut AB, (io, lower_decomp): (IsLessThanIo<AB::Expr>, &'a [AB::Var]), )

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

Imposes the non-interaction constraints on all except the last row. This is intended for use when the comparators x, y are on adjacent rows.

This function does also enable the interaction constraints on every row. The eval_interactions performs range checks on lower_decomp on every row, even though in this AIR the lower_decomp is not used on the last row. This simply means the trace generation must fill in the last row with numbers in range (e.g., with zeros)

type AirContext<'a> = (IsLessThanIo<<AB as AirBuilder>::Expr>, &'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.

impl Copy for IsLtWhenTransitionAir