Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | Static Public Attributes | List of all members
bb::stdlib::element_default::element< Builder_, Fq, Fr, NativeGroup >::lookup_table_plookup< length > Struct Template Reference

Generic lookup table that uses ROM tables internally to access group elements. More...

Public Member Functions

 lookup_table_plookup ()=default
 
 lookup_table_plookup (const std::array< element, length > &inputs)
 
 lookup_table_plookup (const lookup_table_plookup &other)=default
 
lookup_table_plookup & operator= (const lookup_table_plookup &other)=default
 
 lookup_table_plookup (lookup_table_plookup &&other) noexcept=default
 
lookup_table_plookup & operator= (lookup_table_plookup &&other) noexcept=default
 
 ~lookup_table_plookup ()=default
 
element get (const std::array< bool_ct, length > &bits) const
 
element operator[] (const size_t idx) const
 

Public Attributes

std::array< element, table_size > element_table
 
std::array< twin_rom_table< Builder >, Fq::NUM_LIMBS+1 > coordinates
 
std::array< uint256_t, Fq::NUM_LIMBS *2 > limb_max
 

Static Public Attributes

static constexpr size_t table_size = (1ULL << (length))
 

Detailed Description

template<class Builder_, class Fq, class Fr, class NativeGroup>
template<size_t length>
struct bb::stdlib::element_default::element< Builder_, Fq, Fr, NativeGroup >::lookup_table_plookup< length >

Generic lookup table that uses ROM tables internally to access group elements.

Can access elements in the table using bit-decomposed index.

Definition at line 653 of file biggroup.hpp.

Constructor & Destructor Documentation

◆ lookup_table_plookup() [1/4]

template<class Builder_ , class Fq , class Fr , class NativeGroup >
template<size_t length>
bb::stdlib::element_default::element< Builder_, Fq, Fr, NativeGroup >::lookup_table_plookup< length >::lookup_table_plookup ( )
default

◆ lookup_table_plookup() [2/4]

template<typename C , class Fq , class Fr , class G >
template<size_t length>
bb::stdlib::element_default::element< C, Fq, Fr, G >::lookup_table_plookup< length >::lookup_table_plookup ( const std::array< element, length > &  inputs)

lookup_table_plookup

Definition at line 189 of file biggroup_tables.hpp.

◆ lookup_table_plookup() [3/4]

template<class Builder_ , class Fq , class Fr , class NativeGroup >
template<size_t length>
bb::stdlib::element_default::element< Builder_, Fq, Fr, NativeGroup >::lookup_table_plookup< length >::lookup_table_plookup ( const lookup_table_plookup< length > &  other)
default

◆ lookup_table_plookup() [4/4]

template<class Builder_ , class Fq , class Fr , class NativeGroup >
template<size_t length>
bb::stdlib::element_default::element< Builder_, Fq, Fr, NativeGroup >::lookup_table_plookup< length >::lookup_table_plookup ( lookup_table_plookup< length > &&  other)
defaultnoexcept

◆ ~lookup_table_plookup()

template<class Builder_ , class Fq , class Fr , class NativeGroup >
template<size_t length>
bb::stdlib::element_default::element< Builder_, Fq, Fr, NativeGroup >::lookup_table_plookup< length >::~lookup_table_plookup ( )
default

Member Function Documentation

◆ get()

template<typename C , class Fq , class Fr , class G >
template<size_t length>
element< C, Fq, Fr, G > bb::stdlib::element_default::element< C, Fq, Fr, G >::lookup_table_plookup< length >::get ( const std::array< bool_ct, length > &  bits) const

Definition at line 331 of file biggroup_tables.hpp.

◆ operator=() [1/2]

template<class Builder_ , class Fq , class Fr , class NativeGroup >
template<size_t length>
lookup_table_plookup & bb::stdlib::element_default::element< Builder_, Fq, Fr, NativeGroup >::lookup_table_plookup< length >::operator= ( const lookup_table_plookup< length > &  other)
default

◆ operator=() [2/2]

template<class Builder_ , class Fq , class Fr , class NativeGroup >
template<size_t length>
lookup_table_plookup & bb::stdlib::element_default::element< Builder_, Fq, Fr, NativeGroup >::lookup_table_plookup< length >::operator= ( lookup_table_plookup< length > &&  other)
defaultnoexcept

◆ operator[]()

template<class Builder_ , class Fq , class Fr , class NativeGroup >
template<size_t length>
element bb::stdlib::element_default::element< Builder_, Fq, Fr, NativeGroup >::lookup_table_plookup< length >::operator[] ( const size_t  idx) const
inline

Definition at line 665 of file biggroup.hpp.

Member Data Documentation

◆ coordinates

template<class Builder_ , class Fq , class Fr , class NativeGroup >
template<size_t length>
std::array<twin_rom_table<Builder>, Fq::NUM_LIMBS + 1> bb::stdlib::element_default::element< Builder_, Fq, Fr, NativeGroup >::lookup_table_plookup< length >::coordinates

Definition at line 671 of file biggroup.hpp.

◆ element_table

template<class Builder_ , class Fq , class Fr , class NativeGroup >
template<size_t length>
std::array<element, table_size> bb::stdlib::element_default::element< Builder_, Fq, Fr, NativeGroup >::lookup_table_plookup< length >::element_table

Definition at line 667 of file biggroup.hpp.

◆ limb_max

template<class Builder_ , class Fq , class Fr , class NativeGroup >
template<size_t length>
std::array<uint256_t, Fq::NUM_LIMBS * 2> bb::stdlib::element_default::element< Builder_, Fq, Fr, NativeGroup >::lookup_table_plookup< length >::limb_max

Definition at line 672 of file biggroup.hpp.

◆ table_size

template<class Builder_ , class Fq , class Fr , class NativeGroup >
template<size_t length>
constexpr size_t bb::stdlib::element_default::element< Builder_, Fq, Fr, NativeGroup >::lookup_table_plookup< length >::table_size = (1ULL << (length))
staticconstexpr

Definition at line 654 of file biggroup.hpp.

The documentation for this struct was generated from the following files: