Struct U32AddStacked

pub struct U32AddStacked<const V: usize = 32> {
    pub xin: Col<B1, V>,
    pub yin: Col<B1, V>,
    pub zout: Col<B1, V>,
    /* private fields */
}

A gadget for performing SIMD 32-bit integer addition on vertically-packed bit columns.

This gadget has input columns xin and yin for the two 32-bit adjacent integers to be added, and an output column zout, and it constrains that xin + yin = zout as integers. Only A gadget for performing SIMD 32-bit integer addition on vertically-packed bit columns.

This gadget has input columns xin and yin for the two 32-bit adjacent integers to be added, and an output column zout, and it constrains that xin + yin = zout as integers. Only supports unchecked addition, so it does not handle overflow.

The generic parameter V represents the number of vertically-packed bits (the vertical stacking factor of the bit columns). The default value is 32, which corresponds to the standard 32-bit integer size. When using a different value for V, ensure it is a power of two and at least 32.

Fields

xin: Col<B1, V>

yin: Col<B1, V>

zout: Col<B1, V>

Implementations

impl<const V: usize> U32AddStacked<V>

pub fn new( table: &mut TableBuilder<'_>, xin: Col<B1, V>, yin: Col<B1, V>, commit_zout: bool, carry_in_bit: Option<Col<B1, V>>, ) -> Self

pub fn populate<P>( &self, index: &mut TableWitnessSegment<'_, P>, ) -> Result<(), Error>

where P: PackedFieldIndexable<Scalar = B128> + PackedExtension<B1>,

Trait Implementations

impl<const V: usize> Debug for U32AddStacked<V>

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

Formats the value using the given formatter.