Type Definition o1vm::legacy::folding::mips::MIPSFoldingWitness

pub type MIPSFoldingWitness = FoldingWitness<N_MIPS_COLS, Fp>;

Trait Implementations

impl Index<Column> for MIPSFoldingWitness

fn index(&self, index: Column) -> &Self::Output

Map a column alias to the corresponding witness column.

type Output = Evaluations<Fp<MontBackend<FrConfig, 4>, 4>, Radix2EvaluationDomain<Fp<MontBackend<FrConfig, 4>, 4>>>

The returned type after indexing.

impl Index<ColumnAlias> for MIPSFoldingWitness

type Output = Evaluations<Fp<MontBackend<FrConfig, 4>, 4>, Radix2EvaluationDomain<Fp<MontBackend<FrConfig, 4>, 4>>>

The returned type after indexing.

fn index(&self, index: MIPSColumn) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<Instruction> for MIPSFoldingWitness

fn index(&self, index: Instruction) -> &Self::Output

Map a selector column to the corresponding witness column.

type Output = Evaluations<Fp<MontBackend<FrConfig, 4>, 4>, Radix2EvaluationDomain<Fp<MontBackend<FrConfig, 4>, 4>>>

The returned type after indexing.