Struct U32Add

pub struct U32Add {
    pub xin: Col<B1, 32>,
    pub yin: Col<B1, 32>,
    pub zout: Col<B1, 32>,
    pub final_carry: Option<Col<B1>>,
    pub flags: U32AddFlags,
    /* private fields */
}

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

This gadget has input columns xin and yin for the two 32-bit integers to be added, and an output column zout, and it constrains that xin + yin = zout as integers.

Fields

xin: Col<B1, 32>

yin: Col<B1, 32>

zout: Col<B1, 32>

The output column, either committed if flags.commit_zout is set, otherwise a linear combination derived column.

final_carry: Option<Col<B1>>

This is Some if flags.expose_final_carry is set, otherwise it is None.

flags: U32AddFlags

Flags modifying the gadget’s behavior.

Implementations

impl U32Add

pub fn new( table: &mut TableBuilder<'_>, xin: Col<B1, 32>, yin: Col<B1, 32>, flags: U32AddFlags, ) -> Self

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

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

Trait Implementations

impl Debug for U32Add

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

Formats the value using the given formatter.