Struct MatrixRecordArena 

pub struct MatrixRecordArena<F> {
    pub trace_buffer: Vec<F>,
    pub width: usize,
    pub trace_offset: usize,
    /* private fields */
}

Fields

trace_buffer: Vec<F>

width: usize

trace_offset: usize

Implementations

impl<F: Field> MatrixRecordArena<F>

pub fn alloc_single_row(&mut self) -> &mut [u8]

pub fn alloc_buffer(&mut self, num_rows: usize) -> &mut [u8]

pub fn force_matrix_dimensions(&mut self)

Trait Implementations

impl<F: Field> Arena for MatrixRecordArena<F>

fn with_capacity(height: usize, width: usize) -> Self

Currently width always refers to the main trace width.

fn is_empty(&self) -> bool

fn current_trace_height(&self) -> usize

Only used for metric collection purposes. Intended usage is that for a record arena that corresponds to a single trace matrix, this function can extract the current number of used rows of the corresponding trace matrix. This is currently expected to work only for MatrixRecordArena.

impl<F: Default> Default for MatrixRecordArena<F>

fn default() -> MatrixRecordArena<F>

Returns the “default value” for a type.

impl<'a, F: Field, A, C, M> RecordArena<'a, AdapterCoreLayout<M>, (A, C)> for MatrixRecordArena<F>

where [u8]: CustomBorrow<'a, A, AdapterCoreLayout<M>> + CustomBorrow<'a, C, AdapterCoreLayout<M>>, M: Clone + AdapterCoreMetadata,

RecordArena implementation for MatrixRecordArena, with AdapterCoreLayout NOTE: A is the adapter RecordMut type and C is the core RecordMut type

fn alloc(&'a mut self, layout: AdapterCoreLayout<M>) -> (A, C)

Allocates underlying buffer and returns a mutable reference RecordMut. Note that calling this function may not call an underlying memory allocation as the record arena may be virtual.

impl<'a, F: Field, M: MultiRowMetadata, R> RecordArena<'a, MultiRowLayout<M>, R> for MatrixRecordArena<F>

where [u8]: CustomBorrow<'a, R, MultiRowLayout<M>>,

RecordArena implementation for MatrixRecordArena, with MultiRowLayout NOTE: R is the RecordMut type

fn alloc(&'a mut self, layout: MultiRowLayout<M>) -> R

Allocates underlying buffer and returns a mutable reference RecordMut. Note that calling this function may not call an underlying memory allocation as the record arena may be virtual.

impl<F: Field> RowMajorMatrixArena<F> for MatrixRecordArena<F>

fn set_capacity(&mut self, trace_height: usize)

Set the arena’s capacity based on the projected trace height.

fn width(&self) -> usize

fn trace_offset(&self) -> usize

fn into_matrix(self) -> RowMajorMatrix<F>