bb::plookup::ReadData< DataType > Class Template Reference

Container for lookup accumulator values and table reads. More...

#include <types.hpp>

Public Member Functions
	ReadData ()=default
std::vector< DataType > &	operator[] (ColumnIdx idx)
const std::vector< DataType > &	operator[] (ColumnIdx idx) const

Public Attributes
std::array< std::vector< DataType >, 3 >	columns
std::vector< BasicTable::LookupEntry >	lookup_entries

Detailed Description

template<class DataType>
class bb::plookup::ReadData< DataType >

Container for lookup accumulator values and table reads.

Template Parameters

DataType

a native (bb::fr), stdlib field (field_t<Builder>), or the witness index (uint32_t).

Stores the accumulator values for each of the 3 columns across the N lookup gates generated by a single multi-table lookup. For a lookup decomposed into N slices:

• columns[C1][0], columns[C2][0], columns[C3][0] contain the fully accumulated values (the final result)
• columns[Ci][N-1] contains the raw slice value for the last lookup
• Intermediate indices contain partial accumulations

Also stores the raw lookup entries (key-value pairs). For more details, especially re: the accumulation pattern, see ./README.md.

Definition at line 357 of file types.hpp.

Constructor & Destructor Documentation

ReadData()

template<class DataType >

bb::plookup::ReadData< DataType >::ReadData ( )

default

Member Function Documentation

operator[]() [1/2]

template<class DataType >

std::vector< DataType > & bb::plookup::ReadData< DataType >::operator[] ( ColumnIdx  idx )

inline

Definition at line 366 of file types.hpp.

operator[]() [2/2]

template<class DataType >

const std::vector< DataType > & bb::plookup::ReadData< DataType >::operator[] ( ColumnIdx  idx ) const

inline

Definition at line 367 of file types.hpp.

Member Data Documentation

columns

template<class DataType >

std::array<std::vector<DataType>, 3> bb::plookup::ReadData< DataType >::columns

Definition at line 362 of file types.hpp.

lookup_entries

template<class DataType >

std::vector<BasicTable::LookupEntry> bb::plookup::ReadData< DataType >::lookup_entries

Definition at line 363 of file types.hpp.

---

The documentation for this class was generated from the following file:

• src/barretenberg/stdlib_circuit_builders/plookup_tables/types.hpp