Struct TableStat

pub struct TableStat { /* private fields */ }

Table statistics.

Implementations

impl TableStat

pub fn name(&self) -> &str

Returns the table name.

pub fn assert_zero_cost_approx(&self) -> usize

Returns the approximate cost of assert_zero constraints.

The dominating factor of the proving cost of zero constraints is a product of:

• The degree of the constraint expression.
• The number of multiplications in the expression.
• The tower level over which the constraint expression is defined. Note that sub-byte towers are counted the same way as full 8-bit fields.
• The values_per_row number.

This is an approximate number and there are potentially other factors that can influence the cost.

pub fn bits_per_row_committed(&self) -> usize

Returns the number of committed bits per row of this table. Committed bits are contributed by the add_committed columns.

Committed bits increase the proof size and generally lead to faster verification time relative to comparable virtual bits.

pub fn bits_per_row_virtual(&self) -> usize

Returns the number of virtual bits per row of this table. Virtual bits are pretty much any non-add_committed columns. E.g. add_shifted, add_computed, etc.

Virtual bits do not affect the proof size but generally lead to slower verification time relative to committed bits.

pub fn total_flush_count(&self) -> u64

Returns the total number of flushed entries across all table partitions.

This represents the number of times column values are flushed to channels, accounting for multiplicity. Higher flush counts generally indicate higher proving costs as flushes are a significant factor in proof generation time.

Trait Implementations

impl Display for TableStat

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

Formats the value using the given formatter.