Struct ProvingMemoryCounts 

pub struct ProvingMemoryCounts {
    pub main_cells_with_rot: usize,
    pub main_cells_without_rot: usize,
    pub interaction_cells: usize,
}

Cell counts for a proving memory estimate.

main_cells_* are Σ(padded_height * width) in base-field cells, split by whether a trace opens next-row rotations. interaction_cells is the metered row-interaction slot count after power-of-two trace padding.

Fields

main_cells_with_rot: usize

Main trace cells for AIRs that open next-row rotations after power-of-two padding.

main_cells_without_rot: usize

Main trace cells for AIRs without next-row rotations after power-of-two padding.

interaction_cells: usize

Metered row-interaction slots after power-of-two padding.

Implementations

impl ProvingMemoryCounts

pub const fn new( main_cells_with_rot: usize, main_cells_without_rot: usize, interaction_cells: usize, ) -> Self

pub const fn main_cells(&self) -> usize

Trait Implementations

impl Clone for ProvingMemoryCounts

fn clone(&self) -> ProvingMemoryCounts

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ProvingMemoryCounts

impl Debug for ProvingMemoryCounts

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

Formats the value using the given formatter.

impl Default for ProvingMemoryCounts

fn default() -> ProvingMemoryCounts

Returns the “default value” for a type.

impl Eq for ProvingMemoryCounts

impl PartialEq for ProvingMemoryCounts

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ProvingMemoryCounts