Enum StructuredDynSize

pub enum StructuredDynSize {
    Incrementing {
        max_size_log: usize,
    },
}

Specifications of structured columns that generated from a dynamic table size.

A structured column is one that has sufficient structure that its multilinear extension can be evaluated succinctly. These are referred to as “MLE-structured” tables in Lasso.

Variants

Incrementing

A column whose values are incrementing binary field elements in lexicographic order.

Fields

max_size_log: usize

The base-2 logarithm of the maximum size of the column.

Implementations

impl StructuredDynSize

pub fn expr<F: TowerField>(self) -> Result<ArithExpr<F>, Error>

Returns an arithmetic expression that represents the multilinear extension of the structured column.

pub fn check_nvars(&self, n_vars: usize) -> Result<(), Error>

Checks whether the given table size specified as n_vars can fit into this structured column specifier.

Trait Implementations

impl Clone for StructuredDynSize

fn clone(&self) -> StructuredDynSize

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for StructuredDynSize

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

Formats the value using the given formatter.

impl PartialEq for StructuredDynSize

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for StructuredDynSize

impl Eq for StructuredDynSize

impl StructuralPartialEq for StructuredDynSize