Struct gadgets::mul_add::MulAddConfig

pub struct MulAddConfig<F> {
    pub col0: Column<Advice>,
    pub col1: Column<Advice>,
    pub col2: Column<Advice>,
    pub col3: Column<Advice>,
    pub col4: Column<Advice>,
    pub overflow: Expression<F>,
}

Config for the MulAddChip.

Fields

col0: Column<Advice>

First of the columns which we use over multiple rows to represent the schema described above.

col1: Column<Advice>

Second of the columns which we use over multiple rows to represent the schema described above.

col2: Column<Advice>

Third of the columns which we use over multiple rows to represent the schema described above.

col3: Column<Advice>

Fourth of the columns which we use over multiple rows to represent the schema described above.

col4: Column<Advice>

Fifth of the columns which we use over multiple rows to represent the schema described above.

overflow: Expression<F>

Sum of the parts higher than 256-bit in the product.

Implementations

impl<F: Field> MulAddConfig<F>

pub fn a_limbs_cur( &self, meta: &mut VirtualCells<'_, F> ) -> (Expression<F>, Expression<F>, Expression<F>, Expression<F>)

64-bit limbs representing a from the equation a * b + c == d.

pub fn b_limbs_cur( &self, meta: &mut VirtualCells<'_, F> ) -> (Expression<F>, Expression<F>, Expression<F>, Expression<F>)

64-bit limbs representing b from the equation a * b + c == d.

pub fn c_lo_hi_cur( &self, meta: &mut VirtualCells<'_, F> ) -> (Expression<F>, Expression<F>)

128-bit lo-hi parts of c from the equation a * b + c == d.

pub fn d_lo_hi_cur( &self, meta: &mut VirtualCells<'_, F> ) -> (Expression<F>, Expression<F>)

128-bit lo-hi parts of d from the equation a * b + c == d.

pub fn d_lo_hi_next( &self, meta: &mut VirtualCells<'_, F> ) -> (Expression<F>, Expression<F>)

128-bit lo-hi parts of d from the next step.

Trait Implementations

impl<F: Clone> Clone for MulAddConfig<F>

fn clone(&self) -> MulAddConfig<F>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F: Debug> Debug for MulAddConfig<F>

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

Formats the value using the given formatter.