Struct TraceLenSummary 

pub struct TraceLenSummary { /* private fields */ }

Row counts for the AIR segments produced by trace generation.

Dynamic AIRs store their unpadded row counts. Use the *_height() accessors for their padded power-of-two AIR matrix heights. The byte-pair lookup stores its fixed physical row count.

Implementations

impl TraceLenSummary

pub fn new( core_rows: usize, chiplets: ChipletsLengths, eidos_compression_rows: usize, byte_pair_lookup_rows: usize, ) -> Self

pub fn new_with_padded( core_rows: usize, chiplets: ChipletsLengths, eidos_compression_rows: usize, byte_pair_lookup_rows: usize, padded_heights: [usize; 4], ) -> Self

Builds a summary after the trace builder has computed the padded per-AIR heights, in miden_air::AIRS order: Core, Chiplets, Eidos compression, then And8 lookup.

pub fn core_rows(&self) -> usize

Returns the unpadded core AIR rows (system + decoder + stack).

pub fn chiplets(&self) -> ChipletsLengths

Returns the chiplet row-count breakdown.

pub fn chiplets_rows(&self) -> usize

Returns the unpadded chiplets AIR rows.

pub fn eidos_compression_rows(&self) -> usize

Returns the unpadded Eidos compression AIR rows.

pub fn eidos_compression_count(&self) -> usize

Returns the number of Eidos compression blocks represented by the standalone compression AIR rows.

pub fn byte_pair_lookup_rows(&self) -> usize

Returns the fixed byte-pair lookup AIR rows.

This table has one row per byte pair, so its row count is already its physical AIR height.

pub fn trace_len(&self) -> usize

Returns the maximum unpadded row count among the four AIRs.

pub fn core_height(&self) -> usize

Returns the padded height of the core AIR.

pub fn chiplets_height(&self) -> usize

Returns the padded height of the chiplets AIR.

pub fn eidos_compression_height(&self) -> usize

Returns the padded height of the Eidos compression AIR.

pub fn padded_trace_len(&self) -> usize

Returns the greatest padded height among the four AIRs.

pub fn padded_heights(&self) -> Option<&[usize; 4]>

Returns the padded per-AIR heights, in miden_air::AIRS order, if known.

pub fn prover_memory_bytes(&self, params: &PcsParams) -> Option<u64>

Returns the modelled peak prover memory, in bytes, for the padded per-AIR heights, if known. See miden_air::memory::prover_peak_bytes for what this does and does not cover.

pub fn padding_percentage(&self) -> usize

Returns the percent (0 - 100) of rows added by padding.

Trait Implementations

impl Clone for TraceLenSummary

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 TraceLenSummary

impl Debug for TraceLenSummary

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

Formats the value using the given formatter.

impl Default for TraceLenSummary

fn default() -> Self

Returns the “default value” for a type.

impl Eq for TraceLenSummary

impl PartialEq for TraceLenSummary

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TraceLenSummary