Struct Table

pub struct Table<E>
where
    E: FieldElement,
{ /* private fields */ }

A two-dimensional table of field elements arranged in row-major order.

This struct is used primarily to hold queried values of execution trace segments and constraint evaluations. In such cases, each row in the table corresponds to a single query, and each column corresponds to a trace segment column or a constraint evaluation column.

Implementations

impl<E> Table<E>

where E: FieldElement,

pub fn from_bytes( bytes: &[u8], num_rows: usize, num_cols: usize, ) -> Result<Table<E>, DeserializationError>

Returns a new Table instantiated with data from the provided bytes.

Panics

Panics if:

• Specified number of rows is 0 or greater than 255.
• Specified number of columns is 0 or greater than 255.
• Provided bytes do not encode valid field elements required to fill the table.

pub fn num_rows(&self) -> usize

Returns number of rows in this table.

pub fn num_columns(&self) -> usize

Returns number of columns in this table.

pub fn get_row(&self, row_idx: usize) -> &[E]

Returns a reference to a row at the specified index.

pub fn rows(&self) -> RowIterator<'_, E>

Returns an iterator over rows of this table.

pub fn merge(tables: Vec<Table<E>>) -> Table<E>

Combines multiple tables together into a single table by stacking tables column-wise (e.g. the number of rows remains the same but the number of columns changes).

Currently, this method does not support inputs containing more than one table.

Panics

Panics if the list of tables is empty.

Trait Implementations

impl<E> Clone for Table<E>

where E: Clone + FieldElement,

fn clone(&self) -> Table<E>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E> Debug for Table<E>

where E: Debug + FieldElement,

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

Formats the value using the given formatter.