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

The returned type after indexing.

impl Index<ColumnAlias> for KeccakFoldingWitness

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

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

The returned type after indexing.