Enum HashTableMode

pub enum HashTableMode {
    ProgramHashing,
    Sponge,
    Hash,
    Pad,
}

The current “mode” of the Hash Table. The Hash Table can be in one of four distinct modes:

1. Hashing the Program. This is part of program attestation.
2. Processing all Sponge instructions, i.e., sponge_init, sponge_absorb, sponge_absorb_mem, and sponge_squeeze.
3. Processing the hash instruction.
4. Padding mode.

Changing the mode is only possible when the current RoundNumber is NUM_ROUNDS. The mode evolves as ProgramHashing → Sponge → Hash → Pad. Once mode Pad is reached, it is not possible to change the mode anymore. Skipping any or all of the modes Sponge, Hash, or Pad is possible in principle:

• if no Sponge instructions are executed, mode Sponge will be skipped,
• if no hash instruction is executed, mode Hash will be skipped, and
• if the Hash Table does not require any padding, mode Pad will be skipped.

It is not possible to skip mode ProgramHashing: the Program is always hashed. The empty program is not valid since any valid Program must execute instruction halt.

Variants

ProgramHashing

The mode in which the Program is hashed. This is part of program attestation.

Sponge

The mode in which Sponge instructions, i.e., sponge_init, sponge_absorb, sponge_absorb_mem, and sponge_squeeze, are processed.

Hash

The mode in which the hash instruction is processed.

Pad

Indicator for padding rows.

Trait Implementations

impl Clone for HashTableMode

fn clone(&self) -> HashTableMode

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for HashTableMode

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

Formats the value using the given formatter.

impl Display for HashTableMode

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

Formats the value using the given formatter.

impl EnumCount for HashTableMode

const COUNT: usize = 4usize

impl From<HashTableMode> for BFieldElement

fn from(mode: HashTableMode) -> Self

Converts to this type from the input type.

impl From<HashTableMode> for u32

fn from(mode: HashTableMode) -> Self

Converts to this type from the input type.

impl From<HashTableMode> for u64

fn from(mode: HashTableMode) -> Self

Converts to this type from the input type.

impl Hash for HashTableMode

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 HashTableMode

type Iterator = HashTableModeIter

fn iter() -> HashTableModeIter

impl PartialEq for HashTableMode

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

impl Eq for HashTableMode

impl StructuralPartialEq for HashTableMode