pub trait ChipUsageGetter {
// Required methods
fn air_name(&self) -> String;
fn current_trace_height(&self) -> usize;
fn trace_width(&self) -> usize;
// Provided methods
fn constant_trace_height(&self) -> Option<usize> { ... }
fn current_trace_cells(&self) -> usize { ... }
}Expand description
A trait to get chip usage information.
Required Methods§
fn air_name(&self) -> String
Sourcefn current_trace_height(&self) -> usize
fn current_trace_height(&self) -> usize
Height of used rows in the main trace.
Sourcefn trace_width(&self) -> usize
fn trace_width(&self) -> usize
Width of the main trace
Provided Methods§
Sourcefn constant_trace_height(&self) -> Option<usize>
fn constant_trace_height(&self) -> Option<usize>
If the chip has a state-independent trace height that is determined upon construction, return this height. This is used to distinguish “static” versus “dynamic” usage metrics.
Sourcefn current_trace_cells(&self) -> usize
fn current_trace_cells(&self) -> usize
For metrics collection