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

Public Types

using Relation = GenericPermutationRelationImpl< 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 GenericPermutationRelationTest< Settings >

Definition at line 66 of file generic_permutation_relation.test.cpp.

Member Typedef Documentation

◆ Accumulator

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

Definition at line 72 of file generic_permutation_relation.test.cpp.

◆ AllEntities

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

Definition at line 69 of file generic_permutation_relation.test.cpp.

◆ Relation

template<typename Settings >
using GenericPermutationRelationTest< Settings >::Relation = GenericPermutationRelationImpl<Settings, FF>

Definition at line 68 of file generic_permutation_relation.test.cpp.

Member Function Documentation

◆ eval_row()

template<typename Settings >
static Accumulator GenericPermutationRelationTest< 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 77 of file generic_permutation_relation.test.cpp.

◆ eval_trace()

template<typename Settings >
static Accumulator GenericPermutationRelationTest< 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 87 of file generic_permutation_relation.test.cpp.

Member Data Documentation

◆ NUM_SUBRELATIONS

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

Definition at line 70 of file generic_permutation_relation.test.cpp.


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