Struct miden_processor::TraceLenSummary

pub struct TraceLenSummary { /* private fields */ }

Contains the data about lengths of the trace parts.

• main_trace_len contains the length of the main trace.
• range_trace_len contains the length of the range checker trace.
• chiplets_trace_len contains the trace lengths of the all chiplets (hash, bitwise, memory, kernel ROM)

Implementations

impl TraceLenSummary

pub fn new( main_trace_len: usize, range_trace_len: usize, chiplets_trace_len: ChipletsLengths ) -> Self

pub fn main_trace_len(&self) -> usize

Returns length of the main trace.

pub fn range_trace_len(&self) -> usize

Returns length of the range checker trace.

pub fn chiplets_trace_len(&self) -> ChipletsLengths

Returns ChipletsLengths which contains trace lengths of all chilplets.

pub fn trace_len(&self) -> usize

Returns the maximum of all component lengths.

pub fn padded_trace_len(&self) -> usize

Returns trace_len rounded up to the next power of two.

pub fn padding_percentage(&self) -> usize

Returns the percent (0 - 100) of the steps that were added to the trace to pad it to the next power of tow.

Trait Implementations

impl Clone for TraceLenSummary

fn clone(&self) -> TraceLenSummary

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TraceLenSummary

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

Formats the value using the given formatter.

impl Default for TraceLenSummary

fn default() -> TraceLenSummary

Returns the “default value” for a type.

impl PartialEq for TraceLenSummary

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for TraceLenSummary

impl Eq for TraceLenSummary

impl StructuralPartialEq for TraceLenSummary