Struct HashTable

pub struct HashTable;

Implementations

impl HashTable

pub fn tip5_round_constants_by_round_number(r: usize) -> [BFieldElement; 16]

The round constants for round r if it is a valid round number in the Tip5 permutation, and the zero vector otherwise.

pub fn round_constant_column_by_index( index: usize, ) -> <HashTable as AIR>::MainColumn

The main column for the round constant corresponding to the given index. Valid indices are 0 through 15, corresponding to the 16 round constants Constant0 through Constant15.

Trait Implementations

impl AIR for HashTable

type MainColumn = HashMainColumn

type AuxColumn = HashAuxColumn

fn initial_constraints( circuit_builder: &ConstraintCircuitBuilder<SingleRowIndicator>, ) -> Vec<ConstraintCircuitMonad<SingleRowIndicator>>

fn consistency_constraints( circuit_builder: &ConstraintCircuitBuilder<SingleRowIndicator>, ) -> Vec<ConstraintCircuitMonad<SingleRowIndicator>>

fn transition_constraints( circuit_builder: &ConstraintCircuitBuilder<DualRowIndicator>, ) -> Vec<ConstraintCircuitMonad<DualRowIndicator>>

fn terminal_constraints( circuit_builder: &ConstraintCircuitBuilder<SingleRowIndicator>, ) -> Vec<ConstraintCircuitMonad<SingleRowIndicator>>

impl Clone for HashTable

fn clone(&self) -> HashTable

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for HashTable

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

Formats the value using the given formatter.

impl PartialEq for HashTable

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

impl Eq for HashTable

impl StructuralPartialEq for HashTable