Struct MulHFiller

pub struct MulHFiller<A, const NUM_LIMBS: usize, const LIMB_BITS: usize> {
    pub bitwise_lookup_chip: SharedBitwiseOperationLookupChip<LIMB_BITS>,
    pub range_tuple_chip: SharedRangeTupleCheckerChip<2>,
    /* private fields */
}

Fields

bitwise_lookup_chip: SharedBitwiseOperationLookupChip<LIMB_BITS>

range_tuple_chip: SharedRangeTupleCheckerChip<2>

Implementations

impl<A, const NUM_LIMBS: usize, const LIMB_BITS: usize> MulHFiller<A, NUM_LIMBS, LIMB_BITS>

pub fn new( adapter: A, bitwise_lookup_chip: SharedBitwiseOperationLookupChip<LIMB_BITS>, range_tuple_chip: SharedRangeTupleCheckerChip<2>, ) -> Self

Trait Implementations

impl<A: Clone, const NUM_LIMBS: usize, const LIMB_BITS: usize> Clone for MulHFiller<A, NUM_LIMBS, LIMB_BITS>

fn clone(&self) -> MulHFiller<A, NUM_LIMBS, LIMB_BITS>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F, A, const NUM_LIMBS: usize, const LIMB_BITS: usize> TraceFiller<F> for MulHFiller<A, NUM_LIMBS, LIMB_BITS>

where F: PrimeField32, A: 'static + AdapterTraceFiller<F>,

fn fill_trace_row( &self, mem_helper: &MemoryAuxColsFactory<'_, F>, row_slice: &mut [F], )

Populates row_slice. This function will always be called after [TraceExecutor::execute], so the row_slice should already contain context necessary to fill in the rest of the row. This function will be called for each row in the trace which is being used, and for all other rows in the trace see fill_dummy_trace_row.

fn fill_trace( &self, mem_helper: &MemoryAuxColsFactory<'_, F>, trace: &mut DenseMatrix<F>, rows_used: usize, )

where F: Send + Sync + Clone,

Populates trace. This function will always be called after [TraceExecutor::execute], so the trace should already contain the records necessary to fill in the rest of it.

fn fill_dummy_trace_row(&self, _row_slice: &mut [F])

Populates row_slice. This function will be called on dummy rows. By default the trace is padded with empty (all 0) rows to make the height a power of 2.

fn generate_public_values(&self) -> Vec<F>

Returns a list of public values to publish.