Trait FixedLookupTables 

pub(crate) trait FixedLookupTables<F> {
    // Required methods
    fn is_in_table(
        table: &LogupTable<F, LookupTableIDs>,
        value: Vec<F>,
    ) -> Option<usize>;
    fn table_pad() -> LogupTable<F, LookupTableIDs>;
    fn table_round_constants() -> LogupTable<F, LookupTableIDs>;
    fn table_at_most_4() -> LogupTable<F, LookupTableIDs>;
    fn table_byte() -> LogupTable<F, LookupTableIDs>;
    fn table_range_check_16() -> LogupTable<F, LookupTableIDs>;
    fn table_sparse() -> LogupTable<F, LookupTableIDs>;
    fn table_reset() -> LogupTable<F, LookupTableIDs>;
    fn get_all_tables() -> Vec<LogupTable<F, LookupTableIDs>>;
}

Trait that creates all the fixed lookup tables used in the VM

Required Methods

fn is_in_table( table: &LogupTable<F, LookupTableIDs>, value: Vec<F>, ) -> Option<usize>

Checks whether a value is in a table and returns the position if it is or None otherwise.

fn table_pad() -> LogupTable<F, LookupTableIDs>

Returns the pad table

fn table_round_constants() -> LogupTable<F, LookupTableIDs>

Returns the round constants table

fn table_at_most_4() -> LogupTable<F, LookupTableIDs>

Returns the at most 4 table

fn table_byte() -> LogupTable<F, LookupTableIDs>

Returns the byte table

fn table_range_check_16() -> LogupTable<F, LookupTableIDs>

Returns the range check 16 table

fn table_sparse() -> LogupTable<F, LookupTableIDs>

Returns the sparse table

fn table_reset() -> LogupTable<F, LookupTableIDs>

Returns the reset table

fn get_all_tables() -> Vec<LogupTable<F, LookupTableIDs>>

Returns a vector containing all fixed tables

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<F: Field> FixedLookupTables<F> for LogupTable<F, LookupTableIDs>

fn get_all_tables() -> Vec<LogupTable<F, LookupTableIDs>>

fn is_in_table( table: &LogupTable<F, LookupTableIDs>, value: Vec<F>, ) -> Option<usize>

fn table_pad() -> Self

fn table_round_constants() -> Self

fn table_at_most_4() -> LogupTable<F, LookupTableIDs>

fn table_byte() -> Self

fn table_range_check_16() -> Self

fn table_sparse() -> Self

fn table_reset() -> Self

Implementors