SystemWithFixedTraceHeights

openvm_circuit::system

Trait SystemWithFixedTraceHeights 

Source 
pub trait SystemWithFixedTraceHeights {
    // Required method
    fn override_trace_heights(&mut self, heights: &[u32]);
}
Expand description

Trait meant to be implemented on a SystemChipComplex.

Required Methods§

Source

fn override_trace_heights(&mut self, heights: &[u32])

heights will have length equal to number of system AIRs, in AIR ID order. This function must guarantee that the system trace matrices generated have the required heights.

Implementors§