Struct KeccakVmFiller 

pub struct KeccakVmFiller {
    pub bitwise_lookup_chip: SharedBitwiseOperationLookupChip<8>,
    pub pointer_max_bits: usize,
}

Fields

bitwise_lookup_chip: SharedBitwiseOperationLookupChip<8>

pointer_max_bits: usize

Implementations

impl KeccakVmFiller

pub fn new( bitwise_lookup_chip: SharedBitwiseOperationLookupChip<8>, pointer_max_bits: usize, ) -> Self

Constructs a new KeccakVmFiller.

Trait Implementations

impl<F: PrimeField32> TraceFiller<F> for KeccakVmFiller

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

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_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 generate_public_values(&self) -> Vec<F>

Returns a list of public values to publish.