Type Definition o1vm::keccak::trace::DecomposedKeccakTrace

pub type DecomposedKeccakTrace = DecomposedTrace<N_ZKVM_KECCAK_COLS, KeccakConfig>;

The Keccak circuit trace

Trait Implementations

impl DecomposableTracer<KeccakEnv<<<KeccakConfig as FoldingConfig>::Curve as AffineCurve>::ScalarField>> for DecomposedKeccakTrace

fn new( domain_size: usize, env: &mut KeccakEnv<<<KeccakConfig 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.