Struct TableShape 

pub struct TableShape {
    pub num_vars: usize,
    pub num_columns: usize,
    pub sumcheck_degree: usize,
    pub num_buses: usize,
    pub mul_nodes: usize,
    pub ring_units: bool,
    pub whole_blinds: usize,
}

Fields

num_vars: usize

num_columns: usize

Virtual columns, after expansion.

sumcheck_degree: usize

num_buses: usize

mul_nodes: usize

ring_units: bool

whole_blinds: usize

Implementations

impl TableShape

pub fn from_air<F: TowerField>( air: &impl Air<F>, statics: &TableStatics<'_, F>, ) -> Result<Self>

pub fn at(self, layout: &SlotLayout) -> Self

pub fn eval_claims(&self) -> usize

Eval claims per half: virtual columns, whole blind units, the ring blind unit’s planes, one h per bus.

pub fn masked_scalars(&self) -> usize

Final sumcheck values are the masked running claims themselves and consume no pad entry.

pub fn mul_wires(&self) -> usize

Each bus contributes one h · key product.

Trait Implementations

impl Clone for TableShape

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for TableShape

impl Debug for TableShape

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

Formats the value using the given formatter.

impl Eq for TableShape

impl PartialEq for TableShape

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for TableShape