Struct CheckCarryToZeroSubAir

pub struct CheckCarryToZeroSubAir {
    pub limb_bits: usize,
    pub range_checker_bus: BusIndex,
    pub decomp: usize,
}

Fields

limb_bits: usize

range_checker_bus: BusIndex

decomp: usize

Implementations

impl CheckCarryToZeroSubAir

pub fn new(limb_bits: usize, range_checker_bus: BusIndex, decomp: usize) -> Self

Trait Implementations

impl Clone for CheckCarryToZeroSubAir

fn clone(&self) -> CheckCarryToZeroSubAir

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CheckCarryToZeroSubAir

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

Formats the value using the given formatter.

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

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

(expr, cols, is_valid)

fn eval<'a>( &'a self, builder: &'a mut AB, (expr, cols, is_valid): (OverflowInt<AB::Expr>, CheckCarryToZeroCols<AB::Var>, AB::Expr), )

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

Assumes that the parent chip has already asserted is_valid is to be boolean. This is to avoid duplicating that constraint since this subair’s eval method is often called multiple times from the parent air.