Struct MasterAuxTable

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

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

Fields

num_trace_randomizers: usize

Implementations

impl MasterAuxTable

pub const NUM_INITIAL_CONSTRAINTS: usize = 81usize

pub const NUM_CONSISTENCY_CONSTRAINTS: usize = 94usize

pub const NUM_TRANSITION_CONSTRAINTS: usize = 398usize

pub const NUM_TERMINAL_CONSTRAINTS: usize = 23usize

pub const NUM_CONSTRAINTS: usize = 596usize

pub fn initial_quotient_degree_bounds(interpolant_degree: isize) -> Vec<isize>

pub fn consistency_quotient_degree_bounds( interpolant_degree: isize, padded_height: usize, ) -> Vec<isize>

pub fn transition_quotient_degree_bounds( interpolant_degree: isize, padded_height: usize, ) -> Vec<isize>

pub fn terminal_quotient_degree_bounds(interpolant_degree: isize) -> Vec<isize>

impl MasterAuxTable

pub const NUM_COLUMNS: usize = 88usize

The number of columns in this table, including the randomizer polynomials.

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

A view of the specified table, without any randomizers.

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

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

Trait Implementations

impl Clone for MasterAuxTable

fn clone(&self) -> MasterAuxTable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MasterAuxTable

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

Formats the value using the given formatter.

impl Evaluable<BFieldElement> for MasterAuxTable

fn evaluate_initial_constraints( main_row: ArrayView1<'_, BFieldElement>, aux_row: ArrayView1<'_, XFieldElement>, challenges: &Challenges, ) -> Vec<XFieldElement>

fn evaluate_consistency_constraints( main_row: ArrayView1<'_, BFieldElement>, aux_row: ArrayView1<'_, XFieldElement>, challenges: &Challenges, ) -> Vec<XFieldElement>

fn evaluate_transition_constraints( current_main_row: ArrayView1<'_, BFieldElement>, current_aux_row: ArrayView1<'_, XFieldElement>, next_main_row: ArrayView1<'_, BFieldElement>, next_aux_row: ArrayView1<'_, XFieldElement>, challenges: &Challenges, ) -> Vec<XFieldElement>

fn evaluate_terminal_constraints( main_row: ArrayView1<'_, BFieldElement>, aux_row: ArrayView1<'_, XFieldElement>, challenges: &Challenges, ) -> Vec<XFieldElement>

impl Evaluable<XFieldElement> for MasterAuxTable

fn evaluate_initial_constraints( main_row: ArrayView1<'_, XFieldElement>, aux_row: ArrayView1<'_, XFieldElement>, challenges: &Challenges, ) -> Vec<XFieldElement>

fn evaluate_consistency_constraints( main_row: ArrayView1<'_, XFieldElement>, aux_row: ArrayView1<'_, XFieldElement>, challenges: &Challenges, ) -> Vec<XFieldElement>

fn evaluate_transition_constraints( current_main_row: ArrayView1<'_, XFieldElement>, current_aux_row: ArrayView1<'_, XFieldElement>, next_main_row: ArrayView1<'_, XFieldElement>, next_aux_row: ArrayView1<'_, XFieldElement>, challenges: &Challenges, ) -> Vec<XFieldElement>

fn evaluate_terminal_constraints( main_row: ArrayView1<'_, XFieldElement>, aux_row: ArrayView1<'_, XFieldElement>, challenges: &Challenges, ) -> Vec<XFieldElement>