Type Definition o1vm::mips::trace::DecomposedMIPSTrace

pub type DecomposedMIPSTrace = DecomposedTrace<N_MIPS_COLS, DecomposableMIPSFoldingConfig>;

The MIPS circuit trace

Trait Implementations

impl DecomposableTracer<Env<<<DecomposableMIPSFoldingConfig as FoldingConfig>::Curve as AffineCurve>::ScalarField>> for DecomposedMIPSTrace

fn new( domain_size: usize, env: &mut Env<<<DecomposableMIPSFoldingConfig as FoldingConfig>::Curve as AffineCurve>::ScalarField> ) -> Self

Create a new decomposable trace with the given domain size, and environment.

fn pad_witnesses(&mut self)

Pads the rows of the witnesses until reaching the domain size using the first row repeatedly. It does not add selector columns.