Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
GenericLookupRelationTest< Settings > Class Template Reference
Inheritance diagram for GenericLookupRelationTest< Settings >:

Public Types

using Relation = GenericLookupRelationImpl< Settings, FF >
 
using AllEntities = typename Settings::AllEntities
 
using Accumulator = std::array< FF, NUM_SUBRELATIONS >
 

Static Public Member Functions

static Accumulator eval_row (const AllEntities &row, const RelationParameters< FF > &params, FF scaling_factor=FF(1))
 Accumulate a single row into a fresh accumulator.
 
static Accumulator eval_trace (const std::vector< AllEntities > &rows, const RelationParameters< FF > &params, FF scaling_factor=FF(1))
 Accumulate multiple rows into one accumulator.
 

Static Public Attributes

static constexpr size_t NUM_SUBRELATIONS = 2
 

Detailed Description

template<typename Settings>
class GenericLookupRelationTest< Settings >

Definition at line 189 of file generic_lookup_relation.test.cpp.

Member Typedef Documentation

◆ Accumulator

template<typename Settings >
using GenericLookupRelationTest< Settings >::Accumulator = std::array<FF, NUM_SUBRELATIONS>

Definition at line 195 of file generic_lookup_relation.test.cpp.

◆ AllEntities

template<typename Settings >
using GenericLookupRelationTest< Settings >::AllEntities = typename Settings::AllEntities

Definition at line 192 of file generic_lookup_relation.test.cpp.

◆ Relation

template<typename Settings >
using GenericLookupRelationTest< Settings >::Relation = GenericLookupRelationImpl<Settings, FF>

Definition at line 191 of file generic_lookup_relation.test.cpp.

Member Function Documentation

◆ eval_row()

template<typename Settings >
static Accumulator GenericLookupRelationTest< Settings >::eval_row ( const AllEntities row,
const RelationParameters< FF > &  params,
FF  scaling_factor = FF(1) 
)
inlinestatic

Accumulate a single row into a fresh accumulator.

Definition at line 200 of file generic_lookup_relation.test.cpp.

◆ eval_trace()

template<typename Settings >
static Accumulator GenericLookupRelationTest< Settings >::eval_trace ( const std::vector< AllEntities > &  rows,
const RelationParameters< FF > &  params,
FF  scaling_factor = FF(1) 
)
inlinestatic

Accumulate multiple rows into one accumulator.

Definition at line 210 of file generic_lookup_relation.test.cpp.

Member Data Documentation

◆ NUM_SUBRELATIONS

template<typename Settings >
constexpr size_t GenericLookupRelationTest< Settings >::NUM_SUBRELATIONS = 2
staticconstexpr

Definition at line 193 of file generic_lookup_relation.test.cpp.


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