Enum o1vm::keccak::column::ColumnAlias

pub enum ColumnAlias {
    HashIndex,
    BlockIndex,
    StepIndex,
    Input(usize),
    Output(usize),
    ThetaShiftsC(usize),
    ThetaDenseC(usize),
    ThetaQuotientC(usize),
    ThetaRemainderC(usize),
    ThetaDenseRotC(usize),
    ThetaExpandRotC(usize),
    PiRhoShiftsE(usize),
    PiRhoDenseE(usize),
    PiRhoQuotientE(usize),
    PiRhoRemainderE(usize),
    PiRhoDenseRotE(usize),
    PiRhoExpandRotE(usize),
    ChiShiftsB(usize),
    ChiShiftsSum(usize),
    SpongeNewState(usize),
    SpongeZeros(usize),
    SpongeBytes(usize),
    SpongeShifts(usize),
    RoundNumber,
    RoundConstants(usize),
    PadLength,
    TwoToPad,
    PadSuffix(usize),
    PadBytesFlags(usize),
}

Column aliases used by the Keccak circuit. The number of aliases is not necessarily equal to the actual number of columns. Each alias will be mapped to a column index depending on the step kind (Sponge or Round) that is currently being executed.

Variants

HashIndex

Hash identifier to distinguish inside the syscalls communication channel

BlockIndex

Block index inside the hash to enumerate preimage bytes

StepIndex

Hash step identifier to distinguish inside interstep communication

Input(usize)

Output(usize)

ThetaShiftsC(usize)

ThetaDenseC(usize)

ThetaQuotientC(usize)

ThetaRemainderC(usize)

ThetaDenseRotC(usize)

ThetaExpandRotC(usize)

PiRhoShiftsE(usize)

PiRhoDenseE(usize)

PiRhoQuotientE(usize)

PiRhoRemainderE(usize)

PiRhoDenseRotE(usize)

PiRhoExpandRotE(usize)

ChiShiftsB(usize)

ChiShiftsSum(usize)

SpongeNewState(usize)

SpongeZeros(usize)

SpongeBytes(usize)

SpongeShifts(usize)

RoundNumber

RoundConstants(usize)

PadLength

TwoToPad

PadSuffix(usize)

PadBytesFlags(usize)

Trait Implementations

impl Clone for ColumnAlias

fn clone(&self) -> ColumnAlias

Returns a copy of the value.

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

Performs copy-assignment from source.

impl ColumnIndexer for ColumnAlias

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 ColumnAlias

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

Formats the value using the given formatter.

impl FoldingColumnTrait for KeccakColumn

fn is_witness(&self) -> bool

fn degree(&self) -> Degree

Return the degree of the column

impl From<ColumnAlias> for usize

fn from(alias: ColumnAlias) -> usize

Returns the witness column index for the given alias

impl Hash for ColumnAlias

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<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<T: Clone> Index<ColumnAlias> for KeccakWitness<T>

IMPLEMENTATIONS FOR COLUMN ALIAS

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

type Output = T

The returned type after indexing.

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

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

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

impl Ord for ColumnAlias

fn cmp(&self, other: &ColumnAlias) -> 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<ColumnAlias> for ColumnAlias

fn eq(&self, other: &ColumnAlias) -> 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<ColumnAlias> for ColumnAlias

fn partial_cmp(&self, other: &ColumnAlias) -> 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 ColumnAlias

impl Eq for ColumnAlias

impl StructuralEq for ColumnAlias

impl StructuralPartialEq for ColumnAlias