Struct Table

pub struct Table<F: TowerField = B128> {
    pub id: TableId,
    pub name: String,
    pub columns: Vec<ColumnInfo<F>>,
    pub power_of_two_sized: bool,
    /* private fields */
}

A table in an M3 constraint system.

Invariants

• All expressions in zero_constraints have a number of variables less than or equal to the number of table columns (the length of column_info).
• All flushes in flushes contain column indices less than the number of table columns (the length of column_info).

Fields

id: TableId

name: String

columns: Vec<ColumnInfo<F>>

power_of_two_sized: bool

Whether the table size is required to be a power of two.

Implementations

impl<F: TowerField> Table<F>

pub fn new(id: TableId, name: impl ToString) -> Self

pub fn id(&self) -> TableId

pub fn log_capacity(&self, table_size: usize) -> usize

Returns the binary logarithm of the table capacity required to accommodate the given number of rows.

The table capacity must be a power of two (in order to be compatible with the multilinear proof system, which associates each table index with a vertex of a boolean hypercube). This will normally be the next power of two greater than the table size, but could require more padding to get a minimum capacity.

Trait Implementations

impl<F: Debug + TowerField> Debug for Table<F>

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

Formats the value using the given formatter.