Struct MulUU32

pub struct MulUU32 {
    pub xin: Col<B32>,
    pub yin: Col<B32>,
    pub out_high: Col<B32>,
    pub out_low: Col<B32>,
    pub out_high_bits: [Col<B1>; 32],
    pub out_low_bits: [Col<B1>; 32],
    /* private fields */
}

Fields

xin: Col<B32>

yin: Col<B32>

out_high: Col<B32>

out_low: Col<B32>

out_high_bits: [Col<B1>; 32]

out_low_bits: [Col<B1>; 32]

Implementations

impl MulUU32

pub fn new(table: &mut TableBuilder<'_>) -> Self

Constructor for u32 multiplication gadget that creates the columns for inputs. You must call MulUU32::populate to fill the witness data.

pub fn with_inputs( table: &mut TableBuilder<'_>, xin_bits: [Col<B1>; 32], yin_bits: [Col<B1>; 32], ) -> Self

Constructor for u32 multiplication gadget that uses the provided columns for inputs. You must call MulUU32::populate_with_inputs to fill the witness data.

pub fn populate_with_inputs<P>( &self, index: &mut TableWitnessSegment<'_, P>, x_vals: impl IntoIterator<Item = B32>, y_vals: impl IntoIterator<Item = B32>, ) -> Result<()>

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

pub fn populate<P>( &self, index: &mut TableWitnessSegment<'_, P>, x_vals: impl IntoIterator<Item = B32>, y_vals: impl IntoIterator<Item = B32>, ) -> Result<()>

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

Trait Implementations

impl Debug for MulUU32

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

Formats the value using the given formatter.