generic_permutation_relation.hpp File Reference

This file contains the template for the generic permutation that can be specialized to enforce various permutations (for explanation on how to define them, see "relation_definer.hpp") More...

#include <array>
#include <tuple>
#include "barretenberg/common/constexpr_utils.hpp"
#include "barretenberg/honk/proof_system/logderivative_library.hpp"
#include "barretenberg/polynomials/univariate.hpp"
#include "barretenberg/relations/relation_types.hpp"

Go to the source code of this file.

Classes
class	bb::GenericPermutationRelationImpl< Settings, FF_ >

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.

Typedefs
template<typename Settings , typename FF >
using	bb::GenericPermutationRelation = Relation< GenericPermutationRelationImpl< Settings, FF > >
template<typename Settings , typename FF >
using	bb::GenericPermutation = GenericPermutationRelationImpl< Settings, FF >

Enumerations
enum	bb::GenericPermutationSettingIndices {   bb::INVERSE_POLYNOMIAL_INDEX , bb::ENABLE_INVERSE_CORRECTNESS_CHECK_POLYNOMIAL_INDEX , bb::FIRST_PERMUTATION_SET_ENABLE_POLYNOMIAL_INDEX , bb::SECOND_PERMUTATION_SET_ENABLE_POLYNOMIAL_INDEX ,   bb::PERMUTATION_SETS_START_POLYNOMIAL_INDEX }
	Specifies positions of elements in the tuple of entities received from methods in the Settings class. More...

Detailed Description

This file contains the template for the generic permutation that can be specialized to enforce various permutations (for explanation on how to define them, see "relation_definer.hpp")

Author

Rumata888

Definition in file generic_permutation_relation.hpp.