Struct kimchi::circuits::lookup::tables::LookupTable

pub struct LookupTable<F> {
    pub id: i32,
    pub data: Vec<Vec<F>>,
}

A table of values that can be used for a lookup, along with the ID for the table.

Fields

id: i32

data: Vec<Vec<F>>

Implementations

impl<F> LookupTable<F>where F: FftField,

pub fn has_zero_entry(&self) -> bool

Return true if the table has an entry (row) containing all zeros.

pub fn width(&self) -> usize

Returns the number of columns, i.e. the width of the table. It is less error prone to introduce this method than using the public field data.

pub fn len(&self) -> usize

Returns the length of the table.

pub fn is_empty(&self) -> bool

Returns true if the lookup table is empty, false otherwise.

Trait Implementations

impl<F: Clone> Clone for LookupTable<F>

fn clone(&self) -> LookupTable<F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for LookupTable<F>

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

Formats the value using the given formatter.

impl<F, CamlF> From<CamlLookupTable<CamlF>> for LookupTable<F>where F: PrimeField, CamlF: Into<F>,

fn from(caml_lt: CamlLookupTable<CamlF>) -> Self

Converts to this type from the input type.

impl<F, CamlF> From<LookupTable<F>> for CamlLookupTable<CamlF>where F: PrimeField, CamlF: From<F>,

fn from(lt: LookupTable<F>) -> Self

Converts to this type from the input type.