Struct CheckCarryModToZeroSubAir

pub struct CheckCarryModToZeroSubAir {
    pub modulus_limbs: Vec<usize>,
    pub check_carry_to_zero: CheckCarryToZeroSubAir,
}

Fields

modulus_limbs: Vec<usize>

check_carry_to_zero: CheckCarryToZeroSubAir

Implementations

impl CheckCarryModToZeroSubAir

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

Trait Implementations

impl Clone for CheckCarryModToZeroSubAir

fn clone(&self) -> CheckCarryModToZeroSubAir

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CheckCarryModToZeroSubAir

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

Formats the value using the given formatter.

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

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