Struct MasterMainTable 

pub struct MasterMainTable {
    pub num_trace_randomizers: usize,
    /* private fields */
}

The Master Main Table, as described in the module documentation.

Fields

num_trace_randomizers: usize

Implementations

impl MasterMainTable

pub const NUM_COLUMNS: usize = 379usize

The number of columns in this table.

pub fn pad(&mut self)

Pad the trace to the next power of two using the various, table-specific padding rules. All tables must have the same height for reasons of verifier efficiency. Furthermore, that height must be a power of two for reasons of prover efficiency. Concretely, the Number Theory Transform (NTT) performed by the prover is particularly efficient over the used base field when the number of rows is a power of two.

pub fn extend(&self, challenges: &Challenges) -> MasterAuxTable

Create a MasterAuxTable from a MasterMainTable by .extend()ing each individual main table. The .extend() for each table is specific to that table, but always involves adding some number of columns.

pub fn table(&self, table_id: TableId) -> ArrayView2<'_, BFieldElement>

A view of the specified table, without any randomizers.

pub fn table_mut( &mut self, table_id: TableId, ) -> ArrayViewMut2<'_, BFieldElement>

A mutable view of the specified table, without any randomizers.

Trait Implementations

impl Clone for MasterMainTable

fn clone(&self) -> MasterMainTable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MasterMainTable

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

Formats the value using the given formatter.