Struct FieldExpressionFiller 

pub struct FieldExpressionFiller<A> {
    pub expr: FieldExpr,
    pub local_opcode_idx: Vec<usize>,
    pub opcode_flag_idx: Vec<usize>,
    pub range_checker: SharedVariableRangeCheckerChip,
    pub should_finalize: bool,
    /* private fields */
}

Fields

expr: FieldExpr

local_opcode_idx: Vec<usize>

opcode_flag_idx: Vec<usize>

range_checker: SharedVariableRangeCheckerChip

should_finalize: bool

Implementations

impl<A> FieldExpressionFiller<A>

pub fn new( adapter: A, expr: FieldExpr, local_opcode_idx: Vec<usize>, opcode_flag_idx: Vec<usize>, range_checker: SharedVariableRangeCheckerChip, should_finalize: bool, ) -> Self

pub fn num_inputs(&self) -> usize

pub fn num_flags(&self) -> usize

pub fn get_record_layout<F>(&self) -> FieldExpressionRecordLayout<F, A>

Trait Implementations

impl<F, A> TraceFiller<F> for FieldExpressionFiller<A>

where F: PrimeField32 + Send + Sync + Clone, 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_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 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 generate_public_values(&self) -> Vec<F>

Returns a list of public values to publish.