Enum ProgramMainColumn

#[repr(usize)]
pub enum ProgramMainColumn {
    Address = 0,
    Instruction = 1,
    LookupMultiplicity = 2,
    IndexInChunk = 3,
    MaxMinusIndexInChunkInv = 4,
    IsHashInputPadding = 5,
    IsTablePadding = 6,
}

Variants

Address = 0

An instruction’s address.

Instruction = 1

The (opcode of the) instruction.

LookupMultiplicity = 2

How often an instruction has been executed.

IndexInChunk = 3

The index in the vector of length Rate that is to be absorbed in the Sponge in order to compute the program’s digest. In other words: Address modulo Rate.

MaxMinusIndexInChunkInv = 4

The inverse-or-zero of Rate - 1 - IndexInChunk. Helper variable to guarantee IndexInChunk’s correct transition.

IsHashInputPadding = 5

Padding indicator for absorbing the program into the Sponge.

IsTablePadding = 6

Padding indicator for rows only required due to the dominating length of some other table.

Trait Implementations

impl Clone for ProgramMainColumn

fn clone(&self) -> ProgramMainColumn

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ProgramMainColumn

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

Formats the value using the given formatter.

impl Display for ProgramMainColumn

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

Formats the value using the given formatter.

impl EnumCount for ProgramMainColumn

const COUNT: usize = 7usize

impl Hash for ProgramMainColumn

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 IntoEnumIterator for ProgramMainColumn

type Iterator = ProgramMainColumnIter

fn iter() -> ProgramMainColumnIter

impl MasterMainColumn for ProgramMainColumn

fn main_index(&self) -> usize

The index of the column in the “local” main table, _i.e., not the master base table.

fn master_main_index(&self) -> usize

The index of the column in the master main table.

impl PartialEq for ProgramMainColumn

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for ProgramMainColumn

impl Eq for ProgramMainColumn

impl StructuralPartialEq for ProgramMainColumn