Trait ChipUsageGetter

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 { ... }
}

A trait to get chip usage information.

Required Methods

fn air_name(&self) -> String

fn current_trace_height(&self) -> usize

Height of used rows in the main trace.

fn trace_width(&self) -> usize

Width of the main trace

Provided Methods

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.

fn current_trace_cells(&self) -> usize

For metrics collection

Implementations on Foreign Types

impl<C: ChipUsageGetter> ChipUsageGetter for Rc<C>

fn air_name(&self) -> String

fn constant_trace_height(&self) -> Option<usize>

fn current_trace_height(&self) -> usize

fn trace_width(&self) -> usize

impl<C: ChipUsageGetter> ChipUsageGetter for Arc<C>

fn air_name(&self) -> String

fn constant_trace_height(&self) -> Option<usize>

fn current_trace_height(&self) -> usize

fn trace_width(&self) -> usize

impl<C: ChipUsageGetter> ChipUsageGetter for RefCell<C>

fn air_name(&self) -> String

fn constant_trace_height(&self) -> Option<usize>

fn current_trace_height(&self) -> usize

fn trace_width(&self) -> usize

impl<C: ChipUsageGetter> ChipUsageGetter for Mutex<C>

fn air_name(&self) -> String

fn constant_trace_height(&self) -> Option<usize>

fn current_trace_height(&self) -> usize

fn trace_width(&self) -> usize

Implementors