Type Definition o1vm::legacy::folding::keccak::KeccakFoldingWitness

pub type KeccakFoldingWitness = FoldingWitness<N_ZKVM_KECCAK_COLS, Fp>;

Trait Implementations

impl Index<Column> for KeccakFoldingWitness

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 KeccakFoldingWitness

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

The returned type after indexing.

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

Performs the indexing (container[index]) operation.

impl Index<Steps> for KeccakFoldingWitness

fn index(&self, index: Steps) -> &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.