Enum o1vm::interpreters::keccak::column::Steps

pub enum Steps {
    Round(u64),
    Sponge(Sponges),
}

Variants of Keccak steps available for the interpreter. These selectors determine the specific behaviour so that Keccak steps can be split into different instances for folding

Variants

Round(u64)

Current step performs a round of the permutation. The round number stored in the Step is only used for the environment execution.

Sponge(Sponges)

Current step is a sponge

Trait Implementations

impl Clone for Steps

fn clone(&self) -> Steps

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl ColumnIndexer for Steps

const N_COL: usize = 2_079usize

Total number of columns in this index.

fn to_column(self) -> Column

Flatten the column “alias” into the integer-like column.

impl Debug for Steps

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl EnumCount for Steps

const COUNT: usize = 2usize

impl From<Steps> for usize

fn from(step: Steps) -> usize

Returns the index of the column corresponding to the given selector. They are located at the end of the witness columns.

impl Hash for Steps

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

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.

impl<T: Clone> Index<Steps> for KeccakWitness<T>

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

Map the column alias to the actual column index. Note that the column index depends on the step kind (Sponge or Round). For instance, the column 800 represents PadLength in the Sponge step, while it is used by intermediary values when executing the Round step. The selector columns are located at the end of the witness relation columns.

type Output = T

The returned type after indexing.

impl<T: Clone> IndexMut<Steps> for KeccakWitness<T>

fn index_mut(&mut self, index: Steps) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

impl IntoEnumIterator for Steps

type Iterator = StepsIter

fn iter() -> StepsIter

impl IntoIterator for Steps

fn into_iter(self) -> Self::IntoIter

Iterate over the instruction variants

type Item = Steps

The type of the elements being iterated over.

type IntoIter = IntoIter<<Steps as IntoIterator>::Item, Global>

Which kind of iterator are we turning this into?

impl Ord for Steps

fn cmp(&self, other: &Steps) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval.

impl PartialEq<Steps> for Steps

fn eq(&self, other: &Steps) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd<Steps> for Steps

fn partial_cmp(&self, other: &Steps) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for Steps

impl Eq for Steps

impl StructuralEq for Steps

impl StructuralPartialEq for Steps