Struct OuterStatement 

pub struct OuterStatement {
    pub masked_scalars: usize,
    pub mul_wires: usize,
}

Fields

masked_scalars: usize

mul_wires: usize

Implementations

impl OuterStatement

pub fn new(shapes: &[TableShape], pool_vars: usize) -> Self

pub fn for_tables<F: TowerField, A: Air<F>>( main: &A, main_num_vars: usize, chiplets: &[ChipletDef<F>], chiplet_num_vars: &[usize], config: &Config, ) -> Result<Self>

Statement size for a whole proof.

Trait Implementations

impl Clone for OuterStatement

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 OuterStatement

impl Debug for OuterStatement

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

Formats the value using the given formatter.

impl Eq for OuterStatement

impl PartialEq for OuterStatement

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for OuterStatement