Type Definition o1vm::mips::folding::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<Fp256<FrParameters>, Radix2EvaluationDomain<Fp256<FrParameters>>>

The returned type after indexing.

impl Index<ColumnAlias> for MIPSFoldingWitness

type Output = Evaluations<Fp256<FrParameters>, Radix2EvaluationDomain<Fp256<FrParameters>>>

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<Fp256<FrParameters>, Radix2EvaluationDomain<Fp256<FrParameters>>>

The returned type after indexing.