Struct MulSS32

pub struct MulSS32 {
    pub out_bits: [Col<B1>; 64],
    pub xin: Col<B32>,
    pub yin: Col<B32>,
    pub out_high: Col<B32>,
    pub out_low: Col<B32>,
    /* private fields */
}

Fields

out_bits: [Col<B1>; 64]

xin: Col<B32>

yin: Col<B32>

out_high: Col<B32>

out_low: Col<B32>

Implementations

impl MulSS32

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

Create the gadget by automatically committing the required input columns.

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

Create the gadget with the supplied xin_bits and yin_bits columns.

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

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

Trait Implementations

impl Debug for MulSS32

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

Formats the value using the given formatter.