Struct MulUU64

pub struct MulUU64 {
    pub xin: Col<B64>,
    pub yin: Col<B64>,
    pub out_high: Col<B64>,
    pub out_low: Col<B64>,
    pub out_high_bits: [Col<B1>; 64],
    pub out_low_bits: [Col<B1>; 64],
    /* private fields */
}

Fields

xin: Col<B64>

yin: Col<B64>

out_high: Col<B64>

out_low: Col<B64>

out_high_bits: [Col<B1>; 64]

out_low_bits: [Col<B1>; 64]

Implementations

impl MulUU64

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

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

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

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

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

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

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

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

Trait Implementations

impl Debug for MulUU64

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

Formats the value using the given formatter.